Magma (matematica): differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica
Riga 40:
* ''[[algebra alternativa|alternativo]]'' se soddisfa le identità ''xx'' * ''y'' = ''x'' * ''xy'' e ''x'' * ''yy'' = ''xy'' * ''y'';
* con ''[[associatività della potenza]]'' se il sottomagma generato da ogni suo elemento è associativo;
* ''[[semigruppoproprietà di cancellazione|cancellativo a sinistra]]'' se soddisfa l'identità ''xxy'' *= ''yzxz'' =implica ''xyy'' *= ''z'' ([[associativo|associatività]]);
* ''cancellativo a destra'' se ''yx'' = ''zx'' implica ''y'' = ''z''
* ''cancellativo'' se è cancellativo a sinistra e a destra
* ''[[semigruppo]]'' se soddisfa l'identità ''x'' * ''yz'' = ''xy'' * ''z'' ([[associatività]]);
* ''semigruppo con zeri a sinistra'' se soddisfa l'identità ''x'' = ''xy'';
* ''semigruppo con zeri a destra'' se soddisfa l'identità ''x'' = ''yx'';