Respecto para la relación de este subgrupo de la forma 𝑮𝒊 ≤ 𝑮𝒋 donde se

considera dos casos para

El primer caso 𝒊 = 𝒋 donde la relación se define balo la misma adición es

decir

𝑮𝟏 ≤ 𝑮𝟏

El segundo caso 𝒊 ≠ 𝒋 donde la relación se observa para estos grupos

definidos en 𝑮𝟐 , 𝑮𝟑 , 𝑮𝟒 , 𝑮𝟓 y en este caso hay relación mediante la definición ℤ
bajo la adición es un subgrupo propio de ℝ bajo la adición entonces es para

𝑮𝟏 < 𝑮𝟒

Respecto para la relación de este subgrupo de la forma 𝑮𝒊 ≤ 𝑮𝒋 donde se

considera dos casos para

El primer caso 𝒊 = 𝒋 donde la relación se define balo la misma adición es

decir

𝑮𝟐 ≤ 𝑮𝟐
El segundo caso 𝒊 ≠ 𝒋 donde la relación se observa para estos grupos
definidos en 𝑮𝟏 , 𝑮𝟑 , 𝑮𝟒 , 𝑮𝟓 y en este caso hay relación mediante la definición ℤ
bajo la adición es un subgrupo propio de ℤ bajo la adición entonces es para

𝑮𝟐 < 𝑮𝟏

Y también para la relación mediante la definición ℤ bajo la adición es un

subgrupo propio de ℝ bajo la adición entonces es para

𝑮𝟐 < 𝑮𝟒

Por lo tanto se define en este caso como el grupo aditivo de

𝑮𝟐 ≤ 𝑮𝟏 ≤ 𝑮𝟒 →∴ 𝟏𝟐ℤ ≤ ℤ ≤ ℝ

Respecto para la relación de este subgrupo de la forma 𝑮𝒊 ≤ 𝑮𝒋 donde se

considera dos casos para

El primer caso 𝒊 = 𝒋 donde la relación se define balo la misma multiplicación

es decir

𝑮𝟑 ≤ 𝑮𝟑

El segundo caso 𝒊 ≠ 𝒋 donde la relación se observa para estos grupos

definidos en 𝑮𝟏 , 𝑮𝟐 , 𝑮𝟒 , 𝑮𝟓 y en este caso hay relación mediante la definición
ℚ+ bajo la multiplicación es un subgrupo propio de ℝ+ bajo la multiplicación
entonces es para

𝑮𝟑 < 𝑮𝟓

Respecto para la relación de este subgrupo de la forma 𝑮𝒊 ≤ 𝑮𝒋 donde se

considera dos casos para

El primer caso 𝒊 = 𝒋 donde la relación se define balo la misma adición es

decir

𝑮𝟒 ≤ 𝑮𝟒

El segundo caso 𝒊 ≠ 𝒋 donde la relación se observa para estos grupos

definidos en 𝑮𝟏 , 𝑮𝟐 , 𝑮𝟑 , 𝑮𝟓 y en este caso no hay relación alguna de la
existencia de la relación del subgrupo bajo la adición.
Respecto para la relación de este subgrupo de la forma 𝑮𝒊 ≤ 𝑮𝒋 donde se
considera dos casos para

El primer caso 𝒊 = 𝒋 donde la relación se define balo la misma multiplicación

es decir

𝑮𝟓 ≤ 𝑮𝟓

El segundo caso 𝒊 ≠ 𝒋 donde la relación se observa para estos grupos

definidos en 𝑮𝟏 , 𝑮𝟐 , 𝑮𝟑 , 𝑮𝟒 y en este caso no hay relación alguna de la
existencia de la relación del subgrupo bajo la multiplicación.

Para el primer elemento considerando el grupo cíclico bajo la definición del

elemento neutro en la adición es decir 𝟎

Para el segundo elemento se considera el grupo cíclico definido bajo la

adición para este caso es 𝒏𝒂 = 𝟐𝟓ℤ donde el valor de 𝒏 = 𝟐𝟓 entonces el
valor del segundo elemento es 𝟐𝟓

Para el tercer elemento se considera el grupo cíclico definido bajo la adición

inversa definido como

𝒏𝒂 = 𝒊𝒏𝒗𝒆𝒓𝒔𝒂 𝒅𝒆 𝒏𝒂 = −𝒏𝒂

Para este caso es −𝒏𝒂 = −𝟐𝟓ℤ donde el valor de 𝒏 = −𝟐𝟓 entonces el valor
del tercer elemento es −𝟐𝟓

Para el cuarto elemento se considera el grupo cíclico definido bajo la

