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.
Contents
Definition
For R a commutative ring, the free (associative, unital) algebra on n indeterminates {X1,...,Xn} is the free R-module with a basis consisting of all words over the alphabet {X1,...,Xn} (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:
and the product of two arbitrary elements is thus uniquely determined (because the multiplication in an R-algebra must be R-bilinear). This R-algebra is denoted R⟨X1,...,Xn⟩. This construction can easily be generalized to an arbitrary set X of indeterminates.
In short, for an arbitrary set
with the R-bilinear multiplication that is concatenation on words, where X* denotes the free monoid on X (i.e. words on the letters Xi),
For example, in R⟨X1,X2,X3,X4⟩, for scalars α,β,γ,δ ∈R, a concrete example of a product of two elements is
The non-commutative polynomial ring may be identified with the monoid ring over R of the free monoid of all finite words in the Xi.
Contrast with Polynomials
Since the words over the alphabet {X1, ...,Xn} form a basis of R⟨X1,...,Xn⟩, it is clear that any element of R⟨X1, ...,Xn⟩ can be written uniquely in the form:
where
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.