Ore extension

Ore extension. In abstract algebra, specifically noncommutative ring theory, an Ore extension is a fundamental construction that generalizes the classical polynomial ring to a setting where the variable does not necessarily commute with the coefficients. Introduced by the Norwegian mathematician Øystein Ore in the 1930s, this structure provides a rigorous framework for defining rings of skew polynomials, where multiplication is twisted by a ring endomorphism and a σ-derivation. This construction is pivotal for building examples of noncommutative rings with rich algebraic structure and has become indispensable in areas such as quantum algebra and the study of differential operator rings.

● Definition and construction

Given a unital ring \( R \), an Ore extension \( R[x; \sigma, \delta] \) is formed by adjoining an indeterminate \( x \) subject to the commutation rule \( x r = \sigma(r) x + \delta(r) \) for all \( r \) in \( R \). Here, \( \sigma: R \to R \) must be an injective ring endomorphism, often called the twisting map, and \( \delta: R \to R \) is a \( \sigma \)-derivation, satisfying \( \delta(ab) = \sigma(a)\delta(b) + \delta(a)b \). This generalizes the usual polynomial ring, recovered when \( \sigma \) is the identity map and \( \delta \) is the zero map. The construction ensures that every element can be written uniquely as a finite sum \( \sum_{i} a_i x^i \) with coefficients \( a_i \) in \( R \), allowing for a well-defined arithmetic. The requirement that \( \sigma \) is injective guarantees that the extension ring has no zero-divisors arising from the leading coefficient, a property crucial for many applications in ring theory.

● Examples

A canonical example is the first Weyl algebra \( A_1(k) \) over a field \( k \), which can be realized as the Ore extension \( k[y][x; \text{id}, \frac{d}{dy}] \), where \( \sigma \) is the identity and \( \delta \) is the standard derivation with respect to \( y \). This algebra models the ring of differential operators with polynomial coefficients. The quantum plane, a fundamental object in quantum group theory, is given by \( k[y][x; \sigma, 0] \) where \( \sigma(y) = q y \) for some nonzero scalar \( q \) in \( k \). Another important class arises in the study of iterated Ore extensions, such as multiparameter quantum affine spaces. The universal enveloping algebra of a solvable Lie algebra can also often be constructed as an iterated Ore extension, highlighting the deep connection to Lie theory.

● Properties

Ore extensions inherit and modify many properties from the base ring \( R \). If \( R \) is a domain, then \( R[x; \sigma, \delta] \) is also a domain. When \( R \) is a division ring, the Ore extension can be embedded into a skew field of fractions, analogous to the field of fractions for a commutative domain, a result stemming from Ore's condition on the set of nonzero elements. The global dimension and other homological dimensions of the extension are closely tied to those of \( R \), a subject explored in homological algebra. The ideal structure, particularly the classification of prime ideals and primitive ideals, is a major topic of study, with significant results for extensions over noetherian rings. The center of an Ore extension can be highly nontrivial and is computed using the fixed rings of \( \sigma \) and \( \delta \).

● Applications

Ore extensions serve as the primary algebraic framework for skew polynomial rings, which are ubiquitous in modern noncommutative algebra. They are essential in the algebraic study of linear differential equations and difference equations through differential and difference operator rings. In quantum algebra, they are used to define key structures like quantum groups and their associated coordinate rings, such as the quantum special linear group. The theory of Hopf algebra actions, including smash product constructions, frequently utilizes Ore extensions. They also appear in the context of noncommutative geometry, providing coordinate rings for noncommutative analogues of affine space. Furthermore, Ore extensions are instrumental in constructing iterated extensions that model complicated noncommutative projective schemes.

● Generalizations

The Ore extension concept has been extended in several significant directions. The skew Laurent polynomial ring \( R[x, x^{-1}; \sigma] \) generalizes the construction by allowing inverses of the indeterminate, provided \( \sigma \) is an automorphism. The theory of Ore sets and localization in noncommutative rings, developed by Paul Morita and others, provides a broader context for inverting elements. Filtered rings and graded rings associated to Ore extensions lead to the study of their associated graded ring and Rees algebra. More sophisticated generalizations include double Ore extensions and ambiskew polynomial rings, which involve two indeterminates. The framework also connects to twisted tensor product constructions in category theory and to the definition of bialgebra and Hopf algebra structures on certain classes of Ore extensions. Category:Ring theory Category:Noncommutative algebra Category:Algebraic structures