Category:Definitions/Subgroups

From ProofWiki
Jump to navigation Jump to search

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$.