Brian Mere's Digital Garden
Subgroup Generator
Definition
If
A
⊆
G
for
Group
G
then define:
⟨
A
⟩
=
⋂
A
⊆
H
:
H
≤
G
H
This is called the
subgroup of
G
generated by
A
.