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.
If δ = 0 (i.e., is the zero map) then the Ore extension is denoted R[x; σ] and is called a skew polynomial ring. If σ = 1 (i.e., the identity map) then the Ore extension is denoted R[x,δ] and is called a differential polynomial ring.
- An Ore extension of a domain is a domain.
- An Ore extension of a skew field is a non-commutative Principal ideal domain.
- If σ is an automorphism and R is a left Noetherian ring then the Ore extension R[λ;σ,δ] is also left Noetherian.
An element f of an Ore ring R is called
- Goodearl, K. R.; Warfield, R. B., Jr. (2004), An Introduction to Noncommutative Noetherian Rings, Second Edition, London Mathematical Society Student Texts 61, Cambridge: Cambridge University Press, ISBN 0-521-54537-4, MR 2080008
- McConnell, J. C.; Robson, J. C. (2001), Noncommutative Noetherian rings, Graduate Studies in Mathematics 30, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-2169-5, MR 1811901
- Rowen, Louis H. (1988), Ring theory, vol. I, II, Pure and Applied Mathematics, 127, 128, Boston, MA: Academic Press, ISBN 0-12-599841-4, MR 940245
- Jacobson, Nathan (1996). Finite-Dimensional Division Algebras over Fields. Springer.
- Cohn, P. M. (1995). Skew Fields: Theory of General Division Rings. Cambridge University Press.
|This abstract algebra-related article is a stub. You can help Wikipedia by expanding it.|