In altre parole, i gruppi semplici sono gruppi che contengono il minimo numero di sottogruppi normali. I gruppi semplici sono importanti in teoria dei gruppi, specialmente nella teoria dei gruppi finiti, perché formano i "blocchi primari" per la costruzione di ogni gruppo finito.
Esempi
Un gruppo ciclico è semplice se e solo se è primo: infatti tutti i sottogruppi di sono normali, e corrispondono ai divisori di .
Il gruppo dei numeri interi non è semplice, perché ad esempio i numeri pari formano un sottogruppo normale. Più in generale, un gruppo abeliano è semplice se e solo se è ciclico di ordine primo.
Il più piccolo esempio di gruppo semplice non abeliano è il gruppo alternante di ordine . Più in generale, ogni gruppo alternante è semplice per .