stringtranslate.com

Subgrupo normal

En álgebra abstracta , un subgrupo normal (también conocido como subgrupo invariante o subgrupo autoconjugado ) [1] es un subgrupo que es invariante bajo la conjugación de los miembros del grupo del que forma parte. En otras palabras, un subgrupo del grupo es normal en si y solo si para todos y . La notación habitual para esta relación es .

Los subgrupos normales son importantes porque ellos (y solo ellos) pueden usarse para construir grupos cocientes del grupo dado. Además, los subgrupos normales de son precisamente los núcleos de homomorfismos de grupo con dominio , lo que significa que pueden usarse para clasificar internamente esos homomorfismos.

Évariste Galois fue el primero en darse cuenta de la importancia de la existencia de subgrupos normales. [2]

Definiciones

Un subgrupo de un grupo se denomina subgrupo normal de si es invariante bajo conjugación ; es decir, la conjugación de un elemento de por un elemento de siempre está en . [3] La notación habitual para esta relación es .

Condiciones equivalentes

Para cualquier subgrupo de , las siguientes condiciones son equivalentes a ser un subgrupo normal de . Por lo tanto, cualquiera de ellas puede tomarse como definición.

Ejemplos

Para cualquier grupo , el subgrupo trivial que consiste únicamente en el elemento identidad de es siempre un subgrupo normal de . Asimismo, sí mismo es siempre un subgrupo normal de (si estos son los únicos subgrupos normales, entonces se dice que es simple ). [6] Otros subgrupos normales nombrados de un grupo arbitrario incluyen el centro del grupo (el conjunto de elementos que conmutan con todos los demás elementos) y el subgrupo conmutador . [7] [8] De manera más general, dado que la conjugación es un isomorfismo, cualquier subgrupo característico es un subgrupo normal. [9]

Si es un grupo abeliano entonces cada subgrupo de es normal, porque . De manera más general, para cualquier grupo , cada subgrupo del centro de es normal en (en el caso especial que es abeliano, el centro es todo de , de ahí el hecho de que todos los subgrupos de un grupo abeliano son normales). Un grupo que no es abeliano pero para el cual cada subgrupo es normal se llama grupo hamiltoniano . [10]

Un ejemplo concreto de un subgrupo normal es el subgrupo del grupo simétrico , que consiste en la identidad y ambos triciclos. En particular, se puede comprobar que cada clase lateral de es igual a sí misma o es igual a . Por otro lado, el subgrupo no es normal en ya que . [11] Esto ilustra el hecho general de que cualquier subgrupo de índice dos es normal.

Como ejemplo de un subgrupo normal dentro de un grupo de matrices , considere el grupo lineal general de todas las matrices invertibles con entradas reales bajo la operación de multiplicación de matrices y su subgrupo de todas las matrices de determinante 1 (el grupo lineal especial ). Para ver por qué el subgrupo es normal en , considere cualquier matriz en y cualquier matriz invertible . Luego, utilizando las dos identidades importantes y , se tiene que , y así también. Esto significa que está cerrado bajo conjugación en , por lo que es un subgrupo normal. [a]

En el grupo del Cubo de Rubik , los subgrupos que consisten en operaciones que solo afectan las orientaciones de las piezas de las esquinas o de las piezas del borde son normales. [12]

El grupo de traslación es un subgrupo normal del grupo euclidiano en cualquier dimensión. [13] Esto significa que: aplicar una transformación rígida, seguida de una traslación y luego la transformación rígida inversa, tiene el mismo efecto que una sola traslación. Por el contrario, el subgrupo de todas las rotaciones sobre el origen no es un subgrupo normal del grupo euclidiano, siempre que la dimensión sea al menos 2: primero trasladar, luego rotar sobre el origen y luego trasladar de vuelta normalmente no fijará el origen y, por lo tanto, no tendrá el mismo efecto que una sola rotación sobre el origen.

Propiedades

Red de subgrupos normales

