Namespaces
Variants
Actions

Free associative algebra

From Encyclopedia of Mathematics
Revision as of 17:18, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

The algebra of polynomials over a field in non-commuting variables in . The following universal property determines the algebra uniquely up to an isomorphism: There is a mapping such that any mapping from into an associative algebra with a unit over can be factored through in a unique way. The basic properties of are:

1) can be imbedded in a skew-field (the Mal'tsev–Neumann theorem);

2) has a weak division algorithm, that is, the relation

where , all the are non-zero , , always implies that there are an integer , , and elements such that

and

(here is the usual degree of a polynomial , );

3) is a left (respectively, right) free ideal ring (that is, any left (respectively, right) ideal of is a free module of uniquely determined rank);

4) the centralizer of any non-scalar element of (that is, the set of elements that commute with a given element) is isomorphic to the algebra of polynomials over in a single variable (Bergman's theorem).

References

[1] P.M. Cohn, "Universal algebra" , Reidel (1981)
[2] P.M. Cohn, "Free rings and their relations" , Acad. Press (1971)

'

How to Cite This Entry:
Free associative algebra. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Free_associative_algebra&oldid=16680
This article was adapted from an original article by L.A. Bokut (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article