Magma (matematica): differenze tra le versioni

 

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

 

== Voci correlate ==