1.6.90 Fields, Groups, Rings

Condition: a group’s community is a subgroup generated by switches, that is, elements of the species \ (x y x^{-1} y^{-1} \). To prove that the commune is a normal subgroup.