adición definido como

(𝒏 − 𝟏)𝒂 + 𝒏𝒂

Para este caso es 𝒏𝒂 = 𝟐𝟓ℤ donde el valor de 𝒏 = 𝟐𝟓 entonces el valor de

𝒂 = 𝟏 y esto implica que el valor de
(𝒏 − 𝟏)𝒂 + 𝒏𝒂 = (𝟐𝟒 − 𝟏) + 𝟐𝟓 = 𝟐𝟓 + 𝟐𝟓 = 𝟓𝟎

Por lo que implica que el cuarto elemento es 𝟓𝟎

Finalmente para el quinto elemento se considera el grupo cíclico definido
bajo la adición inversa definido como

−[(𝒏 − 𝟏)𝒂 + 𝒏𝒂]

Para este caso es 𝒏𝒂 = 𝟐𝟓ℤ donde el valor de 𝒏 = 𝟐𝟓 entonces el valor de

𝒂 = 𝟏 y esto implica que el valor de
−[(𝒏 − 𝟏)𝒂 + 𝒏𝒂] = −[(𝟐𝟒 − 𝟏) + 𝟐𝟓] = −[𝟐𝟓 + 𝟐𝟓] = −𝟓𝟎

Por lo que implica que el quinto elemento es −𝟓𝟎

Por lo tanto los 5 elementos del grupo ciclico de 𝟐𝟓ℤ bajo la adicion son
−𝟓𝟎, −𝟐𝟓, 𝟎, 𝟐𝟓, 𝟓𝟎.

Considerando que un subgrupo cíclico bajo la multiplicación que se define

el conjunto de orden de los ℤ como

< 𝒂 >= {… , 𝒂−𝟐 , 𝒂−𝟏 , 𝒂𝟎 , 𝒂𝟏 , 𝒂𝟐 , … . }

En este caso se considera para 5 elementos entonces

< 𝒂 >= {𝒂−𝟐 , 𝒂−𝟏 , 𝒂𝟎 , 𝒂𝟏 , 𝒂𝟐 }

𝟏 𝒏
Donde 𝒂 = (𝟐) pero 𝒏 = −𝟐, −𝟏, 𝟎, 𝟏, 𝟐 entonces sustituyendo valores en este
conjunto definido queda

𝟏 −𝟐 𝟏 −𝟏 𝟏 𝟎 𝟏 𝟏 𝟏 𝟐 𝟐 𝟏 𝟏 𝟏 𝟏 𝟏
{( ) , ( ) , ( ) , ( ) , ( ) } = { , , 𝟏, , } = {𝟒, 𝟐, 𝟏, , }
𝟐 𝟐 𝟐 𝟐 𝟐 𝟏 𝟏 𝟐 𝟒 𝟐 𝟒
𝟐 𝟐
𝟏 𝒏
Por lo tanto los 5 elementos del grupo ciclico de {(𝟐) |𝒏 ∈ ℤ} bajo la
𝟏 𝟏
multiplicacion son 𝟒, 𝟐, 𝟏, 𝟐 , 𝟒.

𝟎 −𝟏
Consideremos a la matriz de 2x2 en este caso como 𝑨 = ( ) entonces
−𝟏 𝟎
para describir todos los elementos generados decimos por esta definición
que es un subgrupo cíclico para 𝑮𝑳(𝟐, ℝ) generado para < 𝑨 > considerando
𝟎 −𝟏
que la identidad es definido por 𝒆 = 𝑨 = ( ) entonces esto quiere decir
−𝟏 𝟎
que

< 𝑨 > = {𝑨𝟐 , 𝑨𝟑 } con esto se calcula entonces para

𝟎 −𝟏 𝟐 𝟎 ∙ 𝟎 − 𝟏 ∙ −𝟏 𝟎 ∙ −𝟏 − 𝟏 ∙ 𝟎 𝟏 𝟎 𝟏 𝟎
𝑨𝟐 = ( ) =( )=( ) →∴ 𝑨𝟐 = ( )
−𝟏 𝟎 −𝟏 ∙ 𝟎 + 𝟎 ∙ −𝟏 −𝟏 ∙ 𝟏 + 𝟎 ∙ 𝟎 𝟎 𝟏 𝟎 𝟏
Luego probemos para

