This function finds the largest subgroup of the permutation group pg in which every element commutes with every element of s. s need not be contained in pg.  The result is returned as an unevaluated permgroup call.

The command with(group,centralizer) allows the use of the abbreviated form of this command.