Dados dos subgrupos normales, y , de , su intersección y su producto también son subgrupos normales de .

Los subgrupos normales de forman una red bajo la inclusión de subconjuntos con el menor elemento , , y el mayor elemento , . El punto de encuentro de dos subgrupos normales, y , en esta red es su intersección y la unión es su producto.

La red es completa y modular . [20]

Subgrupos normales, grupos cociente y homomorfismos

Si es un subgrupo normal, podemos definir una multiplicación sobre clases laterales de la siguiente manera: Esta relación define una aplicación . Para demostrar que esta aplicación está bien definida, es necesario demostrar que la elección de elementos representativos no afecta al resultado. Para ello, considérese otros elementos representativos . Entonces existen tales que . De ello se deduce que donde también utilizamos el hecho de que es un subgrupo normal y, por lo tanto, existe tal que . Esto demuestra que este producto es una aplicación bien definida entre clases laterales.

Con esta operación, el conjunto de clases laterales es en sí mismo un grupo, llamado grupo cociente y denotado con Existe un homomorfismo natural , , dado por . Este homomorfismo se asigna al elemento identidad de , que es la clase lateral , [23] es decir, .

En general, un homomorfismo de grupo, envía subgrupos de a subgrupos de . Además, la preimagen de cualquier subgrupo de es un subgrupo de . Llamamos a la preimagen del grupo trivial en el núcleo del homomorfismo y la denotamos por . Como resulta, el núcleo es siempre normal y la imagen de , es siempre isomorfa a (el primer teorema de isomorfismo ). [24] De hecho, esta correspondencia es una biyección entre el conjunto de todos los grupos cocientes de , , y el conjunto de todas las imágenes homomórficas de ( hasta el isomorfismo). [25] También es fácil ver que el núcleo de la función cociente, , es él mismo, por lo que los subgrupos normales son precisamente los núcleos de homomorfismos con dominio . [26]

Véase también

Operaciones que llevan subgrupos a subgrupos

Propiedades de subgrupos complementarias (u opuestas) a la normalidad

Propiedades de subgrupos más fuertes que la normalidad

Propiedades de subgrupos más débiles que la normalidad

Nociones relacionadas con el álgebra

Notas

  1. ^ En otro idioma: es un homomorfismo de al subgrupo multiplicativo , y es el núcleo. Ambos argumentos también funcionan sobre los números complejos , o incluso sobre un cuerpo arbitrario .

Referencias

  1. ^ Bradley 2010, pág. 12.
  2. ^ abc Cantrell 2000, pág. 160.
  3. ^ Dummit y Foote 2004.
  4. ^ abcd Hungerford 2003, pág. 41.
  5. ^ Fraleigh 2003, pág. 141.
  6. ^ Robinson 1996, pág. 16.
  7. ^ Hungerford 2003, pág. 45.
  8. ^ Hall 1999, pág. 138.
  9. ^ Hall 1999, pág. 32.
  10. ^ Hall 1999, pág. 190.
  11. ^ Judson 2020, Sección 10.1.
  12. ^ Bergvall y col. 2010, pág. 96.
  13. ^ Thurston 1997, pág. 218.
  14. ^ Hungerford 2003, pág. 42.
  15. ^ Robinson 1996, pág. 17.
  16. ^ Robinson 1996, pág. 28.
  17. ^ Robinson 1996, pág. 402.
  18. ^ Hungerford 2013, pág. 290.
  19. ^Ab Hall 1999, pág. 29.
  20. ^ desde Hungerford 2003, pág. 46.
  21. ^ Robinson 1996, pág. 36.
  22. ^ Dõmõsi y Nehaniv 2004, pág. 7.
  23. ^ Hungerford 2003, págs. 42-43.
  24. ^ Hungerford 2003, pág. 44.
  25. ^ Robinson 1996, pág. 20.
  26. ^ Hall 1999, pág. 27.

Bibliografía

Lectura adicional

Enlaces externos