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

Quotient Group