Namespaces
Variants
Actions

Difference between revisions of "Free magma"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (link)
Line 9: Line 9:
 
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110190/f1101907.png" /></td> </tr></table>
 
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110190/f1101907.png" /></td> </tr></table>
  
There is an obvious [[Binary relation|binary relation]] on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110190/f1101908.png" />: if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110190/f1101909.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110190/f11019010.png" />, then the pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110190/f11019011.png" /> goes to the element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110190/f11019012.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110190/f11019013.png" />. This is the free magma on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110190/f11019014.png" />. It has the obvious freeness property: if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110190/f11019015.png" /> is any [[Magma|magma]] and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110190/f11019016.png" /> is a function, then there is a unique morphism of magmas <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110190/f11019017.png" /> extending <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110190/f11019018.png" />.
+
There is an obvious [[binary operation]] on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110190/f1101908.png" />: if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110190/f1101909.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110190/f11019010.png" />, then the pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110190/f11019011.png" /> goes to the element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110190/f11019012.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110190/f11019013.png" />. This is the free magma on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110190/f11019014.png" />. It has the obvious freeness property: if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110190/f11019015.png" /> is any [[Magma|magma]] and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110190/f11019016.png" /> is a function, then there is a unique morphism of magmas <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110190/f11019017.png" /> extending <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110190/f11019018.png" />.
  
 
Certain special subsets of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110190/f11019019.png" />, called Hall sets (cf. [[Hall set|Hall set]]), are important in combinatorics and the theory of Lie algebras.
 
Certain special subsets of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f110/f110190/f11019019.png" />, called Hall sets (cf. [[Hall set|Hall set]]), are important in combinatorics and the theory of Lie algebras.

Revision as of 18:13, 21 November 2014

Let be a set. Define sets , , inductively as follows:

where denotes the disjoint union (see Union of sets). Let

There is an obvious binary operation on : if , , then the pair goes to the element of . This is the free magma on . It has the obvious freeness property: if is any magma and is a function, then there is a unique morphism of magmas extending .

Certain special subsets of , called Hall sets (cf. Hall set), are important in combinatorics and the theory of Lie algebras.

The free magma over can be identified with the set of binary complete, planar, rooted trees with leaves labelled by . See Binary tree.

References

[a1] N. Bourbaki, "Groupes et algèbres de Lie" , 2: Algèbres de Lie libres , Hermann (1972)
[a2] C. Reutenauer, "Free Lie algebras" , Oxford Univ. Press (1993)
[a3] J.-P. Serre, "Lie algebras and Lie groups" , Benjamin (1965)
How to Cite This Entry:
Free magma. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Free_magma&oldid=12862
This article was adapted from an original article by M. Hazewinkel (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article