Processing math: 86%
Saltar al contenido principal
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
LibreTexts Español

4: Subgrupos

( \newcommand{\kernel}{\mathrm{null}\,}\)

A partir de ahora, a menos que se indique lo contrario,G denotará un grupo cuya operación binaria se denota porab o simplementeab paraa,bG. La identidad deG será denotada pore y la inversa deaG será denotada pora1. A veces, sin embargo, es posible que necesitemos discutir grupos cuyas operaciones son pensadas como adiciones. En tales casos escribimosa+b en lugar deab. También en este caso, la identidad se denota por0 y la inversa deaG se denota pora. Las definiciones y resultados dados usando notación multiplicativa siempre se pueden traducir a notación aditiva si es necesario.

Definición 4.1:

SeamosG un grupo. Un subgrupo deG es un subconjuntoH delG cual satisface las siguientes tres condiciones:

  1. eH.
  2. Sia,bH, entoncesabH.
  3. SiaH, entoncesa1H.

Por conveniencia a veces escribimosHG para significar queH es un subgrupo deG.

Problema 4.1 Traducir la definición anterior en notación aditiva.

OBSERVACIÓN

SiH es un subgrupo deG, entonces la operación binaria onG cuando se restringe aH es una operación binaria onH. A partir de la definición, se puede demostrar fácilmente que un subgrupoH es un grupo por derecho propio con respecto a esta operación binaria. De esta manera se pueden obtener muchos ejemplos de grupos. De hecho, de una manera que concretaremos más adelante, cada grupo finito puede ser considerado como un subgrupo de uno de los gruposSn.

Problema 4.2 Demostrar que siG es algún grupo, entonces

  1. {e}G.
  2. GG.

Los subgrupos{e} yG se dice que son subgrupos triviales deG.

Problema 4.3

a) Determinar cuáles de los siguientes subconjuntos deS4 son subgrupos deS4.

  1. H={ι,(1 2),(3 4),(1 2)(3 4)}
  2. K={ι,(1 2 3),(1 3 2)}
  3. J={ι,(1 2),(1 2 3)}
  4. L={σS4 | σ(1)=1}.

b) Determinar cuáles de los siguientes subconjuntos deZ12 son subgrupos deZ12. (Aquí la operación binaria es adición módulo 12.)

  1. A={0,3,6,9,}
  2. B={0,6}
  3. C={0,1,2,3,4,5}

(c) Determinar cuáles de los siguientes subconjuntos deZ son subgrupos deZ. (Aquí la operación binaria es suma.)

  1. U={5k |k Z}
  2. V={5k+1 | kN}
  3. W={5k+1 | kZ}

Problema 4.4 DejarSL(2,R)={AGL(2,R)|det(A)=1}. Demostrar esoSL(2,R)GL(2,R).

SL(2,R)se llama el Grupo Lineal Especial de Grado 2 sobreR

Problema 4.5 PornN, queAn sea el conjunto de todas las permutaciones pares en el grupoSn. Demostrar queAn es un subgrupo deSn.

Anse llama el grupo alterno de gradon.

Problema 4.6 Enumerar los elementos deAn forn=1,2,3,4. A partir de este intento de adivinar el orden deAn forn>4.

Definición 4.2:

Dejara ser un elemento del grupoG. Si existenN tal quean=e decimos quea tiene orden finito. y definimoso(a)=min{nN|an=e} Siane para todosnN, decimos quea tiene orden infinito y nosotros definiro(a)=. En cualquier caso llamamoso(a) al orden dea.

Anote cuidadosamente la diferencia entre el orden de un grupo y el orden de un elemento de un grupo. Algunos autores empeoran las cosas al usar la misma notación para ambos conceptos. Tal vez mediante el uso de notación diferente hará que sea un poco más fácil distinguir los dos conceptos.

Sin2, para probar queo(a)=n debemos demostrar esoaie parai=1,2,,n1 yan=e. Tenga en cuenta también quea=e si y solo sio(a)=1. Entonces cada elemento de un grupo que no seae tiene ordenn2 o.

Problema 4.7 Traducir la definición anterior en notación aditiva. Es decir, definir el orden de un elemento de un grupoG con operación binaria+ e identidad denotada por 0.

Problema 4.8 Encontrar el orden de cada elemento deS3.

Problema 4.9 Encontrar el orden de unk -ciclo cuandok=2,3,4,5. Adivina el orden de unk -ciclo para arbitrariok.

Problema 4.10 Encuentra el orden de las siguientes permutaciones:

a)(1 2)(3 4 5)

b)(1 2)(3 4)(5 6 7 8)

c)(1 2)(3 4)(5 6 7 8)(9 10 11)

d) Tratar de encontrar una regla para computar el orden de un producto ciclos disjuntos en términos de los tamaños de los ciclos.

Problema 4.11 Encuentra el orden de cada elemento del grupo(Z6,+).

