Este conjunto hereda una operación de grupo (a veces llamada multiplicación coset, o adición coset) del grupo original g: (GN) • (hn) = (GH) n para todas las g y h en g. Esta definición está motivada por la idea (en sí mismo un ejemplo de consideraciones estructurales generales descritas anteriormente) que el mapa g → G / n que asocia a cualquier elemento g su coset gn ser un grupo homomorfismo, o por consideraciones abstractas generales llamadas propiedades universales. El coset en = n sirve como la identidad en este grupo, y el inverso de gn en el grupo cociente Es (GN)-1 = (G 1) n. E [']
Qué grupo incluye el inverso de gn?
grupo cociente