sottogruppo
s. m. [comp. di sotto- e gruppo]. – Ciascuno dei gruppi minori in cui un gruppo è o può essere suddiviso: gruppi e s. sociali, economici, chimici. In matematica, sottoinsieme G di un gruppo G′, che, con la stessa operazione di G′, costituisce a sua volta un gruppo (quindi contiene il prodotto di due suoi elementi qualunque, l’inverso di ogni suo elemento e l’elemento neutro): per es., i numeri interi relativi formano un sottogruppo del gruppo dei numeri reali (rispetto all’operazione di addizione); s. banali di un gruppo G, lo stesso G e il gruppo costituito dal solo elemento neutro di G; s. normali di un gruppo G, sottogruppi di G che godono di particolari proprietà e che sono legati al concetto di omomorfismo fra gruppi.