Procedimiento que calcula el normalizador N_G(S) = {g en G | gSg^{-1} = S} de un subconjunto o subgrupo S dado dentro de un grupo ambiente G; la salida es el subgrupo de todos los elementos que conjugan S sobre sí mismo.

Principio

Identificar todos los elementos del grupo cuya acción por conjugación preserva el subconjunto S; se realiza comprobando relaciones de conjugación o construyendo información de estabilizador en representaciones por permutación o por presentación.

Demostración

En el grupo simétrico S4, calcular el normalizador del subgrupo generado por la transposición (1 2). Se buscan las permutaciones g tales que g(1 2)g^{-1} = (1 2); el normalizador es entonces el subgrupo generado por (1 2) y por las permutaciones que permutan los puntos fijos, obteniendo un subgrupo de orden 4.

Aplicación incorrecta

Suponer que el normalizador coincide con el centralizador (elementos que conmutan con cada elemento de S) sin verificarlo; eso falla cuando la conjugación permuta no trivialmente los elementos de S.

Consecuencia

El cálculo correcto produce el subgrupo más grande de G en el que S es normal, permitiendo construcciones de cocientes, cálculo de índices y determinación de tamaños de clases de conjugación; también proporciona el estabilizador de S bajo la acción por conjugación.

Inversión

En lugar de computar los elementos que fijan S por conjugación, computar el conjunto de elementos que envían S a otra conjugada S' (un transportador); se invierte el foco desde el estabilizador hacia el transportador entre conjugadas.

Límite

Ámbito limitado a modelos de grupo bien definidos; la viabilidad computacional depende de la presentación del grupo, del tamaño del índice y de si G es finito o está dado por una representación efectiva; por sí sola no resuelve la normalidad en grupos ambiente no representados.

Tensión semántica

Normalizador frente a centralizador frente a estabilizador: el normalizador trata la preservación por conjugación en sentido de conjunto, el centralizador exige conmutación punto por punto, y el estabilizador es el término general de acción de grupo — las nociones coinciden solo en casos especiales.

Síntesis

El cálculo del normalizador reúne todas las simetrías por conjugación de un subconjunto S en un subgrupo N_G(S); conceptualmente es el estabilizador de S para la acción por conjugación, obtenido por pruebas o construcción, y sirve como el mayor subgrupo ambiente en el que S es normal.