𝟎 −𝟏 𝟑 𝟏 ∙ 𝟎 + 𝟎 ∙ −𝟏 𝟏 ∙ −𝟏 + 𝟎 ∙ 𝟎 𝟎 −𝟏
𝑨𝟑 = ( ) =( )=( ) = 𝑨 = 𝒆 →∴
−𝟏 𝟎 𝟎 ∙ 𝟎 + 𝟏 ∙ −𝟏 𝟎 ∙ −𝟏 + 𝟏 ∙ 𝟎 −𝟏 𝟎
𝟎 −𝟏
𝒆 = 𝑨𝟑 = 𝑨 = ( )
−𝟏 𝟎
Entonces el subgrupo cíclico generado en relación a la identidad por 𝑨 es

𝟏 𝟎 𝟎 −𝟏
< 𝑨 > = {𝑨𝟐 , 𝑨𝟑 } = {( ),( )}
𝟎 𝟏 −𝟏 𝟎
Equivalentemente

𝟎 −𝟏 𝟏 𝟎
< 𝑨 > = {𝑨𝟑 , 𝑨𝟐 } = {( ),( )}
−𝟏 𝟎 𝟎 𝟏

𝟏 𝟏
Consideremos a la matriz de 2x2 en este caso como 𝑨 = ( ) entonces
𝟎 𝟏
para describir todos los elementos generados decimos por esta definición
que es un subgrupo cíclico para 𝑮𝑳(𝟐, ℝ) generado para < 𝑨 > es decir para
este caso se generaliza como la matriz donde se considera que la identidad
es definido por

𝟏 𝒏
𝒆=𝑨=( ) para 𝒏 ∈ ℤ
𝟎 𝟏
Por lo que implica que se dice por el orden generalizado que

< 𝑨 > = {𝑨𝒏−𝟏 , 𝑨−𝟏 , 𝑨𝟎 , 𝑨𝒏+𝟏 }

Entonces con esto se calcula para

 𝟏 𝟏 𝒏 𝟏 𝟏 −𝟏 𝟏 𝒏 𝟏 −𝟏 𝟏∙𝟏+𝒏∙𝟎 𝟏 ∙ −𝟏 + 𝒏 ∙ 𝟏
𝑨𝒏−𝟏 = ( ) ( ) =( )( )=( )
𝟎 𝟏 𝟎 𝟏 𝟎 𝟏 𝟎 𝟏 𝟎∙𝟏+𝟏∙𝟎 𝟎 ∙ −𝟏 + 𝟏 ∙ 𝟏
𝟏 𝒏−𝟏 𝒏−𝟏 𝟏 𝒏−𝟏
=( ) →∴ 𝑨 =( )
𝟎 𝟏 𝟎 𝟏
Luego probemos para

𝟏 𝟏 −𝟏 𝟏 𝟏 −𝟏 𝟏 𝒏 𝟏 𝒏
𝑨−𝟏 = ( ) = ( )=( ) →∴ 𝑨−𝟏 = ( )
𝟎 𝟏 𝟏 𝟎 𝟏 𝟎 𝟏 𝒏=−𝟏 𝟎 𝟏

Después para

𝟏 𝟏 𝟎 𝟏 𝟎 𝟏 𝒏 𝟏 𝒏
𝑨𝟎 = ( ) =( )=( ) →∴ 𝑨𝟎 = ( )
𝟎 𝟏 𝟎 𝟏 𝟎 𝟏 𝒏=𝟎 𝟎 𝟏

Finalmente para

𝟏 𝟏 𝒏 𝟏 𝟏 𝟏 𝒏 𝟏 𝟏 𝟏∙𝟏+𝒏∙𝟎 𝟏∙𝟏+𝒏∙𝟏
𝑨𝒏+𝟏 = ( ) ( )=( )( )=( )
𝟎 𝟏 𝟎 𝟏 𝟎 𝟏 𝟎 𝟏 𝟎∙𝟏−𝟏∙𝟎 𝟎∙𝟏+𝟏∙𝟏
𝟏 𝒏+𝟏 𝒏+𝟏 𝟏 𝒏+𝟏
=( ) →∴ 𝑨 =( )
𝟎 𝟏 𝟎 𝟏
Entonces el subgrupo cíclico generado en relación a la identidad por 𝑨 es

𝟏 𝒏
< 𝑨 > = {𝑨−𝟏 , 𝑨𝟎 } = {( )}
𝟎 𝟏 𝒏∈ℤ
Es decir

𝟏 𝟏 𝟏 𝒏
<( ) > = {( )}
𝟎 𝟏 𝟎 𝟏 𝒏∈ℤ

La tabla del grupo ℤ𝟔 bajo la suma se obtiene al sumar todos los elementos
entre sí, esto quiere decir que

𝒏 + 𝒎∗ = (𝒏 + 𝒎∗ )

Donde 𝒏 es un elemento fijo a considerar y 𝒎∗ es un elemento diferente a

