Normalizer Computation

- Mathematics & Logic -
Pure Mathematics Dictionary
Definition
A procedure that computes the normalizer N_G(S) = {g in G | gSg^{-1} = S} of a specified subset or subgroup S inside an ambient group G; output is the subgroup of all elements that conjugate S to itself.