He comenzado a mirar cociente de grupos, así que no sé si esta pregunta va a tener sentido...
En este artículo de wiki, G/H se define como el conjunto de la izquierda cosets de HG, sin ninguna referencia a si existe o no H es normal. En el grupo cociente artículo, sin embargo, la definición de está indicado sólo para al H es un subgrupo normal de G.
- Lo que cuentas de la discrepancia entre los dos artículos?
- Son cociente de grupos sólo se define cuando se H◃G?
- Si uno está tratando de determinar lo G/H está explícitamente, esta se verá afectada si H es normal o no? Hay advertencias que debo anticipar si H es no normal?
Quiero señalar que me llegó a través de una similar el artículo, pero no entiendo todo.