Subgroups Generated by Subsets

Subgroup Generated by Subsets

Let be a group and a non-empty subset. The subgroup generated by is This is indeed a subgroup: it contains (alternatively we could include the empty set in the definition and define the empty product to be 1), it is clearly closed under multiplication and inverses.

e.g. The symmetric group is generated by adjacent transpositions.

Prop It is the smallest subgroup containing with respect to inclusion.

Commutator and Commutator Subgroup

The commutator of two elements and in a group G is the element . The commutator subgroup of is the group generated by all commutators:

Prop If two elements do not commute, their commutator is not the identity.

Prop is a normal subgroup of .

Prop is abelian.

Prop Universal Property of Abelianisation

Centre

Centre

The center of a group is the set of elements that commute with every element of . That is

Prop The centre is a normal subgroup of :

Lemma For any group , is cyclic iff is abelian.