The map is a surjective group homomorphism with kernel , so is a normal subgroup and . The subgroup is not normal: for a translation ,which leaves when and . Finally, is a surjective homomorphism onto with kernel , so and the quotient group .
Articles by others on the same topic
There are currently no matching articles.