Ore extension

In mathematics, especially in the area of algebra known as ring theory, an Ore extension, named after Øystein Ore, is a special type of a ring extension whose properties are relatively well understood. Ore extensions appear in several natural contexts, including skew and differential polynomial rings, group algebras of polycyclic groups, universal enveloping algebras of solvable Lie algebras, and coordinate rings of quantum groups.

Definition

Suppose that R is a (not necessarily commutative) ring, σ:RR is a ring homomorphism, and δ:RR is a σ-derivation of R, which means that δ is a homomorphism of abelian groups satisfying

Then the Ore extension R[x;σ,δ], also called a skew polynomial ring, is the noncommutative ring obtained by giving the ring of polynomials R[x] a new multiplication, subject to the identity

If δ = 0 (i.e., is the zero map) then the Ore extension is denoted R[x; σ]. If σ = 1 (i.e., the identity map) then the Ore extension is denoted R[x,δ] and is called a differential polynomial ring.

Examples

The Weyl algebras are Ore extensions, with R any commutative polynomial ring, σ the identity ring endomorphism, and δ the polynomial derivative. Ore algebras are a class of iterated Ore extensions under suitable constraints that permit to develop a noncommutative extension of the theory of Gröbner bases.

Properties

Elements

An element f of an Ore ring R is called

Further reading

References

  1. Jacobson, Nathan (1996). Finite-Dimensional Division Algebras over Fields. Springer.
  2. Cohn, P. M. (1995). Skew Fields: Theory of General Division Rings. Cambridge University Press.
This article is issued from Wikipedia - version of the 2/25/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.