Vamos a comprobar que las cosets (izquierda) de un subgrupo [math] S [/ math] de [math] G [/ math] dividen el grupo [math] G [/ math]. Debemos mostrar dos cosas: primero, que las cosets distintas no se cruzan, y segundo, la unión de las cosets es equivalente a [math] G [/ math]. Esta última propiedad se mantiene porque claramente la unión de las cosets está contenida en [math] G [/ math], y cualquier elemento [math] g [/ math] de [math] G [/ math] puede escribirse como [math] gi [/ math] donde [math] i [/ math] es la identidad (entonces [math] G [/ math] está contenido en la unión de las cosets).
Ahora, verifiquemos la propiedad anterior considerando un elemento [math] x [/ math] que puede escribirse como [math] g_1s_i [/ math] y [math] g_2s_j [/ math] para algunos [math] s_i [/ math] y [math] s_j [/ math] en [math] S [/ math]. Para [matemática] s \ en S [/ matemática] arbitraria, [matemática] g_1s = g_1s_is_i ^ {- 1} s [/ matemática] = [matemática] g_2s_js_i ^ {- 1} s = g_2s_k [/ matemática] para algunos [ matemáticas] s_k \ en S [/ matemáticas]. Por lo tanto, [math] g_1S [/ math] está contenido en [math] g_2S [/ math]. Un argumento análogo muestra que [math] g_2S [/ math] está contenido en [math] g_1S [/ math], y así [math] g_1S = g_2S [/ math]. Por lo tanto, si dos cosets se cruzan en absoluto, no son distintas.
Tenga en cuenta que hemos mostrado un resultado un poco más general de lo que creo que estaba preguntando el OP, es decir, que cosets particiona un grupo [math] G [/ math]. Los grupos de cocientes son un grupo de cosets, donde el subgrupo [matemática] S [/ matemática] es normal.
- A y B pueden hacer un trabajo en 30 días, pero B y C pueden hacerlo en 20 días. Si A trabaja durante 5 días y B lo toma y trabaja durante 15 días, ¿cuántos días le habrá tomado a cada A, B y C completar el trabajo completo?
- ¿Por qué la operación en estrella de Kleene en el conjunto vacío es igual a la cadena vacía, mientras que la concatenación del conjunto vacío en otro conjunto es igual al conjunto vacío?
- ¿Puedes refutar matemáticamente la multa por exceso de velocidad para esta situación?
- Si toma 3 manzanas de 5 manzanas, ¿cuántas manzanas tiene?
- ¿Cuál es la ley asociativa de un número complejo?