free algebra

In mathematics, especially in the area of abstract algebra known as ring theory, a free algebra is the noncommutative analogue of a polynomial ring since its elements may be described as "polynomials" with non-commuting variables. Likewise, the polynomial ring may be regarded as a free commutative algebra.

Definition

For ''R'' a commutative ring, the free (associative, unital) algebra on ''n'' indeterminates is the free ''R''-module with a basis consisting of all words over the alphabet (including the empty word, which is the unit of the free algebra). This ''R''-module becomes an ''R''-algebra by defining a multiplication as follows: the product of two basis elements is the concatenation of the corresponding words:

:$\left(X_X_ \cdots X_\right) \cdot \left(X_X_ \cdots X_\right) = X_X_ \cdots X_X_X_ \cdots X_,$

and the product of two arbitrary ''R''-module elements is thus uniquely determined (because the multiplication in an ''R''-algebra must be ''R''-bilinear). This ''R''-algebra is denoted ''R''⟨''X''₁,...,''X_n''⟩. This construction can easily be generalized to an arbitrary set ''X'' of indeterminates.

In short, for an arbitrary set $X=\$, the free (associative, unital) ''R''-algebra on ''X'' is
:$R\langle X\rangle:=\bigoplus_R w$
with the ''R''-bilinear multiplication that is concatenation on words, where ''X''* denotes the free monoid on ''X'' (i.e. words on the letters ''X''_i), $\oplus$ denotes the external direct sum, and ''Rw'' denotes the free ''R''-module on 1 element, the word ''w''.

For example, in ''R''⟨''X''₁,''X''₂,''X''₃,''X''₄⟩, for scalars ''α, β, γ, δ'' ∈ ''R'', a concrete example of a product of two elements is

:$(\alpha X_1X_2^2 + \beta X_2X_3)\cdot(\gamma X_2X_1 + \delta X_1^4X_4) = \alpha\gamma X_1X_2^3X_1 + \alpha\delta X_1X_2^2X_1^4X_4 + \beta\gamma X_2X_3X_2X_1 + \beta\delta X_2X_3X_1^4X_4$.

The non-commutative polynomial ring may be identified with the monoid ring over ''R'' of the free monoid of all finite words in the ''X''_''i''.

Contrast with polynomials

Since the words over the alphabet form a basis of ''R''⟨''X''₁,...,''X_n''⟩, it is clear that any element of ''R''⟨''X''₁, ...,''X_n''⟩ can be written uniquely in the form:

:$\sum\limits_^\infty \, \, \, \sum\limits_ a_ X_ X_ \cdots X_,$

where $a_$ are elements of ''R'' and all but finitely many of these elements are zero. This explains why the elements of ''R''⟨''X''₁,...,''X_n''⟩ are often denoted as "non-commutative polynomials" in the "variables" (or "indeterminates") ''X''₁,...,''X_n''; the elements $a_$ are said to be "coefficients" of these polynomials, and the ''R''-algebra ''R''⟨''X''₁,...,''X_n''⟩ 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, ''X''₁''X''₂ does not equal ''X''₂''X''₁.

More generally, one can construct the free algebra ''R''⟨''E''⟩ 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 Z⟨''E''⟩.

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.

See also

*Cofree coalgebra
*Tensor algebra
*Free object
*Noncommutative ring
* Rational series
*Term algebra

References

*
* {{springer, id=f/f041520, author=L.A. Bokut', title=Free associative algebra

Algebras
Ring theory
Free algebraic structures