A free magma on a set is the "most general possible" magma generated by the set (that is there are no relations or axioms imposed on the generators; see free object). It can be described, in terms familiar in computer science, as the magma of binary trees with leaves labeled by elements of . The operation is that of joining trees at the root. It therefore has a foundational role in syntax.
A free magma has the universal property such that, if is a function from the set to any magma, then there is a unique extension of to a morphism of magmas
See also: free semigroup, free group, Hall set
Read more about this topic: Magma (algebra)
Famous quotes containing the word free:
“The American adolescent, then, is faced, as are the adolescents of all countries who have entered or are entering the machine age, with the question: freedom from what and at what price? The American feels so rich in his opportunities for free expression that he often no longer knows what it is he is free from. Neither does he know where he is not free; he does not recognize his native autocrats when he sees them.”
—Erik H. Erikson (1904–1994)