considerar en relación al elemento fijo.

Entonces para 𝒏 = 𝟎 con 𝒎∗ = 𝟎, 𝟏, 𝟐, 𝟑, 𝟒, 𝟓 queda la obtención de la suma de

todos los entre si como

𝟎 + 𝟎 = 𝟎, 𝟎 + 𝟏 = 𝟏, 𝟎 + 𝟐 = 𝟐, 𝟎 + 𝟑 = 𝟑, 𝟎 + 𝟒 = 𝟒, 𝟎 + 𝟓 = 𝟓

Y se escribe en el primer renglón los resultados obtenidos.

Luego para 𝒏 = 𝟏 con 𝒎∗ = 𝟎, 𝟏, 𝟐, 𝟑, 𝟒, 𝟓 queda la obtención de la suma de
todos los entre sí como

𝟏 + 𝟎 = 𝟏, 𝟏 + 𝟏 = 𝟐, 𝟏 + 𝟐 = 𝟑, 𝟏 + 𝟑 = 𝟒, 𝟏 + 𝟒 = 𝟓, 𝟏 + 𝟓 = 𝟔

Pero 𝟔 no pertenece al grupo ℤ𝟔 entonces se aplica el orden de grupo cíclico

de inicio y entonces este valor de 6 se vuelve 0

Y se escribe en el segundo renglón los resultados obtenidos.

Después para 𝒏 = 𝟐 con 𝒎∗ = 𝟎, 𝟏, 𝟐, 𝟑, 𝟒, 𝟓 queda la obtención de la suma de

todos los entre sí como

𝟐 + 𝟎 = 𝟐, 𝟐 + 𝟏 = 𝟑, 𝟐 + 𝟐 = 𝟒, 𝟐 + 𝟑 = 𝟓, 𝟐 + 𝟒 = 𝟔, 𝟐 + 𝟓 = 𝟕

Pero 𝟔, 𝟕 no pertenece al grupo ℤ𝟔 entonces se aplica el orden de grupo

cíclico de inicio y entonces este valor de 6 se vuelve 0 y para el valor de 𝟕 se
vuelve 𝟏

Y se escribe en el tercer renglón los resultados obtenidos

Después para 𝒏 = 𝟑 con 𝒎∗ = 𝟎, 𝟏, 𝟐, 𝟑, 𝟒, 𝟓 queda la obtención de la suma de

todos los entre sí como

𝟑 + 𝟎 = 𝟑, 𝟑 + 𝟏 = 𝟒, 𝟑 + 𝟐 = 𝟓, 𝟑 + 𝟑 = 𝟔, 𝟑 + 𝟒 = 𝟕, 𝟑 + 𝟓 = 𝟖

Pero 𝟔, 𝟕, 𝟖 no pertenece al grupo ℤ𝟔 entonces se aplica el orden de grupo

cíclico de inicio y entonces este valor de 6 se vuelve 0 y para el valor de 𝟕 se
vuelve 𝟏 y para el valor de 𝟖 se vuelve 𝟐.

Y se escribe en el cuarto renglón los resultados obtenidos

Después para 𝒏 = 𝟒 con 𝒎∗ = 𝟎, 𝟏, 𝟐, 𝟑, 𝟒, 𝟓 queda la obtención de la suma de

todos los entre sí como

𝟒 + 𝟎 = 𝟒, 𝟒 + 𝟏 = 𝟓, 𝟒 + 𝟐 = 𝟔, 𝟒 + 𝟑 = 𝟕, 𝟒 + 𝟒 = 𝟖, 𝟒 + 𝟓 = 𝟗

Pero 𝟔, 𝟕, 𝟖, 𝟗 no pertenece al grupo ℤ𝟔 entonces se aplica el orden de grupo

cíclico de inicio y entonces este valor de 6 se vuelve 0 y para el valor de 𝟕 se
vuelve 𝟏 y para el valor de 𝟖 se vuelve 𝟐. y para el valor de 𝟗 se vuelve 𝟑.

Y se escribe en el quinto renglón los resultados obtenidos

Finalmente para 𝒏 = 𝟓 con 𝒎∗ = 𝟎, 𝟏, 𝟐, 𝟑, 𝟒, 𝟓 queda la obtención de la suma

de todos los entre sí como

