## [Cálculo del Normalizador](/es/node/62342) Definición 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 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 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 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 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 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 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 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 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.