Why does the theorem need Q ⊆ k rather than just characteristic 0?

The proof divides by the integer n, the minimal degree in the ideal, so n must be invertible in k and central. Characteristic 0 alone says n 1 ≠ 0, which is weaker. In practice the gap rarely bites: Amitsur's (3.16) shows that for k simple of characteristic 0 the centre is a field containing Q, so k is automatically a Q-algebra.

Is -simplicity of k implied by simplicity of k[x;]?

Yes, and that direction needs no hypothesis on the characteristic. If A is a -ideal with 0 ≠ A ≠ k, the polynomials with all coefficients in A form a proper nonzero two-sided ideal of R. So the necessity half of (3.15) holds for arbitrary rings k.

Can be non-inner but become inner after enlarging k?

Yes, and this is the usual way non-innerness is destroyed. Passing from Q[y] to a larger ring in which the operator y acquires an inverse-like partner can make inner. Innerness is not preserved by ring extensions in either direction, so it must be checked over the exact base you intend to use.

Simplicity Criteria for Differential Polynomial Rings

Q: Does simplicity of k[x;] tell me anything about its one-sided ideals?

Almost nothing, and this is the usual disappointment. k[x;] always has the strictly descending chain Rx Rx^2 …, so it is never artinian; it has no minimal left ideals; and its left ideal theory is as rich as that of k allows. When k is a division ring, R is a principal left and right ideal domain, which is the best case.

Q: How is this related to the Weyl algebra?

The Weyl algebra A_1(k_0) is the case k = k_0[y], = d/dy. The extra work needed there is showing that k_0[y] is -simple even though it is not simple, which is a short minimal-degree argument in its own right. The page on the Weyl algebra carries it out.

Executive Summary

The differential polynomial ring $R = k [x; δ]$ is the smallest ring in which the elements of $k$ live alongside a formal operator $x$ obeying the Leibniz rule $x a = a x + δ (a)$ . Whether $R$ is simple is decided by two conditions on the pair $(k, δ)$ , and Lam's $(3.15)$ shows that over a $ℚ$ -algebra these two are also sufficient.

Each condition rules out one visible family of ideals. If $k$ carries a proper nonzero $δ$ -stable ideal $𝔄$ , then $𝔄 R$ is a proper nonzero ideal of $R$ . If $δ = {ad}_{c}$ is inner, the change of variable $t = x - c$ makes $t$ central and $R = k [t]$ an ordinary polynomial ring, which is never simple.

The content of the theorem is that nothing else can go wrong. The proof is a minimal-degree argument: from an ideal $I \neq 0, R$ one extracts a monic element of least degree $n$ , and the commutator $b g - g b$ produces the identity $n δ (b) = b d - d b$ , which exhibits $δ$ as inner once $n$ is invertible. That inversion is the only use of the $ℚ$ -algebra hypothesis, and it is not removable.

2Obstructions to simplicity

$ℚ \subseteq k$ Standing hypothesis

$n δ (b) = b d - d b$ Key identity

neverArtinian

Overview

Let $k$ be a ring and $δ : k \to k$ an additive map with $δ (a b) = δ (a) b + a δ (b)$ . The differential polynomial ring $k [x; δ]$ has as elements the left polynomials $\sum_{i} a_{i} x^{i}$ with $a_{i} \in k$ , added coefficientwise and multiplied by the single rule

x a = a x + δ (a) (a \in k),

(1.7)

Iterating gives $x^{n} a = \sum_{i = 0}^{n} (\binom{n}{i}) δ^{n - i} (a) x^{i}$ ; in particular the coefficient of $x^{n - 1}$ is $n δ (a)$ .

Setting $δ = 0$ recovers the ordinary polynomial ring $k [x]$ ; the construction is one of the two basic Ore extensions, the other being the twisted ring $k [x; σ]$ treated on the page for Skew Polynomial Rings: Hilbert's Twist. Both are covered by the general Ore extension $k [x; σ, δ]$ .

The question this page answers is when $R = k [x; δ]$ has no two-sided ideals other than $0$ and $R$ . It matters because $R$ is a natural source of simple non-artinian rings: it is a domain whenever $k$ is, it is noetherian whenever $k$ is, and its simplicity cannot come from a chain condition.

Two special cases are worth memorising. If $k$ is a field of characteristic $0$ and $δ \neq 0$ , both conditions hold automatically, so $k [x; δ]$ is simple. If $k$ is commutative, every inner derivation is zero, so the second condition reduces to $δ \neq 0$ — and then the whole burden falls on $δ$ -simplicity.

Learning Objectives

