A subgroup is a special Subset of a larger Group. It carries the group's structure within its own elements, satisfying all group axioms under the same operation. See also Ring Field Homomorphism Coset