Subgroup

- Pure Mathematics -
Algebra Dictionary
Definition
A subset of a group that itself forms a group under the same binary operation, inheriting the identity and inverses from the parent group.