El grupo cociente...
En G podés definir la siguiente relación que resulta de equivalencia:
está relacionado con
si
Al conjunto de clases de equivalencia de esa relación se lo nota G/T y se lo llama grupo cociente (siempre que G sea conmutativo), porque se puede definir una multiplicación de forma que resulte ser un grupo:
Si
y
son las clases de equivalencia de
e
respectivamente, la multiplicación se define por
.
