Abbiamo qui una struttura un po' piu' complessa che ci e' suggerita dall'insieme Z con l'operazione di addizione od anche dall'insieme Q-{0} (Insieme dei razionali escluso il numero 0) con l'operazione di moltiplicazione Si definisce gruppo (A ; ) un insieme di enti A su cui sia definita un' operazione che goda delle seguenti proprieta':
Se il gruppo gode della proprieta' commutativa allora il gruppo si dice commutativo o abeliano Se il gruppo ha un numero finito di elementi allora si chiama gruppo finito e dal numero n dei suoi elementi si dice anche gruppo di ordine n Nella prossima pagina qualche esempio servira' a chiarire meglio in concetto |