A group may contain other groups within it. For example, the group (with respect to addition) contains the group , in the sense that and that the addition in is the same as the addition in restricted to .

On the face of it, to check whether a subset of a group is a subgroup, we have to check the four axioms for groups. In fact, this can be reduced to checking two conditions:

Edmund F Robertson

11 September 2006