If $G$ is a group, a subset $H\subseteq G$ is a **subgroup** of $G$ if the binary operation of $G$ restricts to a binary operation on $H$, and $H$ is a group for this induced operation.

Equivalently, the subset $H$ must satisfy the following conditions:

**Authors:**

**Knowl status:**

- Review status: reviewed
- Last edited by John Jones on 2018-08-06 04:03:10

**Referred to by:**

**History:**(expand/hide all)

- 2018-08-06 04:03:10 by John Jones (Reviewed)