Definition
- Let X be a set and i: X → L a morphism of sets from X into a Lie algebra L. The Lie algebra L is called free on X if for any Lie algebra A with a morphism of sets f: X → A, there is a unique Lie algebra morphism g: L → A such that f = g o i.
Given a set X, one can show that there exists a unique free Lie algebra L(X) generated by X.
In the language of category theory, the functor sending a set X to the Lie algebra generated by X is the free functor from the category of sets to the category of Lie algebras. That is, it is left adjoint to the forgetful functor.
As the 0-graded component of the free Lie algebra on a set X is just the free vector space on that group, one can alternatively define a free Lie algebra on a vector space V as left adjoint to the forgetful functor from Lie algebras over a field K to vector spaces over the field K – forgetting the Lie algebra structure, but remembering the vector space structure.
Read more about this topic: Free Lie Algebra
Famous quotes containing the word definition:
“It is very hard to give a just definition of love. The most we can say of it is this: that in the soul, it is a desire to rule; in the spirit, it is a sympathy; and in the body, it is but a hidden and subtle desire to possess—after many mysteries—what one loves.”
—François, Duc De La Rochefoucauld (1613–1680)
“Beauty, like all other qualities presented to human experience, is relative; and the definition of it becomes unmeaning and useless in proportion to its abstractness. To define beauty not in the most abstract, but in the most concrete terms possible, not to find a universal formula for it, but the formula which expresses most adequately this or that special manifestation of it, is the aim of the true student of aesthetics.”
—Walter Pater (1839–1894)
“The physicians say, they are not materialists; but they are:MSpirit is matter reduced to an extreme thinness: O so thin!—But the definition of spiritual should be, that which is its own evidence. What notions do they attach to love! what to religion! One would not willingly pronounce these words in their hearing, and give them the occasion to profane them.”
—Ralph Waldo Emerson (1803–1882)