Problema 4.12 Encuentra el orden de cada elemento deGL(2,Z2). [Recordemos queGL(2,Z2) es el grupo de todas2×2 las matrices con entradas enZ2 con determinante distinto de cero. Recordemos queZ2={0,1} y las operaciones son multiplicación y suma módulo 2.]

Problema 4.13 Encuentra el orden del elemento 2 en el grupo(R{0},). ¿Hay algún elemento de orden finito en este grupo?

Definición 4.3:

Dejara ser un elemento del grupoG. Definira={ai:iZ}. Llamamosa al subgrupo deG generado pora.

OBSERVACIÓN

Tenga en cuenta quea={,a3,a2,a1,a0,a1,a2,a3,}. En particular,a=a1 ye=a0 están ena.

Problema 4.14 Traducir la definición anterior dea y la observación en notación aditiva.

Teorema4.1

Para cada unoa en el grupoG,a es un subgrupo deG. acontienea y es el subgrupo más pequeño delG que contienea.

Prueba Como se acaba de señalare=a0a. Vamosan,ama. Ya quen+mZ se deduce del Teorema 2.4 queanam=an+ma. También del Teorema 2.4ana, si, ya quen(1)=n tenemos(an)1=ana. Esto demuestra quea es un subgrupo.

Yaa=a1 que es claro queaa. SiH hay algún subgrupo delG que contengaa, ya queH se cierra bajo tomar productos y tomar inversos,ana para cadanZ. EntoncesaH. Es decir, cada subgrupo delG que contienea también contienea. Esto implica quea es el subgrupo más pequeño delG que contienea.

Teorema4.2

SeamosG un grupo y dejemosaG. Sio(a)=1, entoncesa={e}. Sio(a)=n dónden2, entoncesa={e,a,a2,,an1} y los elementose,a,a2,,an1 son distintos, es decir,o(a)=|a|.

Prueba Supongamos queo(a)=n. El cason=1 se deja al lector. Supongamosn2. Debemos probar dos cosas.

  1. SiiZ entoncesai{e,a,a2,,an1}.
  2. Los elementose,a,a2,,an1 son distintos.

Para establecer 1 notamos que sii es algún entero podemos escribirlo en la formai=nq+r donder{0,1,,n1}. Aquíq está el cociente yr es el resto cuandoi se divide porn. Ahora usando Teorema [Th2.3] tenemosai=anq+r=anqar=(an)qar=eqar=ear=ar. Esto prueba 1. Para probar 2, asumir queai=aj donde0i<jn1. De ello se deduce queaji=aj+(i)=ajai=aiai=a0=e. Peroji es un entero positivo menor quen, asíaji=e contradice el hecho de queo(a)=n. Entonces la suposición de queai=aj donde0i<jn1 es falso. Esto implica que 2 sostiene. De ello se deduce quea contiene exactamenten elementos, es decir,\mathrm{o}(a) = \vert \langle a \rangle \vert.

Teorema\PageIndex{3}

SiG es un grupo finito, entonces cada elemento deG tiene orden finito. \blacksquare

Prueba Dejara ser cualquier elemento deG. Considera la lista infinitaa^1, a^2, a^3, \dots, a^i, \dots de elementos enG. Dado queG es finito, todos los elementos de la lista no pueden ser diferentes. Por lo que debe haber enteros positivosi < j tales quea^i = a^j. Dado quei < j,j-i es un entero positivo. Entonces usando el Teorema 2.4 tenemos Esa^{j-i} = a^{j + (-i)} = a^ja^{-i} = a^ia^{-i}=a^0=e. decir,a^n = e para el entero positivon=j-i. Asía tiene el orden finito, que es lo que queríamos probar.

Problema 4.15 Por cada elección deG y cadaa \in G lista dada todos los elementos del subgrupo\langle a \rangle deG.

  1. G=S_3,a=( 1 \ 2).
  2. G=S_3,a=( 1 \ 2 \ 3 ).
  3. G=S_4,a= ( 1 \ 2 \ 3 \ 4).
  4. G=S_4,a=( 1 \ 2)( 3 \ 4).
  5. G=\mathbb{Z},a=5.
  6. G=\mathbb{Z},a=-1.
  7. G=\mathbb{Z}_{15},a=5.
  8. G=\mathbb{Z}_{15},a=1.
  9. G=GL(2,\mathbb{Z}_2),a= \left ( \begin{array} {cc} 1&1\\0&1 \end{array}\right).
  10. G=GL(2,\mathbb{R}),a= \left ( \begin{array} {cr} 0&-1 \\ 1&0 \end{array}\right).

Problema 4.16 Supongamos quea es un elemento de un grupo yo(a)= n. Demostrar quea^m = e si y sólo sin \, \vert \, m. [Pista: El algoritmo de división del apéndice C puede ser útil para la prueba en una dirección.]


    This page titled 4: Subgrupos is shared under a not declared license and was authored, remixed, and/or curated by W. Edwin Clark via source content that was edited to the style and standards of the LibreTexts platform.

    Support Center

    How can we help?