Category:Definitions/Subgroups

This category contains definitions related to Subgroups.
Related results can be found in Category:Subgroups.

Let $\struct {G, \circ}$ be an algebraic structure.

$\struct {H, \circ}$ is a subgroup of $\struct {G, \circ}$ if and only if:

$(1): \quad \struct {H, \circ}$ is a group

$(2): \quad H$ is a subset of $G$.