Magma (matematica): differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m Inserimento automatico del portale matematica |
m creato collegamento multimediale elementi |
||
Riga 1:
{{nota disambigua|la struttura algebrica utilizzata in [[teoria delle categorie]]|[[Gruppoide (teoria delle categorie)]]}}
Un '''magma''' (o '''gruppoide''') è un [[insieme (insiemistica)|insieme]] M in cui è definita una singola [[operazione binaria]] che ad ogni coppia di [[Elemento (insiemistica)|elementi]] a, b di M associa l'elemento a*b. L'unico [[assioma]] soddisfatto dall'operazione in un magma è quello di ''chiusura'':
:per ogni a, b appartenenti a M, l'elemento a*b appartiene ancora a M
| |||