SELMA ALBUQUERQUE WEXEL – ES1410910642 - 2020

Si consideramos {g, 𝑔−1 } 𝑠𝑖 𝑔 ≠ 𝑔−1 hay dos elementos diferentes y si g = 𝑔−1

tenemos un único elemento.

|G| = 2|{g * 𝑔−1 tal que g ≠ 𝑔−1 }| + |{𝑔 ∗ 𝑔−1 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑔 = 𝑔−1 }|

Tenemos que |{g * 𝑔−1 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑔 ≠ 𝑔−1 }| = 2 y en el caso |{g * 𝑔−1 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑔 =
𝑔−1 }| = 1.

Como el orden de G es par => existe e ≠ 𝑔 ∈ 𝐺 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑔 = 𝑔−1 𝑒𝑠 𝑑𝑒𝑐𝑖𝑟 𝑔2 = e y por
tanto G es de orden 2.

* 1 A B C D E Al trazar una diagonal en la tabla y si la parte superior de la

1 1 A B C D E
A A B C D E 1 diagonal es simétrica a la inferior, podemos afirmar que el grupo es
B B C D E 1 A conmutativo.
C C D E 1 A B
D D E 1 A B C
E E 1 A B C D

* 1 A B C D E El primer grupo más inmediato es el Trivial: H = {1} formado

1 1 A B C D E
A A B C D E 1 por el elemento neutro.
B B C D E 1 A
C C D E 1 A B
D D E 1 A B C
E E 1 A B C D

* 1 A B C D E El otro subgrupo es el propio G, así H ≤ 𝐺, donde H es

1 1 A B C D E
A A B C D E 1 subgrupo de G. Si tomáramos un subgrupo menor a G, ya no se
B B C D E 1 A cumpliría que el resultado de la operación esté en el grupo H.
C C D E 1 A B
D D E 1 A B C
E E 1 A B C D Si H = { 1,A,B,C}, tenemos que A * C = D y D no pertenece a H.
 Un grupo es un conjunto G junto con una operación ° que satisface las siguientes
propiedades:

a. Es cerrado para la operación °: 𝑎, 𝑏 ∈ 𝐺 ⇒ 𝑎 ° 𝑏 ∈ 𝐺

b. La operación es asociativa: 𝑎, 𝑏, 𝑐 ∈ 𝐺 ⇒ (𝑎 ° 𝑏)° 𝑐 = 𝑎 ° (𝑏 ° 𝑐)
c. Existe un elemento identidad denotado por id: 𝑎 ∈ 𝐺 ⇒ 𝑎 ° 𝑖𝑑 = 𝑖𝑑 ° 𝑎 = 𝑎
d. Todo elemento tiene un inverso: 𝑎 ∈ 𝐺 ⇒ ∃𝑏 ∈ 𝐺 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑎 ° 𝑏 = 𝑏 ° 𝑎 = 𝑖𝑑

Comprobando:

a. Es cerrado para la operación °: 𝑎, 𝑏 ∈ 𝐺 ⇒ 𝑎 ° 𝑏 ∈ 𝐺:

𝛼 ∗ 𝛽 = 𝛼 ∴ 𝑠𝑖 𝑐𝑢𝑚𝑝𝑙𝑒 𝑝𝑜𝑟𝑞𝑢𝑒 𝑞𝑢𝑒𝑑𝑎 𝑒𝑙 𝑚𝑖𝑠𝑚𝑜 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜.
𝑏. La operación es asociativa: 𝛼, 𝛽, 𝛾 ∈ 𝐺 ⇒ (𝛼 ∗ 𝛽) ∗ 𝛾 = 𝛼 ∗ (𝛽 ∗ 𝛾):
(𝛼 ∗ 𝛽) ∗ 𝛾 = 𝛼 ∗ 𝛾 = 𝛼
𝛼 ∗ (𝛽 ∗ 𝛾) = 𝛼 ∗ 𝛽 = 𝛼 ∴ 𝑠𝑖 𝑠𝑒 𝑐𝑢𝑚𝑝𝑙𝑒
c. Existe un elemento identidad denotado por id: 𝑎 ∈ 𝐺 ⇒ 𝑎 ° 𝑖𝑑 = 𝑖𝑑 ° 𝑎 = 𝑎
𝛼 ∗ 𝑖𝑑 = 𝛼
𝑖𝑑 ∗ 𝛼 = 𝑖𝑑 ∴ 𝑁𝑜 𝑠𝑒 𝑐𝑢𝑚𝑝𝑙𝑒
d. Todo elemento tiene un inverso: 𝑎 ∈ 𝐺 ⇒ ∃𝑏 ∈ 𝐺 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑎 ° 𝑏 = 𝑏 ° 𝑎 = 𝑖𝑑
𝛼 ∗ 𝛽 = 𝛼 ≠ 𝑖𝑑
𝛽 ∗ 𝛼 = 𝛽 ≠ 𝑖𝑑 ∴ 𝑁𝑜 𝑠𝑒 𝑐𝑢𝑚𝑝𝑙𝑒

