Explore relationships

Proper subgroup

Subset of a group that forms a group itself Algebraic structure → Group theoryGroup theory Basic notions Subgroup Normal subgroup Group action Quotient group (Semi-)direct product Direct sum Free product Wreath product Group homomorphisms kernel image simple finite infinite continuous multiplicative additive cyclic abelian dihedral nilpotent solvable Glossary of group theory List of group theory topics Finite groups Cyclic group Zn Symmetric group Sn Alternating group An Dihedral group Dn Quaternion group Q Cauchy's theorem Lagrange's theorem Sylow theorems Hall's theorem p-group Elementary abelian group Frobenius group Schur multiplier Classification of finite simple groups cyclic alternating Lie type sporadic Discrete groupsLattices Integers ( Z {\displaystyle \mathbb {Z} } ) Free group Modular groups PSL(2, Z {\displaystyle \mathbb {Z} } )SL(2, Z {\displaystyle \mathbb {Z} } ) Arithmetic group Lattice Hyperbolic group Topological and Lie groups Solenoid Circle General linear GL(n) Special linear SL(n) Orthogonal O(n) Euclidean E(n) Special orthogonal SO(n) Unitary U(n) Special unitary SU(n) Symplectic Sp(n) G2 F4 E6 E7 E8 Lorentz Poincaré Conformal Diffeomorphism Loop Infinite dimensional Lie group O(∞)SU(∞)Sp(∞) Algebraic groups Linear algebraic group Reductive group Abelian variety Elliptic curve vte In group theory, a branch of mathematics, a subset of a group G is a subgroup of G if the members of that subset form a group with respect to the group operation in G. Formally, given a group G under a binary operation ∗, a subset H of G is called a subgroup of G if H also forms a group under the operation ∗.

Use + to expand a branch. Click a topic name to open its summary.