nLab
subgroup
Context
Group Theory
group theory
Classical groups
Finite groups
Group schemes
Topological groups
Lie groups
Super-Lie groups
Higher groups
Contents
Idea
A subgroup of a group is a “smaller” group sitting inside .
Definition
A subgroup is a subobject in the category Grp of groups: a monomorphism of groups
K \hookrightarrow G
\,.
Here is a subgroup of .
Special cases
Revised on January 31, 2012 10:02:38
by
Urs Schreiber
(82.113.99.20)