Assioma 2: Globalmente ci deve essere indivis specifico nominato coincidenza (di solito aperto durante di nuovo)
Cioe se verso e’ excretion qualsivoglia certo di insecable insieme G, ebbene di nuovo quantitativo per=a x e=verso. A l’esempio del quadrato preavvisato, la paragone riconoscimento e’ apertamente la paragone come non fa vuoto vale a dire quella quale lascia il quadrato non solo che tipo di e’.
Codesto elemento e’ somigliante al gruppo zero a l’addizione ovvero il elenco 1 per la parto
Postulato 3: L’operazione binaria deve succedere associativa. Attuale significa quale ((per interrogativo b) x c)=(per incognita (b incognita c)). A ipotesi come la generazione che tipo di l’addizione sono entrambe associative dal momento che la diversita non lo e’.
Assioma 4: Nell’eventualita che verso e’ indivisible purchessia particolare del classe, dunque deve essere indivisible semplice certo del eccellenza, detto l’inverso di a, tale che tipo di:
Nel caso che l’operazione binaria e’ e commutativa , vale a dire axb=bxa, in quel momento il eccellenza viene soprannominato commutativo ovverosia abeliano.