Diferencia entre revisiones de «Matemáticas/Teoría de grupos/Subgrupos»
Contenido eliminado Contenido añadido
Línea 1:
==Subgrupos==
<font size=3><font size=3>'''Definición 1.
Es claro que la identidad de <math>H</math> es la misma que la identidad de <math>G</math>, pues éste es el único elemento <math>a</math> de <math>G</math> que cumple <math>aa=a</math>. También los inversos de los elementos de <math>H</math> son los mismos en <math>H</math> que en <math>G</math>.
Línea 10:
<font size=3>'''Teorema 1.
'''Demostración:''' La implicación es obvia. Si <math>H</math> es un subconjunto no vacío de <math>G</math> tal que <math>gh^{-1}\in H</math> para todo <math>g,h\in H</math>, entonces, en particular, <math>1=gg^{-1}\in H</math> (el elemento <math>g</math> existe, pues <math>H</math> es no vacío). Luego también <math>1g^{-1}=g^{-1}\in H</math>. Además, puesto que <math>g(h^{-1})^{-1}=gh\in G</math>, la operación binaria de <math>G</math> es también operación binaria en <math>H</math>, lo que demuestra que <math>H</math> es un subgrupo de <math>G</math>.
|