Un magma (o gruppoide) è un insieme ${\displaystyle M}$ in cui è definita una singola operazione binaria ${\displaystyle *}$ che a ogni coppia di elementi ${\displaystyle a}$ e ${\displaystyle b}$ di ${\displaystyle M}$ associa l'elemento ${\displaystyle a*b.}$ L'unico assioma soddisfatto dall'operazione in un magma è quello di chiusura:

per ogni ${\displaystyle a,b\in M,}$ l'elemento ${\displaystyle a*b}$ appartiene ancora a ${\displaystyle M}$

che potrebbe tra l'altro essere tralasciato nella definizione, una volta stabilito che l'operazione è una funzione del tipo ${\displaystyle M\times M\to M.}$

I magmi costituiscono una struttura algebrica molto semplice e generale che gode di poche proprietà; essa è utile per accomunare in un'unica famiglia le strutture con una singola operazione binaria.

Il termine magma è stato introdotto in matematica da Bourbaki nel volume sulle strutture algebriche insieme alla nozione di legge di composizione interna. Il termine gruppoide è anche utilizzato per definire questa struttura. Si noti tuttavia che il termine gruppoide è più comunemente usato con un secondo significato, per denotare un altro tipo di struttura algebrica e una categoria.

• Quasigruppo: magma nel quale è definita ovunque la divisione (si veda anche quadrato latino).
• Loop: quasigruppo dotato di elementi unità.
• Semigruppo: magma con l'operazione associativa.
• Monoide: semigruppo dotato di elemento unità.
• Semigruppo abeliano: semigruppo con l'operazione commutativa.
• Monoide abeliano: monoide con l'operazione commutativa.
• Semireticolo: semigruppo abeliano con l'operazione idempotente.
• Gruppo: monoide nel quale ogni elemento possiede un elemento inverso, o equivalentemente, un loop associativo.
• Gruppo abeliano: gruppo con l'operazione commutativa.

Un magma ${\displaystyle (S,*)}$ viene chiamato

• mediale se soddisfa l'identità xy * uz = xu * yz (verranno omessi gli asterischi "secondari" per non appesantire la notazione: l'identità appena espressa con precisione sarebbe (x * y) * (u * z) = (x * u) * (y * z) per ogni x, y, u, z in S);
• semimediale a sinistra se soddisfa l'identità xx * yz = xy * xz;
• semimediale a destra se soddisfa l'identità yz * xx = yx * zx;
• semimediale se è semimediale a sinistra e a destra;
• distributivo a sinistra se soddisfa l'identità x * yz = xy * xz;
• distributivo a destra se soddisfa l'identità yz * x = yx * zx;
• autodistributivo se è distributivo a sinistra e a destra;
• commutativo se soddisfa l'identità xy = yx;
• idempotente se soddisfa l'identità xx = x;
• unipotente se soddisfa l'identità xx = yy;
• zeropotente se soddisfa l'identità xx * y = yy * x = xx;
• 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;
• cancellativo a sinistra se xy = xz implica y = z;
• 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;
• semigruppo con moltiplicazione a zero se soddisfa l'identità xy = uv;
• unario a sinistra se soddisfa l'identità xy = xz;
• unario a destra se soddisfa l'identità yx = zx;
• trimediale se ogni terna di suoi (non necessariamente distinti) elementi generano un sottomagma mediale;
• entropico se è immagine omomorfa di un magma mediale a cancellazione.

Un magma libero sopra un insieme ${\displaystyle X}$ svolge il ruolo del "magma più grande possibile" generato da ${\displaystyle X;}$ infatti ai generatori non si impone alcuna relazione o assioma; (si veda oggetto libero). Esso si può descrivere in termini familiari nell'informatica, come magma degli alberi binari saturi con foglie etichettate da elementi di ${\displaystyle X.}$ La composizione di tali oggetti è la saldatura di due alberi ad una nuova radice. Esso quindi ha un ruolo fondazionale per la sintassi.

Ad ogni elemento a di un magma (X,*) si associano due endofunzioni entro X, la traslazione a sinistra di a, funzione che a ogni x di X associa a * x, e la traslazione a destra di a, funzione che a ogni x di X associa x * a.

Queste endofunzioni riguardano la nozione di traslazioni in algebra.

Nel caso il magma sia un gruppo le traslazioni a sinistra e le traslazioni a destra sono permutazioni del gruppo stesso. Particolarmente interessanti sono le traslazioni concernenti vari gruppi di permutazioni.

Le due traslazioni associate ad un elemento a coincidono per ogni a nel caso di un magma abeliano e per ogni a appartenente al Centro di un gruppo nel caso di un generico gruppo.

La nozione di traslazione in geometria si riconduce alla nozione algebrica sopra definita nel caso di uno spazio vettoriale considerato come sostegno di un gruppo abeliano relativo all'operazione binaria di somma.

La nozione algebrica di traslazione applicata al gruppo (abeliano) delle rotazioni piane porta alle rotazioni della circonferenza che raffigura tale gruppo.

