Abstract Algebra/Group Theory/Subgroup/Definition of a Subgroup

Let G be a group with binary operation $\ast$

Subgroup H of Group G

1. Template:Anchoris a [[../../Group/Definition of a Group|group]]
2. Template:Anchoris a subset of G
3. Template:Anchorshares $\ast$ with G