Licenciatura en Matemáticas
Asignatura: Algebra Moderna 1
Unidad 1.- Grupos y Subgrupos
Actividad 3.- Sub Grupos
Alumna: Elda Josefina Vázquez Calderón
Grupo: MT-MAMD1-2301-B2-001
Docente: Lic. Miguel Ángel Márquez Hidalgo
Actividad 3. Sub Grupos.
1.- 𝑆𝑒𝑎 𝐻 𝑢𝑛 𝑠𝑢𝑏𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜 𝑑𝑒𝑙 𝑔𝑟𝑢𝑝𝑜 |𝐺. 𝑃𝑟𝑢𝑒𝑏𝑒 𝑞𝑢𝑒 𝐻 𝑒𝑠 𝑠𝑢𝑏𝑔𝑟𝑢𝑝𝑜 𝑑𝑒 𝐺 𝑠𝑖 𝑦 𝑠𝑜𝑙𝑜 𝑠𝑖 𝐻 ≠ ∅
𝑦 𝑝𝑎𝑟𝑎 𝑐𝑢𝑎𝑙𝑒𝑠𝑞𝑢𝑖𝑒𝑟𝑎 𝑔1 , 𝑔2 ∈ 𝐻, 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑔1 𝑔2−1 ∈ 𝐻
Para demostrar que H es un subgrupo de G si y solo si H≠∅ y para cualquiera 𝑔1 𝑔2−1 ∈ 𝐻 , entonces
𝑔1 , 𝑔2 ∈ 𝐻, debemos demostrar tanto la implicación directa como la recíproca. A continuación, se
muestra la demostración para ambos lados de la implicación.
Demostración de la implicación directa:
Supongamos que H es un subgrupo de G. Entonces, por definición, H es un subconjunto de G que
cumple con las siguientes propiedades:
El elemento neutro de G está en H.
Para todo g ∈ H, el inverso de g también está en H.
Para cualquier 𝑔1 , 𝑔2 ∈ 𝐻, 𝑔1 , 𝑔2 también está en H.
En particular, H no puede ser vacío ya que, de lo contrario, no cumpliría la primera propiedad. Por lo
tanto, H es no vacío.
Ahora, tomemos cualquier par de elementos 𝑔1 , 𝑔2 en H. Como H es un subconjunto de G, 𝑔1 , 𝑔2
también son elementos de G. Entonces, por la tercera propiedad de los subgrupos, 𝑔1 𝑔2−1 también está
en H. Por lo tanto, hemos demostrado que si H es un subgrupo de G, entonces H≠∅ y para cualquiera
𝑔1 , 𝑔2 ∈ 𝐻, entonces 𝑔1 𝑔2−1 ∈ 𝐻 .
Demostración de la implicación recíproca:
Supongamos ahora que H es un subconjunto no vacío de G que cumple con la propiedad de que para
cualquier caso 𝑔1 , 𝑔2 ∈ 𝐻, 𝑔1 𝑔2−1 ∈ 𝐻 .
Primero, debemos demostrar que H contiene el elemento neutro de G. Sea h cualquier elemento en H.
Entonces, como H no está vacío, podemos encontrar el inverso de h, que es ℎ−1 , en H. Luego,
aplicando la propiedad dada para 𝑔1 , 𝑔2 , tenemos que ℎℎ−1 = e está en H. Por lo tanto, H contiene el
elemento neutro de G.
Ahora, tomemos cualquier g ∈ H. Debe haber un inverso para g en G, que denotamos por 𝑔−1 . Como H
cumple con la propiedad de que para cualquier 𝑔1 , 𝑔2 ∈ 𝐻, 𝑔1 𝑔2−1 ∈ 𝐻 , podemos tomar 𝑔1 = g y 𝑔2
= 𝑔−1 para obtener 𝑔𝑔−1 = e ∈ H. Por lo tanto, el inverso de cualquier elemento en H también está en
H.
Finalmente, tomemos cualquier par de elementos 𝑔1 , 𝑔2 ∈ 𝐻. Deben tener inversos 𝑔1−1 y 𝑔2−1 ,
−1
respectivamente, que también están en H. Entonces, podemos escribir 𝑔1 , 𝑔2 = 𝑔1 (𝑔2−1 ) y, por lo
tanto, 𝑔1 , 𝑔2 ∈ 𝐻. Por lo tanto, H está cerrado bajo la operación de G y, por lo tanto, es un subgrupo
de G.
2.- 𝑆𝑒𝑎 𝐺 = ℂ − {0}𝑦 𝑠𝑒𝑎 𝐻 = {𝑎 + 𝑏𝑖 ∈ 𝐺|𝑎2 + 𝑏 2 = 1}. 𝑀𝑢𝑒𝑠𝑡𝑟𝑒 𝑞𝑢𝑒 𝐻 𝑒𝑠 𝑠𝑢𝑏𝑔𝑟𝑢𝑝𝑜 𝑑𝑒 𝐺
𝑣𝑒𝑟𝑖𝑓𝑖𝑐𝑎𝑛𝑑𝑜 𝑙𝑎𝑠 𝑡𝑟𝑒𝑠 𝑐𝑜𝑛𝑑𝑖𝑐𝑖𝑜𝑛𝑒𝑠 𝑑𝑒 𝑠𝑢𝑏𝑔𝑟𝑢𝑝𝑜
Para demostrar que H es un subgrupo de G, debemos verificar las tres condiciones de subgrupo:
El elemento neutro de G está en H.
Para todo h ∈ H, el inverso de h también está en H.
Para cualquier ℎ1 , ℎ2 ∈ 𝐻, ℎ1 , ℎ2 también está en H.
Veamos cada una de estas condiciones:
El elemento neutro de G es 1, ya que G es el conjunto de todos los números complejos excepto el cero.
¿Está 1 en H? Sí, ya que si a + bi es un número complejo tal que a² + b² = 1, entonces 1² + (0)² = 1², por
lo que 1 pertenece a H.
Ahora, debemos demostrar que para todo h ∈ H, el inverso de h también está en H. Sea h = a + bi ∈ H.
El inverso de h es 1/h, que es igual a (a - bi)/(a² + b²) ya que (a + bi)(a - bi) = a² + b² = 1. Para demostrar
que 1/h también está en H, debemos verificar que (a - bi)² + (b + ai)² = 1. Podemos expandir los
términos y simplificar:
(a - bi)² + (b + ai)² = (a² - 2abi + b²) + (b² + 2abi + a²)i = 2a² + 2b² = 2
Por lo tanto, 1/h es un número complejo con norma igual a 1, y por lo tanto pertenece a H.
Finalmente, debemos demostrar que para cualquiera ℎ1 , ℎ2 ∈ 𝐻, ℎ1 , ℎ2 también está en H. Sea ℎ1 = a1
+ b1i y ℎ2 = a2 + b2i dos números complejos en H. Entonces:
(ℎ1 , ℎ2 )² = (a1a2 - b1b2 + (a1b2 + a2b1)i)² = (a1a2 - b1b2)² + (a1b2 + a2b1)² = a1²a2² - 2a1a2b1b2 +
b1²b2² + a1²b2² + 2a1a2b1b2 + a2²b1² = (a1² + b1²)(a2² + b2²) = 1
Por lo tanto, ℎ1 , ℎ2 es un número complejo con norma igual a 1, y por lo tanto pertenece a H.
Hemos demostrado que H es un subgrupo de G, ya que cumple con las tres condiciones de subgrupo.
3.-𝑆𝑒𝑎 𝑔 𝑢𝑛 𝑔𝑟𝑢𝑝𝑜 𝑓𝑖𝑛𝑖𝑡𝑜 𝑦 𝐻 ⊆ 𝐺 𝑡𝑎𝑙𝑒𝑠 𝑞𝑢𝑒 𝑝𝑎𝑟𝑎 𝑐𝑢𝑎𝑙𝑒𝑠𝑞𝑢𝑖𝑒𝑟𝑎 𝑔1 , 𝑔2 ∈ 𝐻. 𝑃𝑟𝑢𝑒𝑏𝑒 𝑞𝑢𝑒 𝐻
𝑒𝑠 𝑠𝑢𝑏𝑔𝑟𝑢𝑝𝑜 𝑑𝑒 𝐺
Para demostrar que H es un subgrupo de G, debemos verificar las tres condiciones de subgrupo:
El elemento neutro de G está en H.
Para todo h ∈ H, el inverso de h también está en H.
Para cualquier ℎ1 , ℎ2 ∈ 𝐻, ℎ1 , ℎ2 también está en H.
Veamos cada una de estas condiciones:
El elemento neutro de G está en H ya que por hipótesis, H es un subconjunto de G.
Ahora, debemos demostrar que para todo h ∈ H, el inverso de h también está en H. Sea h ∈ H.
Entonces, como G es un grupo, sabemos que h tiene un inverso 𝑔−1 en G. Como H es un subconjunto
de G, sabemos que 𝑔−1 ∈ H. Por lo tanto, el inverso de h está en H.
Finalmente, debemos demostrar que para cualquiera ℎ1 , ℎ2 ∈ 𝐻, 𝑔1 , 𝑔2 también está en H. Sea ℎ1 , ℎ2
∈ H. Entonces, como G es un grupo, sabemos queℎ1 , ℎ2 también está en G. Como H es un subconjunto
de G, sabemos que ℎ1 , ℎ2 ∈ H.
Hemos demostrado que H es un subgrupo de G, ya que cumple con las tres condiciones de subgrupo.
4.- 𝑆𝑒𝑎 𝐺 𝑔𝑟𝑢𝑝𝑜 𝐴𝑏𝑒𝑙𝑖𝑎𝑛𝑜 𝑦 𝑠𝑒𝑎 𝐻 = {𝑥 ∈ 𝐺 |𝑥 2 = 𝑒}. 𝑀𝑢𝑒𝑠𝑡𝑟𝑒 𝑞𝑢𝑒 𝐻 𝑒𝑠 𝑠𝑢𝑏𝑔𝑟𝑢𝑝𝑜 𝑑𝑒 𝐺
𝑣𝑒𝑟𝑖𝑓𝑖𝑐𝑎𝑛𝑑𝑜 𝑙𝑎𝑠 𝑡𝑟𝑒𝑠 𝑐𝑜𝑛𝑑𝑖𝑐𝑖𝑜𝑛𝑒𝑠 𝑑𝑒 𝑠𝑢𝑏𝑔𝑟𝑢𝑝𝑜. ¿ 𝐸𝑙 𝑟𝑒𝑠𝑢𝑙𝑡𝑎𝑑𝑜 𝑠𝑒 𝑠𝑖𝑔𝑢𝑒 𝑐𝑜𝑚𝑝𝑙𝑖𝑒𝑛𝑑𝑜 𝑠𝑖 𝐺
𝑛𝑜 𝑒𝑠 𝐴𝑏𝑒𝑙𝑖𝑎𝑛𝑜?
Para demostrar que H es un subgrupo de G, debemos verificar las tres condiciones de subgrupo:
El elemento neutro de G está en H.
Para todo h ∈ H, el inverso de h también está en H.
Para cualesquiera ℎ1 , ℎ2 ∈ 𝐻, ℎ1 , ℎ2 también está en H.
Veamos cada una de estas condiciones:
El elemento neutro de G es e y está en H, ya que 𝑒 2 = e.
Ahora, debemos demostrar que para todo h ∈ H, el inverso de h también está en H. Sea h ∈ H.
Entonces, como h² = e, sabemos que h es su propio inverso. Por lo tanto, ℎ−1 = h también está en H.
Finalmente, debemos demostrar que para cualesquiera ℎ1 , ℎ2 ∈ 𝐻, ℎ1 , ℎ2 también está en H. Sea
ℎ1 , ℎ2 ∈ 𝐻. Entonces, (ℎ1 , ℎ2 )² = ℎ12 , ℎ22 = e*e = e. Por lo tanto, ℎ1 , ℎ2 también está en H.
Hemos demostrado que H es un subgrupo de G, ya que cumple con las tres condiciones de subgrupo.
Además, como G es un grupo Abeliano, la multiplicación de elementos es conmutativa, por lo que la
condición 3 también se cumple automáticamente para cualquier par de elementos en H.
¿El resultado se sigue cumpliendo si G no es Abeliano?
No, el resultado no se cumple si G no es Abeliano. En general, si G no es Abeliano, el conjunto
H = {x ∈ G | x²2 = e} no necesariamente es un subgrupo de G.
Referencias:
UnADM Matematicas/ Algebra Moderna 1/Contenido Nuclear Unidad 1.- Grupos y Subgrupos/México, D.F.
Diciembre 2015
Zaldívar. F. (2006). Introducción a la Teoría de Grupos. Primera edición. México: Sociedad Matemática
Mexicana.
Rotman. J. J. (2000). A First Course in Abstract Algebra. Second edition. United States of America: Prentice
Hall.
Fraleigh. J. B. (1994). A First Course in Abstract Algebra. United States of America: Addison-Wesley
Publishing Company.
Hungerford T. W. (1974) Algebra. New York: Springer-Verlag.
