Sottogruppo

Questa voce o sezione sull'argomento matematica non cita le fonti necessarie o quelle presenti sono insufficienti.

---

Puoi migliorare questa voce aggiungendo citazioni da fonti attendibili secondo le linee guida sull'uso delle fonti. Segui i suggerimenti del progetto di riferimento.

Un sottoinsieme H di un gruppo G è un sottogruppo se è un gruppo con l'operazione definita in G.

Ogni gruppo G contiene almeno due sottogruppi: il gruppo G stesso, ed il sottogruppo banale formato unicamente dall'elemento neutro di G (naturalmente questi coincidono se ${\displaystyle G}$ ha un solo elemento).

Un sottogruppo si dice proprio se H è un sottoinsieme proprio di G.