Subgroup

The group product of elements in commuting subgroups generate a subgroup

Given two subgroups whose elements commute so that for any and , the set is a subgroup. group

Proof

Clearly . Let so that and where and . Then . Since it commutes with so that where and , hence . Therefore is a subgroup by One step subgroup test.

---

tidy | en | sembr