Demostración:

Debemos demostrar que f es inyectiva y sobreyectiva:

Inyectividad: Sean 𝑔1 , 𝑔2 ∈ 𝐺 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑔1 ≠ 𝑔2 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑓(𝑔1 ) = 𝑔1 −1 ≠ 𝑔2 −1 = 𝑓(𝑔2 ),

ya que el inverso es único para cada 𝑔 ∈ 𝐺

Sobreyectividad: Sean 𝑔−1 ∈ 𝐺 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑒𝑥𝑖𝑠𝑡𝑒 𝑔 ∈ 𝐺 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑓 (𝑔) = 𝑔−1 , esto asegura
la estructura algebraica de grupo ya que para cada 𝑔 ∈ 𝐺 existe un único 𝑔−1 ∈ 𝐺.

Entonces 𝑓(𝑔−1 ) = 𝑓(𝑔−1 )−1 = 𝑔 𝑐𝑜𝑛 𝑙𝑜 𝑞𝑢𝑒 𝑓 𝑒𝑠 𝑠𝑜𝑏𝑟𝑒𝑦𝑒𝑐𝑡𝑖𝑣𝑎

Así que, como es inyectiva y sobreyectiva entonces f es biyectiva.

Demostración:

Como 𝑥, 𝑦 ∈ 𝐺, tenemos que existen 𝑥 −1 𝑦 𝑦 −1 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑥 ∗ 𝑥 −1 = 1 y 𝑦 ∗ 𝑦 −1 = 1

Entonces demostraremos que (𝑥 ∗ 𝑦)−1 => (𝑦 −1 ∗ 𝑥 −1 ) 𝑦 (𝑦 −1 ∗ 𝑥 −1 ) => (𝑥 ∗ 𝑦)−1

Tenemos que (𝑥 ∗ 𝑦) * ( 𝑦 −1 ∗ 𝑥 −1 ) = 𝑥 ∗ (𝑦 ∗ y −1 ) ∗ 𝑥 −1 = 𝑥 ∗ 1 ∗ 𝑥 −1 = 𝑥 ∗ 𝑥 −1 = 1

( 𝑦 −1 ∗ 𝑥 −1 ) * (𝑥 ∗ 𝑦) = 𝑦 −1 ∗ (𝑥 −1 ∗ 𝑥) ∗ 𝑦 = 𝑦 −1 ∗ 1 ∗ 𝑦 = 𝑦 −1 ∗ 𝑦 = 1

Tenemos que el inverso de (𝑥 ∗ 𝑦) 𝑒𝑠 𝑦 −1 ∗ 𝑥 −1

Bibliografía consultada:

Álgebra y Estructuras Discretas. Grupos. El Grupo Simétrico. Consultado el 15/04/2020 en

https://www.ugr.es/~jurbano/aed/AED-Tema_2-Grupos.Grupo_simetrico.pdf
Barrera, Mora, F. (2004). Introducción a la Teoría de Grupos. México. Consultado el
15/04/2020 en www.sociedadmatematicamexicana.org.mx
UNADM. (2020). Unidad 1: Grupos y Subgrupos. En UNADM, Álgebra Moderna I.
México: UNADM.