Definition:Subgroup

Definition
Let $$\left({G, \circ}\right)$$ be a group.

Then $$\left({H, \circ}\right)$$ is a subgroup of $$\left({G, \circ}\right)$$ iff:


 * $$\left({H, \circ}\right)$$ is a group;
 * $$H$$ is a subset of $$G$$.

This is represented symbolically as $$H \le G$$.

Note that in order for $$\left({H, \circ}\right)$$ to be a subgroup of $$\left({G, \circ}\right)$$, the operation on $$G$$ and $$H$$ must also be the same.
 * In the case of $$\left({G, \circ}\right)$$ and $$\left({H, \circ}\right)$$, the operation is $$\circ$$.

One may verify if a subset of a group $$G$$ is a subgroup by using either the one-step or two-step subgroup test or by checking for each individual group property.