Teorema de correspondencia

En teoría de grupos , el teorema de correspondencia ^[1]^[2]^[3]^[4]^[5]^[6]^[7]^[8] (también el teorema de red [ ^9] y de forma variada y ambigua el tercer y cuarto teorema de isomorfismo^[6]^[10] ) establece que si es un subgrupo normal de un grupo , entonces existe una biyección del conjunto de todos los subgrupos de que contiene a , sobre el conjunto de todos los subgrupos del grupo cociente . En términos generales, la estructura de los subgrupos de es exactamente la misma que la estructura de los subgrupos de que contienen a , con un colapso en el elemento identidad . ${\estilo de visualización N}$ ${\estilo de visualización G}$ ${\estilo de visualización A}$ ${\estilo de visualización G}$ ${\estilo de visualización N}$ ${\estilo de visualización G/N}$ ${\estilo de visualización G/N}$ ${\estilo de visualización G}$ ${\estilo de visualización N}$ ${\estilo de visualización N}$

En concreto, si

G es un grupo,

N\triánguloizquierda G

, un subgrupo normal de G ,

{\mathcal {G}}=\{A\mid N\subseteq A<G\}

, el conjunto de todos los subgrupos A de G que contienen N , y

{\mathcal {N}}=\{S\mid S<G/N\}

, el conjunto de todos los subgrupos de G / N ,

entonces existe una función biyectiva tal que $\phi :{\mathcal {G}}\to {\mathcal {N}}$

\phi(A)=A/N

a pesar de

A\in {\mathcal {G}}.

Uno más tiene que si A y B están en entonces ${\mathcal {G}}$

$A\subseteq B$ si y sólo si ; $A/N\subseteq B/N$
si entonces , donde es el índice de A en B (el número de clases laterales bA de A en B ); $A\subseteq B$ $|B:A|=|B/N:A/N|$ ${\estilo de visualización |B:A|}$
$\langle A,B\rangle /N=\left\langle A/N,B/N\right\rangle,$ ¿Dónde está el subgrupo de generado por? $\langle A,B\rangle$ ${\estilo de visualización G}$ $A\cup B;$
$(A\cap B)/N=A/N\cap B/N$ , y
${\estilo de visualización A}$ es un subgrupo normal de si y solo si es un subgrupo normal de . ${\estilo de visualización G}$ $A/N$ ${\estilo de visualización G/N}$

Esta lista está lejos de ser exhaustiva. De hecho, la mayoría de las propiedades de los subgrupos se conservan en sus imágenes bajo la biyección sobre subgrupos de un grupo cociente.

En términos más generales, existe una conexión de Galois monótona entre la red de subgrupos de (que no necesariamente contiene a ) y la red de subgrupos de : el adjunto inferior de un subgrupo de está dado por y el adjunto superior de un subgrupo de es un dado por . El operador de cierre asociado en subgrupos de es ; el operador de núcleo asociado en subgrupos de es la identidad. Se puede encontrar una prueba del teorema de correspondencia aquí. $(f^{*},f_{*})$ ${\estilo de visualización G}$ ${\estilo de visualización N}$ ${\estilo de visualización G/N}$ ${\estilo de visualización H}$ ${\estilo de visualización G}$ $f^{*}(H)=HN/N$ ${\estilo de visualización K/N}$ ${\estilo de visualización G/N}$ $f_{*}(K/N)=K$ ${\estilo de visualización G}$ ${\bar {H}}=HN$ ${\estilo de visualización G/N}$

Se obtienen resultados similares para anillos , módulos , espacios vectoriales y álgebras . En términos más generales, un resultado análogo que concierne a relaciones de congruencia en lugar de subgrupos normales se aplica a cualquier estructura algebraica .

Véase también

Celosía modular

Referencias

^ Derek John Scott Robinson (2003). Introducción al álgebra abstracta . Walter de Gruyter. pag. 64.ISBN 978-3-11-017544-8.
^ JF Humphreys (1996). Un curso de teoría de grupos . Oxford University Press. pág. 65. ISBN 978-0-19-853459-4.
^ HE Rose (2009). Un curso sobre grupos finitos . Springer. pág. 78. ISBN 978-1-84882-889-6.
^ JL Alperin; Rowen B. Bell (1995). Grupos y representaciones . Springer. pág. 11. ISBN. 978-1-4612-0799-3.
^ I. Martin Isaacs (1994). Álgebra: un curso de posgrado . American Mathematical Soc. pág. 35. ISBN 978-0-8218-4799-2.
^ de Joseph Rotman (1995). Introducción a la teoría de grupos (4.ª ed.). Springer. pp. 37-38. ISBN 978-1-4612-4176-8.
^ W. Keith Nicholson (2012). Introducción al álgebra abstracta (4.ª ed.). John Wiley & Sons. pág. 352. ISBN 978-1-118-31173-8.
^ Steven Roman (2011). Fundamentos de la teoría de grupos: un enfoque avanzado . Springer Science & Business Media. págs. 113-115. ISBN. 978-0-8176-8301-6.
^ WR Scott: Teoría de grupos , Prentice Hall, 1964, pág. 27.
^ Jonathan K. Hodge; Steven Schlicker; Ted Sundstrom (2013). Álgebra abstracta: un enfoque basado en la investigación . CRC Press. pág. 425. ISBN 978-1-4665-6708-5.

[Robinson2003-1] Derek John Scott Robinson (2003). Introducción al álgebra abstracta . Walter de Gruyter. pag. 64.ISBN 978-3-11-017544-8.

[Humphreys1996-2] JF Humphreys (1996). Un curso de teoría de grupos . Oxford University Press. pág. 65. ISBN 978-0-19-853459-4.

[Rose2009-3] HE Rose (2009). Un curso sobre grupos finitos . Springer. pág. 78. ISBN 978-1-84882-889-6.

[AlperinBell1995-4] JL Alperin; Rowen B. Bell (1995). Grupos y representaciones . Springer. pág. 11. ISBN. 978-1-4612-0799-3.

[Isaacs1994-5] I. Martin Isaacs (1994). Álgebra: un curso de posgrado . American Mathematical Soc. pág. 35. ISBN 978-0-8218-4799-2.

[Rotman1995-6] Joseph Rotman (1995). Introducción a la teoría de grupos (4.ª ed.). Springer. pp. 37-38. ISBN 978-1-4612-4176-8.

[Nicholson2012-7] W. Keith Nicholson (2012). Introducción al álgebra abstracta (4.ª ed.). John Wiley & Sons. pág. 352. ISBN 978-1-118-31173-8.

[Roman2011-8] Steven Roman (2011). Fundamentos de la teoría de grupos: un enfoque avanzado . Springer Science & Business Media. págs. 113-115. ISBN. 978-0-8176-8301-6.

[9] WR Scott: Teoría de grupos , Prentice Hall, 1964, pág. 27.

[HodgeSchlicker2013-10] Jonathan K. Hodge; Steven Schlicker; Ted Sundstrom (2013). Álgebra abstracta: un enfoque basado en la investigación . CRC Press. pág. 425. ISBN 978-1-4665-6708-5.