Diferencia entre revisiones de «Matemáticas/Teoría de grupos/Clases laterales»
Contenido eliminado Contenido añadido
Agrego contenido |
|||
Línea 46:
{{Eqn|<math>[G:H]\,\!</math>}}
Por todo lo anterior, tenemos que se cumple el siguiente hecho
<font size=3>'''Teorema 3:'''</font> ''Si <math>G</math> es un grupo finito y <math>H</math> es un subgrupo de <math>G</math>, entonces''
{{Eqn|<math>[G:H]=|G|/|H|</math>,}}
''así que el orden de todo subgrupo <math>H</math> de <math>G</math> es divisor del orden de <math>G</math>.''
| |||