A subset of a group that itself forms a group under the same binary operation, inheriting the identity and inverses from the parent group.

Principle

Identify closed subsets under the group operation that contain the identity and are closed under taking inverses and the operation, so the subgroup axioms hold without altering the ambient operation.

Demonstration

In the group of integers under addition (Z, +), the set of even integers 2Z is a subgroup because it contains 0, is closed under addition, and closed under additive inverses.

Misapplication

Calling an arbitrary subset a subgroup without verifying closure or presence of inverses—e.g., the positive integers in (Z, +) fail to be a subgroup because they do not contain 0 or inverses.

Consequence

Subgroups allow one to study local structure inside a group, define cosets, index, and restricted actions; they form the building blocks for normality, quotient constructions, and group actions.

Reversal

A subset that is not closed under the operation or lacks the identity or inverses is not a subgroup and cannot serve as a group in the ambient operation.

Boundary

Applies to subsets of a given group; the notion excludes subsets which require a different operation to be a group, and requires the same operation and the same identity element as the ambient group.

Semantic Tension

Confusion arises with submonoids or subsets closed only under the operation but missing inverses; subgroups require full group axioms, distinguishing them from mere closed subsets or generating sets.

Synthesis

A subgroup is a part of a group that itself satisfies the group axioms under the inherited operation, enabling focused analysis of structure via containment and index.