Free Algebra - Contrast With Polynomials

Contrast With Polynomials

Since the words over the alphabet {X1, ...,Xn} form a basis of RX1,...,Xn⟩, it is clear that any element of RX1, ...,Xn⟩ can be uniquely written in the form:

where are elements of R and all but finitely many of these elements are zero. This explains why the elements of RX1,...,Xn⟩ are often denoted as "non-commutative polynomials" in the "variables" (or "indeterminates") X1,...,Xn; the elements are said to be "coefficients" of these polynomials, and the R-algebra RX1,...,Xn⟩ is called the "non-commutative polynomial algebra over R in n indeterminates". Note that unlike in an actual polynomial ring, the variables do not commute. For example X1X2 does not equal X2X1.

More generally, one can construct the free algebra RE⟩ on any set E of generators. Since rings may be regarded as Z-algebras, a free ring on E can be defined as the free algebra ZE⟩.

Over a field, the free algebra on n indeterminates can be constructed as the tensor algebra on an n-dimensional vector space. For a more general coefficient ring, the same construction works if we take the free module on n generators.

The construction of the free algebra on E is functorial in nature and satisfies an appropriate universal property. The free algebra functor is left adjoint to the forgetful functor from the category of R-algebras to the category of sets.

Free algebras over division rings are free ideal rings.

Read more about this topic:  Free Algebra

Famous quotes containing the words contrast with and/or contrast:

    In contrast with envy, which usually occurs between two people and is focused upon another person’s qualities or possessions, jealousy occurs when a third person becomes a threat to a dyad. Jealousy involves the loss or the impending loss of a relationship that one wants to hold onto, a relationship that is vital to personal fulfillment and claimed as one’s own.
    Carol S. Becker (b. 1942)

    Happiness ain’t a thing in itself—it’s only a contrast with something that ain’t pleasant.... And so, as soon as the novelty is over and the force of the contrast dulled, it ain’t happiness any longer, and you have to get something fresh.
    Mark Twain [Samuel Langhorne Clemens] (1835–1910)