Subgrupo

Subgrupo estas nocio en la teorio de grupoj. Subgrupo $(H, \circ)$ de grupo $(G, \circ)$ estas nemalplena subaro $H$ de $G$ tiel ke $(H, \circ)$ mem ankaŭ estas grupo. Tion oni notas tiel ĉi: $H \le G$.