Álgebra moderna I

Unidad 1. Grupos y subgrupos

Profesor: Dr. RAMIRO VÁZQUEZ VERA
Actividad 1. Grupos
Luis Gerardo Aguilar Cruz
Matricula: ES1511108497
sábado, 26 de octubre de 2019
 Actividad 1. Grupos | Luis Gerardo Aguilar Cruz

Instrucciones: demuestra lo que pide en los siguientes ejercicios, utilizando técnicas de

demostración, definiciones formales de teoría de grupos y sin abusar de elementos intuitivos.
3. Investiga y enuncia formalmente qué son las propiedades de cancelación a izquierda y derecha
en una operación binaria.

Teorema 1. Si 𝐺 es un grupo con una operación binaria ∗, entonces las leyes de cancelación
izquierda y derecha se cumplen en 𝐺, es decir, 𝑎 ∗ 𝑏 = 𝑎 ∗ 𝑐 implica 𝑏 = 𝑐 y 𝑏 ∗ 𝑎 = 𝑐 ∗ 𝑎
implica 𝑏 = 𝑐 para 𝑎, 𝑏, 𝑐 ∈ 𝐺.

Demostración. Supóngase que 𝑎 ∗ 𝑏 = 𝑎 ∗ 𝑐. Entonces existe 𝑎−1 y

𝑎−1 ∗ (𝑎 ∗ 𝑏) = 𝑎−1 ∗ (𝑎 ∗ 𝑐)
Por la ley asociativa
(𝑎−1 ∗ 𝑎) ∗ 𝑏 = (𝑎−1 ∗ 𝑎) ∗ 𝑐
Por definición 𝑎−1 ∗ 𝑎 = 𝑒, luego
𝑒∗𝑏 = 𝑒∗𝑐
Además 𝑒 ∗ 𝑏 = 𝑏, 𝑒 ∗ 𝑐 = 𝑐, por tanto
𝑏=𝑐
Ahora supóngase 𝑏 ∗ 𝑎 = 𝑐 ∗ 𝑎. Entonces existe 𝑎−1 y
(𝑏 ∗ 𝑎) ∗ 𝑎−1 = (𝑐 ∗ 𝑎) ∗ 𝑎 −1
Por la ley asociativa
𝑏 ∗ (𝑎 ∗ 𝑎−1 ) = 𝑐 ∗ (𝑎 ∗ 𝑎−1 )

Por definición 𝑎−1 ∗ 𝑎 = 𝑒, luego

𝑏∗𝑒=𝑐∗𝑒
Además 𝑏 ∗ 𝑒 = 𝑏, 𝑐 ∗ 𝑒 = 𝑐, por tanto
𝑏=𝑐
∎

1
4. Demuestra que si (G; *) es un conjunto finito con una operación binaria * asociativa que
satisface las propiedades de cancelación a izquierda y derecha, entonces (G; *) es un grupo.

Demostración. Supongamos que (G; *) es un conjunto finito con una operación binaria *
asociativa que satisface las propiedades de cancelación a izquierda y derecha, es decir,
𝑎 ∗ 𝑏 = 𝑎 ∗ 𝑐 implica 𝑏 = 𝑐, con 𝑎, 𝑏, 𝑐 ∈ 𝐺, luego debe existir 𝑒 ∈ 𝐺 tal que
𝑒 ∗ 𝑏 = 𝑏, 𝑒∗𝑐 =𝑐
Así
𝑒∗𝑏 = 𝑒∗𝑐
y debe existir 𝑎−1 tal que 𝑎−1 ∗ 𝑎 = 𝑒, por lo que
(𝑎−1 𝑎) ∗ 𝑏 = (𝑎−1 ∗ 𝑎) ∗ 𝑐.
Además, por la propiedad asociativa
𝑎−1 ∗ (𝑎 ∗ 𝑏) = 𝑎−1 ∗ (𝑎 ∗ 𝑐)
Así que
𝑎∗𝑏 = 𝑎∗𝑐
Por lo tanto, si (G; *) es un conjunto finito con una operación binaria * asociativa que satisface
las propiedades de cancelación a izquierda y derecha, entonces existe 𝑒 ∈ 𝐺 y existe 𝑎−1 ∈ 𝐺,
es decir, el elemento neutro del conjunto 𝐺 y un inverso de cada elemento 𝑎 ∈ 𝐺.
Cumpliéndose así la definición de grupo.
∎
 Actividad 1. Grupos | Luis Gerardo Aguilar Cruz

Referencias
Fraleigh, J. B. (1988). Álgebra abstracta primer curso. CDMX: Addison-Wesley.
Rodriguez Castillo, E. (s.f.). Notas de Álgebra Moderna. Obtenido de Scribd:
https://es.scribd.com/document/248472706/Curso-de-Algebra-Moderna
UnADM. (diciembre de 2015). Álgebra Moderna I. Unidad 1. Grupos y subgrupos. Obtenido de
Aula virtual UnADM: https://unadmexico.blackboard.com
Wikibooks. (02 de febrero de 2019). Álgebra abstracta/ grupos. Obtenido de Wikibooks:
https://es.wikibooks.org/wiki/%C3%81lgebra_Abstracta/Grupos
Zaldívar, F. (2006). Introducción a la teoría de grupos. CDMX: UAM.