A Subgroup is normal if for any we have .
We write

Quotient Group