👉 In mathematics, a subgroup is a subset of a group that is closed under the group operation and has an identity element. It consists of elements that are also in the original group (i.e., they have inverses). The set of all subgroups of a given group forms a group itself called the quotient group or factor group.