• Levy Bruhl: Introduction aux Structures Algebriques, Dunod

• Algebra universale
• Gruppo libero

• gruppoide, su Treccani.it – Enciclopedie on line, Istituto dell'Enciclopedia Italiana.
• magma, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
• (EN) Eric W. Weisstein, Magma, su MathWorld, Wolfram Research.
• (EN) Magma, su Encyclopaedia of Mathematics, Springer e European Mathematical Society.

V · D · M Algebra
Numeri	Naturali · Interi · Razionali · Irrazionali · Algebrici · Trascendenti · Reali · Complessi · Numero ipercomplesso · Numero p-adico · Duali · Complessi iperbolici
Principi fondamentali	Principio d'induzione · Principio del buon ordinamento · Relazione di equivalenza · Relazione d'ordine · Associatività della potenza
Algebra elementare	Equazione · Disequazione · Polinomio · Triangolo di Tartaglia · Teorema binomiale · Teorema del resto · Lemma di Gauss · Teorema delle radici razionali · Regola di Ruffini · Criterio di Eisenstein · Criterio di Cartesio · Disequazione con il valore assoluto · Segno · Metodo di Gauss-Seidel · Polinomio simmetrico · Funzione simmetrica
Elementi di Calcolo combinatorio	Fattoriale · Permutazione · Disposizione · Combinazione · Dismutazione · Principio di inclusione-esclusione
Concetti fondamentali di Teoria dei numeri	Primi Numero primo · Teorema dell'infinità dei numeri primi · Crivello di Eratostene · Crivello di Atkin · Test di primalità · Teorema fondamentale dell'aritmetica Divisori Interi coprimi · Identità di Bézout · MCD · mcm · Algoritmo di Euclide · Algoritmo esteso di Euclide · Criteri di divisibilità · Divisore Aritmetica modulare Teorema cinese del resto · Piccolo teorema di Fermat · Teorema di Eulero · Funzione φ di Eulero · Teorema di Wilson · Reciprocità quadratica
Teoria dei gruppi	Gruppi Gruppo (finito · ciclico · abeliano) · Gruppo primario · Gruppo quoziente · Gruppo nilpotente · Gruppo risolubile · Gruppo simmetrico · Gruppo diedrale · Gruppo semplice · Gruppo sporadico · Gruppo mostro · Gruppo di Klein · Gruppo dei quaternioni · Gruppo generale lineare · Gruppo ortogonale · Gruppo unitario · Gruppo unitario speciale · Gruppo residualmente finito · Gruppo spaziale · Gruppo profinito · Out(Fn) · Parola · Prodotto diretto · Prodotto semidiretto · Prodotto intrecciato Teoremi Alternativa di Tits · Teorema di isomorfismo · Teorema di Lagrange · Teorema di Cauchy · Teoremi di Sylow · Teorema di Cayley · Teorema di struttura dei gruppi abeliani finiti · Lemma della farfalla · Lemma del ping-pong · Classificazione dei gruppi semplici finiti Sottoinsiemi Sottogruppo · Sottogruppo normale · Sottogruppo caratteristico · Sottogruppo di Frattini · Sottogruppo di torsione · Classe laterale · Classe di coniugio · Serie di composizione Omomorfismo · Isomorfismo · Automorfismo interno · Automorfismo esterno · Permutazione · Presentazione di un gruppo · Azione di gruppo
Teoria degli anelli	Anello (artiniano · noetheriano · locale) · Caratteristica · Ideale (primo · massimale) · Dominio (a fattorizzazione unica · a ideali principali · euclideo) · Matrice · Anello semplice · Anello degli endomorfismi · Teorema di Artin-Wedderburn · Modulo · Dominio di Dedekind · Estensione di anelli · Teorema della base di Hilbert · Anello di Gorenstein · Base di Gröbner · Prodotto tensoriale · Primo associato
Teoria dei campi	Campo · Polinomio irriducibile · Polinomio ciclotomico · Teorema fondamentale dell'algebra · Campo finito · Automorfismo · Endomorfismo di Frobenius Estensioni Campo di spezzamento · Estensione di campi · Estensione algebrica · Estensione separabile · Chiusura algebrica · Campo di numeri · Estensione normale · Estensione di Galois · Estensione abeliana · Estensione ciclotomica · Teoria di Kummer Teoria di Galois Gruppo di Galois · Teoria di Galois · Teorema fondamentale della teoria di Galois · Teorema di Abel-Ruffini · Costruzioni con riga e compasso
Altre strutture algebriche	Magma · Semigruppo · Corpo · Spazio vettoriale · Algebra su campo · Algebra di Lie · Algebra differenziale · Algebra di Clifford · Gruppo topologico · Gruppo ordinato · Quasi-anello · Algebra di Boole
argomenti	Teoria delle categorie · Algebra lineare · Algebra commutativa · Algebra omologica · Algebra astratta · Algebra computazionale · Algebra differenziale · Algebra universale

Portale Matematica: accedi alle voci di Teknopedia che trattano di matematica