Normal subgroup of order two is central
ID: normal-subgroup-of-order-two-is-central
If is a normal subgroup of a group , conjugation by any element of preserves and fixes . It must therefore fix as well. Thus lies in the center of a group. This fact can turn a small normal subgroup into a commuting factor without assuming the whole group is abelian.
New to topics? Read the docs here!