symmetric monoidal (∞,1)-category of spectra
An Ore extension of a unital ring is certain generalization of the ring of polynomials in one variable with coefficients in .
While keeping the left -module-structure intact, unlike in the polynomial ring, the coefficients in and the indeterminate do not need to commute, but rather commute up to a skew-derivation. A skew-polynomial ring is a special case.
Given an endomorphism , a -derivation is an additive map satisfying the -twisted Leibniz rule
If is an injective endomorphism of , and a -derivation then the free left -module underlying the ring of polynomials in one variable is equipped with the unique multiplication rule which is making it into a unital ring, extends and such that
with this ring structure is called the Ore extension of and denoted . If identically, then we say that is a skew polynomial ring.
An Ore extension of an Ore extension of…(finitely many times) is called an iterated Ore extension. See quantum nilpotent algebra for an example.
Last revised on July 1, 2024 at 20:45:32. See the history of this page for a list of all contributions to it.