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

Let G be a group with binary operation

- Subgroup H of Group G

- is a group
- is a subset of G
- shares with G

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

- Subgroup H of Group G

- is a group
- is a subset of G
- shares $\ast$ with G