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:
“[Rutherford B. Hayes] was a patriotic citizen, a lover of the flag and of our free institutions, an industrious and conscientious civil officer, a soldier of dauntless courage, a loyal comrade and friend, a sympathetic and helpful neighbor, and the honored head of a happy Christian home. He has steadily grown in the public esteem, and the impartial historian will not fail to recognize the conscientiousness, the manliness, and the courage that so strongly characterized his whole public career.”
—Benjamin Harrison (1833–1901)