Diferencia entre revisiones de «Matemáticas/Teoría de grupos/Clases laterales»
Contenido eliminado Contenido añadido
Línea 25:
Llamaremos clase '''lateral izquierda''' de <math>a</math> y '''clase lateral derecha''' de <math>a</math> según el subgrupo <math>H</math> a los conjuntos <math>aH</math> y <math>Ha</math>, respectivamente. Al conjunto cociente de todas las clases laterales <math>aH</math> (con <math>a\in G</math>) lo representaremos por <math>\left(G/H\right)_i</math>, mientras que al conjunto cociente de todas las clases laterales <math>Ha</math> lo representaremos por <math>\left(G/H\right)_d</math>
Tanto <math>aH</math> como <math>Ha</math> tienen cardinal igual a <math>|H|</math>, pues, por ejemplo, la aplicación
{{Eqn|<math>
f:aH & \longrightarrow & H\\
ah & \mapsto & h
\end{array}</math>}}
| |||