𝟓 + 𝟎 = 𝟓, 𝟓 + 𝟏 = 𝟔, 𝟓 + 𝟐 = 𝟕, 𝟓 + 𝟑 = 𝟖, 𝟓 + 𝟒 = 𝟗, 𝟓 + 𝟓 = 𝟏𝟎
Pero 𝟔, 𝟕, 𝟖, 𝟗, 𝟏𝟎 no pertenece al grupo ℤ𝟔 entonces se aplica el orden de
grupo cíclico de inicio y entonces este valor de 6 se vuelve 0 y para el valor
de 𝟕 se vuelve 𝟏 y para el valor de 𝟖 se vuelve 𝟐. y para el valor de 𝟗 se
vuelve 𝟑.y para el valor de 𝟏𝟎 se vuelve 𝟒.

Y se escribe en el sexto renglón los resultados obtenidos

Por lo tanto la tabla del grupo ℤ𝟔 bajo la suma es

Para encontrar todos los subgrupos del grupo ℤ𝟔 recordamos que este está
formado por los elementos

ℤ𝟔 = {𝟎, 𝟏, 𝟐, 𝟑, 𝟒, 𝟓}

Según el teorema de Lagrange, los subgrupos propios que se pueden formar

han de tener un orden que sea divisor del orden del grupo.

Por lo tanto, podemos formar subgrupos de orden 2, 3, 6 es decir: si ℤ𝒏

entonces para 𝒏 = 𝟐, 𝟑, 𝟔 por lo que implica que ℤ𝟔 , ℤ𝟑 , ℤ𝟐

Por consiguiente para los generadores del subgrupo

< 𝟎 > = {𝟎}

A razón de que 𝟎 + 𝟎 = 𝟎

Luego para los generadores del subgrupo

< 𝟏 >= {𝟎, 𝟏, 𝟐, 𝟑, 𝟒, 𝟓} = ℤ𝟔

A razón de que son todos los elementos

Después para los generadores del subgrupo

 < 𝟐 >= {𝟎, 𝟐, 𝟒} = ℤ𝟑

Tengamos en cuenta que esta lista es completa desde 𝟒 = 𝟐−𝟏

Luego para los generadores del subgrupo

< 𝟑 > = {𝟎, 𝟑} = ℤ𝟐

Tengamos en cuenta que esta lista es completa desde 𝟑−𝟏 = 𝟑

Después para los generadores del subgrupo

< 𝟒 >= {𝟎, 𝟐, 𝟒} = ℤ𝟑

Tengamos en cuenta que esta lista es completa desde 𝟒 = 𝟐−𝟏

Finalmente para los generadores del subgrupo

< 𝟓 >= {𝟎, 𝟏, 𝟐, 𝟑, 𝟒, 𝟓} = ℤ𝟔

A razón de que son todos los elementos

Por consiguiente decimos que

< 𝟎 >= {𝟎}

< 𝟏 >=< 𝟓 >= ℤ𝟔

< 𝟐 >=< 𝟒 >= {𝟎, 𝟐, 𝟒}

< 𝟑 >= {𝟎, 𝟑}

Para saberlo consideremos por definición que el grupo aditivo tiene

únicamente dos generadores de todos los elementos que lo conforman.

En efecto los tiene y son

< 𝟏 >= {𝟎, 𝟏, 𝟐, 𝟑, 𝟒, 𝟓} = ℤ𝟔

< 𝟓 >= {𝟎, 𝟏, 𝟐, 𝟑, 𝟒, 𝟓} = ℤ𝟔

Entonces realizando el diagrama de este subgrupo ℤ𝟔 queda como la

consideración que los generadores de 𝒁𝟔 son los elementos que generan
 todo el grupo, es decir, un subgrupo de orden 𝟔 / 𝟏. Por el teorema sobre
subgrupos de grupos cíclicos finitos estos son los elementos 𝒏 de 𝒁𝟔 tal que
𝒎𝒄𝒅 (𝒏, 𝟔) = 𝟏

Entonces a través de esta definición de este grupo implica entonces que se

pueden encontrar e identificar estos subgrupos y considerar su orden de
estos subgrupos como el número de elementos que lo contiene
respectivamente a través de este diagrama correspondiente como

Orden 3 Orden 6

Orden 2

Orden 1

Bibliografía consultada para las actividades.

Fraleigh, J., Álgebra abstracta, Addison Wesley, México, 1987

Fraleigh. J. . A First Course in Abstract Algebra. United States of

America. Addison-Wesley Publishing Company 1994

Kolman y Busby, Estructuras de matemáticas discretas para la

computación, Prentice Hall, México, 1986

Rotman. J. .. A First Course in Abstract Algebra. Second edition.

United States of America. Prentice Hall 2000

Berlekamp, E., Algebraic coding theory, McGraw Hill, E.U.A., 1968

Ayres Jr. F., Álgebra moderna, McGraw Hill, México, 1992