Mamd1 U1 A3 Luac
Mamd1 U1 A3 Luac
Mamd1 U1 A3 Luac
Demostración.
Verifiquemos si se cumplen las tres condiciones dadas en el teorema 1, para que un
subconjunto de un grupo sea un subgrupo.
Demostración.
Verifiquemos si se cumplen las tres condiciones dadas en el teorema 1, para que un
subconjunto de un grupo sea un subgrupo. 𝑓(𝑎) = 𝑎 ∀𝑎 ∈ 𝐴. Así, 𝐻 es cerrado bajo la
operación de grupo de 𝐺. Además se trata de una función biyectiva, es decir,
𝑓 −1 (𝑎) = 𝑎. Todas las condiciones se satisfacen y, por tanto, 𝐻 es un subgrupo de 𝐺.
1
Actividad 3. Subgrupos | Luis Gerardo Aguilar Cruz
Demostración.
1 ∈ 𝐻 entonces 1 = 𝑔−1 1𝑔 ∈ 𝐷 ≠ ∅.
Supongamos que 𝑥, 𝑦 ∈ 𝑔−1 𝐻𝑔,
entonces tenemos que ℎ, 𝑘 ∈ 𝐺 con 𝑥 = 𝑔−1 ℎ𝑔 y 𝑦 = 𝑔−1 𝑘𝑔.
Ahora 𝑦 −1 = 𝑔−1 𝑘 −1 𝑔,
entonces 𝑥𝑦 −1 = 𝑔−1 ℎ𝑔 ∙ 𝑔−1 𝑘 −1 𝑔 = 𝑔−1 ℎ𝑘 −1 𝑔 ∈ 𝐷.
Por lo tanto 𝐷 ≤ 𝐺.
∎
Nota: recuerda que siempre debes aportar las referencias que consultes en formato APA.
3
Referencias
Smith, G., & Tabachnikova, O. (2000). Topics in Group Theory. London: Springer-Verlag.
UnADM. (diciembre de 2015). Álgebra Moderna I. Unidad 1. Grupos y subgrupos. Obtenido de
Aula virtual UnADM: https://unadmexico.blackboard.com
Zaldívar, F. (2006). Introducción a la teoría de grupos. CDMX: UAM.