Write down the multiplication rule of $k [x; δ]$ and the expansion of $x^{n} a$ .
Define $δ$ -ideal, $δ$ -simple and inner derivation, and state $(3.15)$ with its $ℚ$ -algebra hypothesis.
Prove that $δ$ inner implies $k [x; δ] = k [t]$ with $t = x - c$ central.
Prove that a proper nonzero $δ$ -ideal $𝔄$ gives the proper nonzero ideal $𝔄 R$ .
Carry out the minimal-degree argument that yields $n δ (b) = b d - d b$ and conclude that $δ$ is inner.
Exhibit a characteristic $p$ pair $(k, δ)$ satisfying both conditions with $k [x; δ]$ not simple.

Definitions

Definition—Derivation and inner derivation

A derivation on a ring $k$ is an additive map $δ : k \to k$ with $δ (a b) = δ (a) b + a δ (b)$ for all $a, b \in k$ . For $c \in k$ the map ${ad}_{c} (b) = c b - b c$ is a derivation; derivations of this form are called inner. A derivation that is not of this form is non-inner or outer.

Note $δ (1) = 0$ for every derivation, and ${ad}_{c} = {ad}_{c'}$ exactly when $c - c' \in Z (k)$ .

Definition—

δ

-ideal and

δ

-simplicity

A two-sided ideal $𝔄 \subseteq k$ is a ** $δ$ -ideal** if $δ (𝔄) \subseteq 𝔄$ . The ring $k$ is ** $δ$ -simple** if $k \neq 0$ and its only $δ$ -ideals are $0$ and $k$ .

$δ$ -simplicity is strictly weaker than simplicity: $ℚ [y]$ with $δ = d / d y$ is $δ$ -simple but has plenty of ideals, none of which is stable under differentiation.

$k [x; δ]$: Left polynomials $\sum a_{i} x^{i}$ , $a_{i} \in k$ , with $x a = a x + δ (a)$ . Free as a left $k$ -module on $1, x, x^{2}, \dots$ .
$\deg f$: The largest $i$ with $a_{i} \neq 0$ , for $f = \sum a_{i} x^{i} \neq 0$ . Degrees add when $k$ is a domain, since $(a x^{m}) (b x^{n}) = a b x^{m + n} + lower$ .
${ad}_{c}$: The inner derivation $b \mapsto c b - b c$ determined by $c \in k$ .
$k^{δ}$: The ring of constants ${a \in k : δ (a) = 0}$ , a subring of $k$ containing $1$ .
$𝔄 R$: For a $δ$ -ideal $𝔄$ , the set of polynomials all of whose coefficients lie in $𝔄$ ; a two-sided ideal of $R = k [x; δ]$ .

Rings have an identity, k need not be commutative, and polynomials are always written with coefficients on the left. A Q-algebra means a ring containing a copy of the rationals in its centre, so every nonzero integer is a central unit.

Core Concepts

Obstruction one: stable ideals of the base

Suppose $𝔄$ is an ideal of $k$ with $δ (𝔄) \subseteq 𝔄$ . Put $𝔄 R = {\sum a_{i} x^{i} : a_{i} \in 𝔄}$ . Left multiplication keeps the coefficients inside $𝔄$ because $b \cdot a x^{i} = (b a) x^{i}$ and $x \cdot a x^{i} = a x^{i + 1} + δ (a) x^{i}$ , and both $b a$ and $δ (a)$ lie in $𝔄$ . Right multiplication does too, using the expansion of $x^{i} b$ and the fact that $𝔄$ absorbs on the right. So $𝔄 R$ is a two-sided ideal, proper and nonzero whenever $𝔄$ is.

Obstruction two: inner derivations

If $δ = {ad}_{c}$ , set $t = x - c$ . Then for every $a \in k$

t a = (x - c) a = a x + δ (a) - c a = a x + (c a - a c) - c a = a x - a c = a t,

so $t$ is central in $R$ and $R = k [t]$ is an honest polynomial ring over $k$ in a central variable. Then $t R$ is a nonzero proper two-sided ideal — nonzero because $t \neq 0$ , proper because a nonzero element of $t R$ has zero constant term, so $1 \notin t R$ .

Why a minimal-degree argument must work

$R$ is filtered by degree and the associated graded ring is $k [\bar{x}]$ with $\bar{x}$ central: the commutator of two elements has degree strictly less than the sum of their degrees. So commutators reduce degree, and any ideal is closed under them. An ideal that survives repeated commutation must contain elements of degree $0$ , that is elements of $k$ — and $δ$ -simplicity then pushes it up to the unit ideal.

The two commutators that matter are $[x, f] = x f - f x$ , which multiplies the leading coefficient by $δ$ , and $[b, f] = b f - f b$ for $b \in k$ , which produces the correction term $- n δ (b)$ in degree $n - 1$ . The first shows the leading-coefficient set is a $δ$ -ideal; the second is where $δ$ becomes inner.

x f - f x = δ (a_{n}) x^{n} + (lower), b g - g b = (b d - d b - n δ (b)) x^{n - 1} + (lower),

(C.1)

Here $f = a_{n} x^{n} + \dots$ is arbitrary and $g = x^{n} + d x^{n - 1} + \dots$ is monic.

Key Results

Theorem(3.15)Simplicity criterion

Let $k$ be a $ℚ$ -algebra and let $δ$ be a derivation on $k$ . Then $R = k [x; δ]$ is a simple ring if and only if $k$ is $δ$ -simple and $δ$ is not an inner derivation on $k$ .

Proof

Necessity, by contraposition. Suppose first that $δ = {ad}_{c}$ is inner. Putting $t = x - c$ gives $t a = a t$ for all $a \in k$ , as computed above, so $t$ is central and $R = k [t]$ . The ideal $t R$ is nonzero and proper, so $R$ is not simple.

Now suppose $𝔄$ is a $δ$ -ideal of $k$ with $0 \neq 𝔄 \neq k$ . Then $𝔄 R$ , the set of polynomials with all coefficients in $𝔄$ , is a two-sided ideal of $R$ : it absorbs left multiplication because $x (a x^{i}) = a x^{i + 1} + δ (a) x^{i}$ and $δ (𝔄) \subseteq 𝔄$ , and it absorbs right multiplication because expanding $x^{i} b$ produces only coefficients of the form $δ^{j} (b)$ multiplied on the left by elements of $𝔄$ . It is nonzero and does not contain $1$ , so again $R$ is not simple.

Sufficiency. Assume $k$ is $δ$ -simple and suppose, for contradiction, that $R$ has an ideal $I$ with $0 \neq I \neq R$ . We derive that $δ$ is inner.

Let $n$ be the least degree of a nonzero element of $I$ , and let $𝔄 \subseteq k$ consist of $0$ together with the leading coefficients of the degree- $n$ elements of $I$ . Then $𝔄$ is an ideal of $k$ : if $f = a x^{n} + \dots \in I$ and $b \in k$ , then $b f \in I$ has leading coefficient $b a$ , and $f b \in I$ has leading coefficient $a b$ because $x^{n} b = b x^{n} + \dots$ ; sums are handled by noting that a cancellation of leading terms leaves an element of $I$ of degree $< n$ , which must be $0$ .

$𝔄$ is a $δ$ -ideal: for $f = a x^{n} + \dots \in I$ we have $x f - f x \in I$ , and since $x (a x^{n}) = a x^{n + 1} + δ (a) x^{n}$ while $f x$ contributes $a x^{n + 1}$ , the difference has degree at most $n$ with coefficient $δ (a)$ in degree $n$ . Hence $δ (a) \in 𝔄$ .

By $δ$ -simplicity and $𝔄 \neq 0$ we get $𝔄 = k$ , so $1 \in 𝔄$ : there is a monic $g = x^{n} + d x^{n - 1} + \dots \in I$ . If $n = 0$ then $g = 1 \in I$ and $I = R$ , contrary to hypothesis; so $n \geq 1$ .

Now take any $b \in k$ . From $x^{n} b = b x^{n} + n δ (b) x^{n - 1} + (lower)$ we obtain

b g - g b = (b d - d b - n δ (b)) x^{n - 1} + (lower terms) .

This element lies in $I$ and has degree at most $n - 1 < n$ , so it is $0$ by minimality of $n$ . Comparing the coefficient of $x^{n - 1}$ gives $n δ (b) = b d - d b$ for every $b \in k$ .

Since $k$ is a $ℚ$ -algebra and $n \geq 1$ , the integer $n$ is a central unit. Writing $c = - d / n$ we get $δ (b) = b (d / n) - (d / n) b = c b - b c$ for all $b$ , so $δ = {ad}_{c}$ is inner. This is the required contradiction, and $R$ is simple.

Corollary(3.16)Amitsur

Let $k$ be any simple ring of characteristic $0$ and let $δ$ be a non-inner derivation on $k$ . Then $R = k [x; δ]$ is a simple ring which is not left artinian.

Proof

The centre $Z (k)$ of a simple ring is a field. Since $char k = 0$ , that field contains $ℚ$ , so $k$ is a $ℚ$ -algebra. A simple ring has only the ideals $0$ and $k$ , both of which are $δ$ -stable, so $k$ is $δ$ -simple. Theorem $(3.15)$ now applies and $R$ is simple.

For non-artinianness, note that right multiplication by $x$ involves no twisting: $(\sum a_{j} x^{j}) x^{i + 1} = \sum a_{j} x^{j + i + 1}$ . Hence every nonzero element of $R x^{i + 1}$ has zero coefficients in all degrees $\leq i$ , while $x^{i}$ has coefficient $1$ in degree $i$ . Therefore $x^{i} \notin R x^{i + 1}$ and

R x ⊋ R x^{2} ⊋ R x^{3} ⊋ \dots

is a strictly descending chain of left ideals, so $R$ fails the DCC.

Corollary—Fields of characteristic zero

Let $k$ be a field of characteristic $0$ and $δ \neq 0$ a derivation on $k$ . Then $k [x; δ]$ is a simple, non-artinian, left and right noetherian domain.

Indeed $k$ has no proper nonzero ideals, hence is $δ$ -simple; $k$ is commutative, so its only inner derivation is $0 \neq δ$ ; and $k [x; δ]$ is a domain because degrees add over a field. The noetherian claim is the Ore-extension form of the Hilbert Basis Theorem.

Counterexample—The

ℚ

-algebra hypothesis cannot be dropped

Let $p$ be a prime, $k = 𝔽_{p} (y)$ and $δ = d / d y$ . Then $k$ is a field, hence $δ$ -simple, and $δ \neq 0$ is non-inner because $k$ is commutative. Yet $R = k [x; δ]$ is not simple.

The reason is that $δ^{p} = 0$ on $𝔽_{p} (y)$ : it is again a derivation, and it kills $y$ because $p$ consecutive integers have a product divisible by $p$ . Substituting into $x^{p} a = \sum_{i} (\binom{p}{i}) δ^{p - i} (a) x^{i} = a x^{p} + δ^{p} (a)$ gives $x^{p} a = a x^{p}$ for all $a \in k$ . So $x^{p}$ is central, and $R x^{p}$ is a nonzero proper ideal.

Proof Techniques and Method

How these proofs work, and which move to reuse.

Three reusable techniques, all visible in the proof of $(3.15)$ and all reappearing in the skew Laurent analogue $(3.18)$ .

Move 1

Minimal degree plus leading coefficients

Given an ideal $I \neq 0$ , take the least degree $n$ and collect leading coefficients into $𝔄 \subseteq k$ . This turns an ideal of $R$ into an ideal of $k$ , where the hypothesis on $(k, δ)$ can bite.

Move 2

Commutators lower the degree

$[x, f]$ and $[b, f]$ both drop degree because the associated graded ring is commutative. An ideal closed under them and containing something of minimal degree $n$ is forced into relations among its coefficients.

Move 3

Normalise to monic, then read off a relation

Once $𝔄 = k$ one may assume the minimal-degree element is monic. The coefficient of $x^{n - 1}$ in $b g - g b$ then yields an equation valid for all $b$ , and that equation is exactly the statement that $δ$ is inner.

The pattern generalises: in every Ore extension, simplicity is decided by which ideals of the base survive the twisting data, plus a non-degeneracy condition saying the twisting is not a change of variables away from being trivial. For $δ$ that condition is non-inner; for an automorphism $σ$ it is infinite inner order.

Worked Example

The rational differential operator algebra $ℚ (y) [x; \frac{d}{d y}]$

Take $k = ℚ (y)$ , the field of rational functions in one variable, and $δ = d / d y$ . Then $k$ is a field of characteristic $0$ and $δ \neq 0$ , so by the corollary above $R = k [x; δ]$ is a simple noetherian domain that is not artinian. Its elements are the linear differential operators $\sum_{i} a_{i} (y) \partial^{i}$ with rational-function coefficients.

It is instructive to verify simplicity by hand rather than by citing $(3.15)$ . The basic relation is

x y - y x = δ (y) = 1,

(E.1)

So already the two-sided ideal generated by $x$ contains $1$ and is everything.

More systematically, for $f = \sum_{i \leq n} a_{i} x^{i}$ with $a_{i} \in k$ one computes, using $x^{i} y = y x^{i} + i x^{i - 1}$ and the commutativity of $k$ ,

f y - y f = \sum_{i \leq n} i a_{i} x^{i - 1},

(E.2)

Bracketing with $y$ differentiates a polynomial formally with respect to $x$ .

Let $I \neq 0$ be an ideal and take $0 \neq f \in I$ of degree $n$ with leading coefficient $a_{n} \neq 0$ . Applying $(E . 2)$ $n$ times leaves $n! a_{n} \in I$ , which is nonzero because $char k = 0$ and $k$ is a field. A nonzero element of $k$ is a unit, so $I = R$ .

A concrete run

Take $f = y^{2} x^{3} + y \in I$ . Then bracketing with $y$ three times gives $3 y^{2} x^{2}$ , then $6 y^{2} x$ , then $6 y^{2}$ ; and $6 y^{2}$ is a unit in $ℚ (y)$ , so $I = R$ after three brackets.

A base ring where the construction always fails

Let $k = M_{2} (ℚ)$ . It is simple, so $δ$ -simple for any $δ$ . But every derivation of a matrix algebra over a field is inner: the Hochschild cohomology $H^{1}$ of a separable algebra vanishes. So for every derivation $δ$ of $M_{2} (ℚ)$ there is $c$ with $δ = {ad}_{c}$ , and $M_{2} (ℚ) [x; δ] ≅ M_{2} (ℚ) [t] ≅ M_{2} (ℚ [t])$ is never simple. Simplicity of $k$ is nowhere near sufficient.

Process and Workflow

Is $R = k [x; δ]$ simple?

$δ$ is innerNo. Put

t = x - c

; then

t

is central,

R = k [t]

and

t R

is a proper nonzero ideal. Applies in every characteristic.

$k$ has a proper nonzero $δ$ -idealNo. The polynomials with coefficients in that ideal form a proper nonzero two-sided ideal of

R

. Applies in every characteristic.

Neither obstruction, and $ℚ \subseteq k$ Yes, by

(3.15)

; and

R

is automatically not artinian, since

R x ⊋ R x^{2} ⊋ \dots

Neither obstruction, but $char k = p > 0$ Undecided by

(3.15)

, and often false. Check whether some power of

δ

vanishes or is inner: if

δ^{p} = 0

then

x^{p}

is central and

R

is not simple.

Identify the base dataFix

k

and

δ

, and confirm

δ

really is a derivation on all of

k

, not just on a subring.

Test for innernessSolve

δ (b) = c b - b c

for a single

c

. For commutative

k

this reduces to

δ = 0

; for a central simple algebra it always has a solution.

Test $δ$ -simplicityTake a nonzero ideal

𝔄

, pick an element of least degree or least complexity, and differentiate. If differentiation forces

𝔄

to contain a unit,

k

δ

-simple.

Check the characteristic

(3.15)

is stated for

ℚ

-algebras. In characteristic

p

, look for a central element such as

x^{p}

before concluding anything.

Record what simplicity does not give

R

is never artinian and its simplicity says nothing about noetherianness, which must be imported from

k

separately.

Comparison and Classification

Simplicity of $k [x; δ]$ across base rings
$k$	$δ$	$δ$ -simple?	Inner?	$k [x; δ]$ simple?
$ℚ$	$0$	yes	yes	no — this is $ℚ [x]$
$ℚ [y]$	$d / d y$	yes	no	yes — this is the Weyl algebra $A_{1} (ℚ)$
$ℚ (y)$	$d / d y$	yes	no	yes
$ℚ [y]$	$y d / d y$	no — $(y)$ is stable	no	no
$M_{2} (ℚ)$	any	yes	yes, always	no
$𝔽_{p} (y)$	$d / d y$	yes	no	no — $x^{p}$ is central
$𝔽_{p} [y]$	$d / d y$	no — $(y^{p})$ is stable	no	no

The two Ore extensions side by side
	$k [x; δ]$	$k [x, x^{- 1}; σ]$
Twisting data	derivation	automorphism
Commutation rule	$x a = a x + δ (a)$	$x a = σ (a) x$
Base condition	$k$ is $δ$ -simple	$k$ is $σ$ -simple
Non-degeneracy condition	$δ$ not inner	$σ$ of infinite inner order
Characteristic hypothesis	$ℚ \subseteq k$ required	none required
$x$ invertible	no	yes
Reference	(3.15)	(3.18)

The two Ore extensions side by side

The parallel is close but not perfect, and the asymmetry in the characteristic row is the interesting part: the Laurent criterion $(3.18)$ needs no hypothesis on $char k$ , because its final step divides by nothing.

Relationship Map

Simplicity of $R$ sits between conditions on $(k, δ)$ and conclusions about $R$ as a ring.

k

simple,

char k = 0

k

is a

ℚ

-algebra and

δ

-simpleplus

δ

non-inner

k [x; δ]

simple

k [x; δ]

not artinian

Ore extensions $k [x; σ, δ]$ the general construction

Differential polynomial rings $k [x; δ]$

σ = id

$k$ a $ℚ$ -algebra

(3.15)

applies

$k$ $δ$ -simple, $δ$ non-innersimple non-artinian rings

$k = k_{0} [y]$ , $δ = d / d y$ the Weyl algebra

A_{1} (k_{0})

$R = k [x; δ]$ simple — what follows and what does not
- always follows
  - $R$ is not left or right artinian
  - $rad R = 0$ and $R$ is prime and primitive
  - $Z (R)$ is a field, contained in $k^{δ}$
- follows only with extra hypotheses on $k$
  - $R$ is a domain — needs $k$ a domain
  - $R$ is left and right noetherian — needs $k$ noetherian
  - $R$ is a principal left ideal domain — needs $k$ a division ring
- never follows
  - $R ≅ M_{n} (D)$ for a division ring $D$
  - $R$ has a minimal left ideal
  - $R$ is finite-dimensional over its centre

Applications and Industry Use

Applications here means where this structure is used — inside mathematics and in the engineering and computing disciplines that consume it.

Symbolic computation

Algebras of differential operators

$ℚ (y) [x; d / d y]$ is the working ring of computer algebra for linear ODEs. Factoring operators, computing symbolic solutions and applying the Beke–Schlesinger algorithm all take place inside it; Maple's DEtools and Singular's Plural implement its arithmetic.

D-modules

Holonomic systems

Modules over differential operator algebras encode systems of linear PDEs. Simplicity of the operator ring is why such modules have no nontrivial two-sided obstructions and why localisation behaves; it underlies creative telescoping and automatic identity proving.

Control theory

Linear time-varying systems

A time-varying linear system is a module over a differential operator ring with function coefficients. Controllability and observability become module-theoretic properties, and the ring-theoretic hypotheses of this page are what make the dictionary work.

Source of examples

Simple noetherian domains

$(3.16)$ is the standard machine for producing simple rings that are not artinian. Almost every counterexample in the structure theory of noncommutative noetherian rings starts life as some $k [x; δ]$ .

Lie theory

Enveloping algebras

The enveloping algebra of a solvable Lie algebra is an iterated Ore extension, and simplicity criteria of this type identify which primitive quotients are simple — the starting point for Dixmier's classification of primitive ideals.

Quantum mechanics

Canonical commutation relations

The relation $x y - y x = 1$ is the Heisenberg relation. Simplicity of the resulting algebra is the algebraic reason it admits no finite-dimensional representation, which forces the use of unbounded operators on Hilbert space.

The honest summary: this is a manufacturing criterion. Its value is that it converts a hard question about a large noncommutative ring into two small checks on the base ring and its derivation.

Design Considerations

Design considerations here means the choices made when modelling a problem with these algebraic structures.

Polynomial or Laurent? If the operator you are modelling is invertible — a shift, a rotation — use the skew Laurent ring; if it is a genuine derivative, it is not invertible and $k [x; δ]$ is correct. This choice changes which criterion applies.
How large to make the base. Enlarging $k$ from $ℚ [y]$ to $ℚ (y)$ makes $δ$ -simplicity trivial and turns the result into a principal ideal domain, at the price of losing the graded structure and the finite-rank filtration. Choose $ℚ [y]$ when you need the Bernstein filtration, $ℚ (y)$ when you need division.
Left or right coefficients. Writing $\sum a_{i} x^{i}$ with coefficients on the left fixes the sign conventions in every computation that follows. The right-coefficient convention gives $a x = x a - δ (a)$ and silently negates $δ$ .
Characteristic. If your application lives in characteristic $p$ — coding theory, cryptography — do not import simplicity results from characteristic $0$ . The correct statement there involves the $p$ -th power operator and Azumaya-type descriptions, not simplicity.

Standards and Notation

Standards here covers notation, symbol and markup standards, and reference implementations, rather than material or design codes.

Preferred notation

k [x; δ]

(Lam, Goodearl–Warfield)

Common variants

k [x; 1, δ]

k ⟨ x; δ ⟩

R [\partial; δ]

in the D-module literature

General Ore extension

k [x; σ, δ]

with

x a = σ (a) x + δ (a)

Derivation symbol

δ

in ring theory;

\partial

D

in differential algebra

Constants

k^{δ}

, sometimes

C_{k}

Const (k)

MarkupPresentation MathML per ISO/IEC 40314; symbol conventions per ISO 80000-2

ImplementationsSingular:Plural nc_algebra, Sage OreAlgebra, Macaulay2 Dmodules, Maple Ore_algebra

Computational Notes

Computational notes cover algorithms, cost and library behaviour rather than manufacturing process.

Arithmetic in $k [x; δ]$ costs a factor of $\deg$ more than commutative polynomial arithmetic: multiplying $x^{m}$ past a coefficient expands into $m + 1$ terms via the binomial formula, so a naive product of two degree- $n$ operators costs $O (n^{3})$ coefficient operations rather than $O (n^{2})$ .
Left and right division algorithms exist whenever $k$ is a division ring, which makes $k [x; δ]$ a left and right euclidean domain. This is the computational backbone of operator factorisation.
Non-commutative Gröbner bases (Buchberger's algorithm adapted to G-algebras) terminate for $k [x; δ]$ over a field and are implemented in Singular:Plural and Macaulay2. They compute syzygies and elimination ideals for D-module algorithms.
Testing $δ$ -simplicity is not decidable in general. For $k$ a finitely generated commutative algebra over a field it reduces to a computation with differential ideals, which is effective but doubly exponential in the worst case.
Testing innerness of $δ$ on a finite-dimensional algebra is linear algebra: solve $δ (b_{j}) = c b_{j} - b_{j} c$ for the unknown $c$ across a basis. The cost is one linear system of size $O (m^{2})$ for $\dim_{k} = m$ .

Failure Modes and Common Mistakes

Do not expect simplicity to give any chain condition. $k [x; δ]$ is never artinian, and noetherianness must be inherited from $k$ .
Do not confuse the $δ$ -ideal condition $δ (𝔄) \subseteq 𝔄$ with $𝔄$ being generated by constants. The ideal $(y)$ of $ℚ [y]$ is not $δ$ -stable for $d / d y$ , but $(y)$ is $δ$ -stable for $δ = y d / d y$ .
Do not assume $Z (R) = k^{δ} \cap Z (k)$ without checking. Central elements of $R$ may involve $x$ — precisely what happens in characteristic $p$ , where $x^{p}$ is central.
Do not read $(3.16)$ as requiring $k$ to be commutative. Amitsur's corollary is most useful when $k$ is a noncommutative simple ring admitting an outer derivation.

Quick Reference

Construction

k [x; δ]

with

x a = a x + δ (a)

Expansion

x^{n} a = \sum_{i = 0}^{n} (\binom{n}{i}) δ^{n - i} (a) x^{i}

Criterion (3.15)

ℚ \subseteq k

: simple

\Leftrightarrow

δ

-simple and

δ

non-inner

Obstruction A

δ = {ad}_{c}

gives

t = x - c

central and

R = k [t]

Obstruction B

δ

-ideal

𝔄

gives the ideal

𝔄 R

Key identity

n δ (b) = b d - d b

from

b g - g b = 0

Amitsur (3.16)

k

simple,

char k = 0

δ

outer

\Rightarrow

R

simple non-artinian

Never

R

artinian;

R x ⊋ R x^{2} ⊋ \dots

Characteristic $p$

δ^{p} = 0 \Rightarrow x^{p}

central

\Rightarrow

not simple

Checklist for applying (3.15)
Check	What to verify	If it fails
$ℚ$ -algebra	every nonzero integer is a central unit of $k$	the theorem does not apply; look for central $x^{p}$
$δ$ -simplicity	no ideal $𝔄$ with $0 \neq 𝔄 \neq k$ and $δ (𝔄) \subseteq 𝔄$	$𝔄 R$ is a proper nonzero ideal
Non-innerness	no $c \in k$ with $δ = {ad}_{c}$	$R = k [x - c]$ , never simple
Domain	$k$ is a domain	$R$ has zero-divisors but may still be simple
Noetherian	$k$ is left or right noetherian	$R$ need not be noetherian

Frequently Asked Questions

Why does the theorem need

ℚ \subseteq k

rather than just characteristic

0

The proof divides by the integer $n$ , the minimal degree in the ideal, so $n$ must be invertible in $k$ and central. Characteristic $0$ alone says $n \cdot 1 \neq 0$ , which is weaker. In practice the gap rarely bites: Amitsur's $(3.16)$ shows that for $k$ simple of characteristic $0$ the centre is a field containing $ℚ$ , so $k$ is automatically a $ℚ$ -algebra.

δ

-simplicity of

k

implied by simplicity of

k [x; δ]

Yes, and that direction needs no hypothesis on the characteristic. If $𝔄$ is a $δ$ -ideal with $0 \neq 𝔄 \neq k$ , the polynomials with all coefficients in $𝔄$ form a proper nonzero two-sided ideal of $R$ . So the necessity half of $(3.15)$ holds for arbitrary rings $k$ .

What replaces the criterion in characteristic

p

There is no clean simplicity criterion, because simplicity usually fails. The right framework is different: for $k$ a field of characteristic $p$ with a nonzero derivation, $k [x; δ]$ is a free module of rank $p$ over the central subring generated by $x^{p}$ and the constants, and the object of study becomes an Azumaya algebra over that centre rather than a simple ring.

Does simplicity of

k [x; δ]

tell me anything about its one-sided ideals?

Almost nothing, and this is the usual disappointment. $k [x; δ]$ always has the strictly descending chain $R x ⊋ R x^{2} ⊋ \dots$ , so it is never artinian; it has no minimal left ideals; and its left ideal theory is as rich as that of $k$ allows. When $k$ is a division ring, $R$ is a principal left and right ideal domain, which is the best case.

How is this related to the Weyl algebra?

The Weyl algebra $A_{1} (k_{0})$ is the case $k = k_{0} [y]$ , $δ = d / d y$ . The extra work needed there is showing that $k_{0} [y]$ is $δ$ -simple even though it is not simple, which is a short minimal-degree argument in its own right. The page on the Weyl algebra carries it out.

Can

δ

be non-inner but become inner after enlarging

k

Yes, and this is the usual way non-innerness is destroyed. Passing from $ℚ [y]$ to a larger ring in which the operator $y$ acquires an inverse-like partner can make $δ$ inner. Innerness is not preserved by ring extensions in either direction, so it must be checked over the exact base you intend to use.

References

T. Y. Lam, A First Course in Noncommutative Rings, Graduate Texts in Mathematics 131, Springer-Verlag, 1991, §3, results (3.15)–(3.16) (pp. 44–45).
S. A. Amitsur, “Derivations in simple rings”, Proceedings of the London Mathematical Society (3) 7 (1957), 87–112.
K. R. Goodearl and R. B. Warfield, Jr., An Introduction to Noncommutative Noetherian Rings, 2nd edition, London Mathematical Society Student Texts 61, Cambridge University Press, 2004, Chapters 1–2.
J. C. McConnell and J. C. Robson, Noncommutative Noetherian Rings, revised edition, Graduate Studies in Mathematics 30, American Mathematical Society, 2001, Chapter 1.
N. Jacobson, “Abstract derivation and Lie algebras”, Transactions of the American Mathematical Society 42 (1937), 206–224.
O. Ore, “Theory of non-commutative polynomials”, Annals of Mathematics 34 (1933), 480–508.

AI Suggested Questions

Prove the expansion $x^{n} a = \sum_{i} (\binom{n}{i}) δ^{n - i} (a) x^{i}$ by induction and identify where commutativity is not used.
Determine the centre of $k [x; δ]$ when $k$ is a field of characteristic $p$ and $δ \neq 0$ .
Give a $ℚ$ -algebra $k$ that is $δ$ -simple for some $δ$ but has infinitely many ideals.
State and prove the analogue of $(3.15)$ for the general Ore extension $k [x; σ, δ]$ .
Which simple rings of characteristic $0$ admit an outer derivation? Compare the commutative and central simple cases.
Show that $k [x; δ]$ is a principal left ideal domain when $k$ is a division ring, and identify the euclidean function.
How does the failure of $(3.15)$ in characteristic $p$ relate to the Azumaya structure of differential operator rings?

Simplicity of Differential Polynomial Rings

Executive Summary

Overview

Learning Objectives

Definitions

Core Concepts

Obstruction one: stable ideals of the base

Obstruction two: inner derivations

Why a minimal-degree argument must work

Key Results

Proof Techniques and Method

Minimal degree plus leading coefficients

Commutators lower the degree

Normalise to monic, then read off a relation

Worked Example

The rational differential operator algebra $ℚ (y) [x; \frac{d}{d y}]$

A concrete run

A base ring where the construction always fails

Process and Workflow

Comparison and Classification

Relationship Map

Applications and Industry Use

Algebras of differential operators

Holonomic systems

Linear time-varying systems

Simple noetherian domains

Enveloping algebras

Canonical commutation relations

Design Considerations

Standards and Notation

Computational Notes

Failure Modes and Common Mistakes

Quick Reference

Frequently Asked Questions

References

AI Suggested Questions

Continue learning

01Executive Summary

02Overview

03Learning Objectives

04Definitions

05Core Concepts

Obstruction one: stable ideals of the base

Obstruction two: inner derivations

Why a minimal-degree argument must work

06Key Results

07Proof Techniques and Method

Minimal degree plus leading coefficients

Commutators lower the degree

Normalise to monic, then read off a relation

08Worked Example

The rational differential operator algebra ℚ(y)[x;ddy]

A concrete run

A base ring where the construction always fails

09Process and Workflow

10Comparison and Classification

11Relationship Map

12Applications and Industry Use

Algebras of differential operators

Holonomic systems

Linear time-varying systems

Simple noetherian domains

Enveloping algebras

Canonical commutation relations

13Design Considerations

14Standards and Notation

15Computational Notes

16Failure Modes and Common Mistakes

17Quick Reference

18Frequently Asked Questions

19Related KEVOS Topics

20References

21AI Suggested Questions

Continue learning

Executive Summary

Overview

Learning Objectives

Definitions

Core Concepts

Key Results

Proof Techniques and Method

Worked Example

The rational differential operator algebra $ℚ (y) [x; \frac{d}{d y}]$

Process and Workflow

Comparison and Classification

Relationship Map

Applications and Industry Use

Design Considerations

Standards and Notation

Computational Notes

Failure Modes and Common Mistakes

Quick Reference

Frequently Asked Questions

Related KEVOS Topics

References

AI Suggested Questions