Gruppo
Un insieme X costituisce un gruppo se
è possibile definire una legge di composizione interna binaria
tale che rispetto ad essa, valga la proprietà associativa
esista l'elemento neutro
sia possibile determinare l'inverso per ogni elemento dell'insieme.
Inoltre se, rispetto a tale legge,
vale anche la proprità commutativa,
esso dicesi gruppo abeliano.