Subgrupo

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