### Normal Subgroups

Let be an abelian group, the composition in being denoted multiplicatively. Let be any subgroup of . If is an element of , then is a right coset of in and is a left coset of in . Also is abelian, therefore we must have . However, it is possible that is not abelian, yet […]