---
title: Posner's First Theorem
url: https://www.emergentmind.com/topics/posner-s-first-theorem
type: topic
---

# Posner's First Theorem

Searching arXiv for recent and foundational papers on Posner’s theorem and closely related usages.
Tool call: arxiv_search(query="Posner theorem prime PI ring derivation Posner's first theorem", max_results=10, sort_by="relevance")
Searching arXiv for exact phrases and canonical formulations.
arxiv_search:
{"query":"Posner's theorem prime PI-ring derivations", "max_results": 10, "sort_by": "relevance"}
Posner’s First Theorem is a label attached to two closely related but non-identical strands of noncommutative algebra. In one usage, standard in derivation theory, it denotes the rigidity statement that if $R$ is a prime ring of characteristic not $2$, $d_1,d_2:R\to R$ are derivations, and the composition $d_1d_2$ is again a derivation, then one of $d_1,d_2$ is zero. In another usage, standard in PI-theory, “Posner’s theorem” denotes the structure theorem for prime PI-rings: after passage to the central closure, a prime PI-ring becomes a finite-dimensional central simple algebra over its extended centroid. Modern arXiv treatments develop both traditions and extend them to graded algebras, superalgebras, and Banach-algebraic settings [2403.16036] [1003.5275].

## 1. Terminology, historical placement, and scope

The arXiv literature does not use the name uniformly. The paper on left $\theta$-derivations identifies Posner’s First Theorem with the derivation-rigidity result for prime rings, whereas Brešar’s study of prime PI-rings presents “Posner’s theorem” as the structure theory of prime PI-rings via the extended centroid and central closure [2403.16036] [1003.5275]. This suggests a genuine terminological bifurcation rather than a mere difference of exposition.

| Usage | Setting | Core conclusion |
|---|---|---|
| Derivation-theoretic | Prime ring, $\operatorname{char}(R)\neq 2$ | If $d_1d_2$ is a derivation, then one of $d_1,d_2$ is zero |
| PI-theoretic | Prime PI-ring | The central closure is a finite-dimensional central simple algebra |

Historically, the PI-theoretic line is placed after Kaplansky’s 1948 theorem that a primitive PI-algebra is finite-dimensional over its center and Posner’s 1960 extension from primitive to prime rings [1003.5275]. In later work, this theorem becomes the structural starting point for Formanek-type module-finiteness results and for graded and superalgebraic analogues [1912.11671] [1610.03977]. An unrelated theorem in computability theory is the Posner–Robinson theorem, which concerns Turing degrees and the Turing jump rather than prime rings, derivations, or PI-structure [2301.07259].

## 2. Classical derivation-theoretic formulation

In the derivation-theoretic sense, Posner’s First Theorem concerns ordinary derivations on prime rings. A derivation is a map $d:R\to R$ satisfying
\[
d(xy)=d(x)y+xd(y), \qquad x,y\in R.
\]
The form recorded in the weighted convolution paper is the following: if $R$ is a prime ring with $\operatorname{char}(R)\neq 2$, $d_1,d_2:R\to R$ are derivations, and the product $d_1d_2$ is also a derivation, then one of the derivations is zero [2403.16036].

The significance of the statement is its rigidity. Composition is not naturally compatible with the Leibniz rule, so the condition that $d_1d_2$ is again a derivation is highly restrictive. The theorem asserts that in a prime ring this compatibility forces degeneracy: one factor must vanish. The weighted convolution paper explicitly presents the result as a ring-theoretic prototype for later Banach-algebraic analogues involving left $\theta$-derivations [2403.16036].

In this usage, primeness is essential. The same paper notes that its Banach algebra $L_0^\infty(\mathbb{R}^+,\omega)^*$ is not a prime ring, so Posner’s original theorem cannot be applied directly there. The later analogue therefore replaces primeness by a combination of annihilator control, radical structure, and specific properties of the Arens product [2403.16036].

## 3. Prime PI-rings, extended centroid, and central closure

In PI-theory, Posner’s theorem describes the structure of prime rings satisfying a polynomial identity. Brešar formulates the modern version as follows: if $R$ is a prime PI-ring with extended centroid $C$, then its central closure $R_C$ is a finite-dimensional central simple algebra over $C$; every nonzero ideal of $R$ intersects the center $Z(R)$ nontrivially; $C$ is the field of fractions of $Z(R)$; and every element of $R_C$ has the form $z^{-1}r$ with $0\neq z\in Z(R)$ and $r\in R$ [1003.5275].

The relevant definitions are intrinsic to prime-ring localization. A prime ring is one in which the product of two nonzero ideals is always nonzero. For such a ring, the symmetric Martindale ring of quotients $Q_s(R)$ contains $R$, and its center
\[
C(R)=Z(Q_s(R))
\]
is the extended centroid, a field containing the center $Z(R)$ [1003.5275]. The central closure is the subalgebra
\[
R_C=\left\{\sum_{i=1}^n \lambda_i r_i : \lambda_i\in C,\ r_i\in R\right\}\subseteq Q_s(R).
\]
Brešar emphasizes that both $Q_s(R)$ and $R_C$ remain prime and that the extended centroid of $R_C$ is again $C$ [1003.5275].

This formulation is equivalent to the classical statement that a prime PI-ring has a classical ring of quotients that is central simple and finite-dimensional over its center. In the language of central orders, the same result is summarized by saying that associative prime PI-rings coincide with central orders in matrix algebras over finite-dimensional division algebras [1912.11671]. The theorem therefore converts a prime PI-ring into an object governed by central simple algebra theory after localization at central elements.

## 4. Proof architecture in the PI-theoretic form

Brešar’s paper gives what it calls a simple and direct route to the structure theory of prime PI-rings, organized around the extended centroid and a Martindale-type functional identity theorem [1003.5275]. The key technical input is Theorem 2.1: if
\[
\sum_{i=1}^n a_i x b_i = \sum_{j=1}^m c_j x d_j \qquad \forall x\in I
\]
on a nonzero ideal $I$ of a prime ring, and $a_1,\dots,a_n$ are linearly independent over the extended centroid $C$, then each $b_i$ is a linear combination of $d_1,\dots,d_m$ [1003.5275]. This theorem supplies a strong linear-dependence principle for functional identities on ideals.

The proof of Posner’s theorem then proceeds in stages. First, one shows that every nonzero ideal of the central closure $R_C$ is the whole ring, so $R_C$ is simple. The same argument yields $C\subseteq R_C$, whence $Z(R_C)=C$, so $R_C$ is central over $C$ [1003.5275]. Second, one applies a Kaplansky-type proposition for central simple algebras: a central simple algebra over a field is PI if and only if it is finite-dimensional over that field. Since $R_C$ is central simple and PI, it follows that $\dim_C R_C<\infty$ [1003.5275].

Once finite-dimensional central simplicity is established, the remaining conclusions follow. Every nonzero ideal of $R$ meets $Z(R)$ nontrivially; the extended centroid is precisely the fraction field of the center; and every element of $R_C$ is represented by a single central fraction $z^{-1}r$ [1003.5275]. Brešar stresses that this approach avoids several classical tools, including Jacobson density, Nakayama–Azumaya, Amitsur’s theorem on the Jacobson radical of polynomial rings, and central polynomials, replacing them with the functional-identity framework built around the extended centroid [1003.5275].

## 5. Graded and superalgebraic extensions

A major later development is the extension of Posner-type structure to graded and superalgebraic settings. For $G$-graded algebras, Aljadeff and Kanel-Belov prove a $G$-graded version of Posner’s theorem. If $F$ is a field of characteristic $0$, $G$ is residually finite, and $W$ is a $G$-prime and PI $F$-algebra, then for
\[
S=\{\,c\in Z(W)_e : c\neq 0\,\},
\]
the localization $S^{-1}W$ is $G$-graded simple and finite-dimensional over its center [1610.03977]. Here the degree-$e$ part of the center replaces the ordinary center, reflecting the fact that the center need not be graded when $G$ is nonabelian. The proof introduces strong central polynomials to guarantee nonzero degree-$e$ central evaluations and uses quotient gradings to reduce from residually finite groups to finite groups [1610.03977].

In superalgebra theory, the same structural paradigm is expressed through central orders. The paper on central orders in simple finite-dimensional superalgebras states that all associative prime PI-rings coincide with central orders in matrix algebras over finite-dimensional division algebras, and treats this as the “first point” of the theory [1912.11671]. From there it derives super-analogues of Formanek’s module-finiteness theorem. In the associative case, if $B=B_0+B_1$ is a unital associative superalgebra, $Z=Z(B)_0$ has no zero divisors of $B$, and the central closure $A=Z^{-1}B$ is simple and finite-dimensional, then $B$ embeds into a free finitely generated $Z$-module [1912.11671].

The same paper develops parallel statements for alternative and Jordan superalgebras. For unital alternative non-associative superalgebras with finite-dimensional central simple central closure, either the algebra embeds into a free finitely generated $Z$-module or the central closure is isomorphic to the exceptional algebra $B(T,\alpha,\gamma)$ [1912.11671]. For classical simple Jordan superalgebras, a unital central order embeds into a free finitely generated module over the even center [1912.11671]. In each case, the Posner pattern is the same: a prime or central-order object localizes to a simple finite-dimensional algebra, and the original algebra inherits strong finiteness over its center.

## 6. Banach-algebraic analogue for left $\theta$-derivations

The 2024 paper on weighted convolution algebras adapts the derivation-theoretic form of Posner’s First Theorem to the Banach algebra $L_0^\infty(\mathbb{R}^+,\omega)^*$ equipped with the first Arens product [2403.16036]. The setting begins with a weight function $\omega:\mathbb{R}^+\to[1,\infty)$ satisfying continuity, $\omega(0)=1$, and $\omega(x+y)\leq \omega(x)\omega(y)$. The dual space $L_0^\infty(\mathbb{R}^+,\omega)^*$ becomes a Banach algebra under the first Arens product, and for a right identity $v$ one has a decomposition
\[
L_0^\infty(\mathbb{R}^+,\omega)^*
=
v\cdot L_0^\infty(\mathbb{R}^+,\omega)^*
\oplus
\operatorname{ran}(L_0^\infty(\mathbb{R}^+,\omega)^*).
\]
The first summand is isometrically isomorphic to $M(\mathbb{R}^+,\omega)$ and is therefore commutative; by Titchmarsh’s convolution theorem it is also an integral domain [2403.16036].

A homomorphism $\theta$ on this algebra is multiplicative, and a left $\theta$-derivation is a linear map $\delta$ such that
\[
\delta(s\cdot t)=\theta(s)\cdot\delta(t)+\theta(t)\cdot\delta(s).
\]
A key preliminary theorem states that every left $\theta$-derivation on this algebra is automatically a $\theta$-commuting $\theta$-derivation [2403.16036]. The paper then proves its Posner-type theorem: if $\theta$ is an idempotent monomorphism and $\delta_1,\delta_2,\delta_1\delta_2$ are left $\theta$-derivations, then either $\delta_1|_{\operatorname{Im}(\theta)}=0$ or $\delta_2=0$; if moreover $\theta\delta_1=\delta_1\theta$, then $\delta_1=0$ or $\delta_2=0$ [2403.16036].

This analogue is notable because the ambient algebra is explicitly not prime. The proof replaces primeness by a constellation of Banach-algebraic devices: the decomposition into a commutative integral-domain part and a right annihilator, the identification
\[
\operatorname{rad}(L_0^\infty(\mathbb{R}^+,\omega)^*)=
\operatorname{ran}(L_0^\infty(\mathbb{R}^+,\omega)^*),
\]
and a Singer–Wermer-type theorem asserting that a left $\theta$-derivation with image in the radical must be zero [2403.16036]. In this way, the classical rigidity phenomenon survives in a non-prime analytic setting, although only after replacing ordinary derivations by left $\theta$-derivations and imposing idempotence, injectivity, and, in the strongest conclusion, commutation with $\theta$.

## 7. Conceptual significance and persistent misconceptions

The central conceptual content of Posner’s First Theorem is rigidity under structural constraints. In the derivation-theoretic form, the constraint is that the composition of two derivations remains a derivation; in the PI-theoretic form, the constraint is that a prime ring satisfies a polynomial identity. In both cases the conclusion is a collapse toward a much more rigid object: either one derivation is forced to vanish, or the ring localizes to a finite-dimensional central simple algebra [2403.16036] [1003.5275].

A common misconception is that all uses of the name refer to a single theorem. The cited literature shows otherwise. One branch studies derivations on prime rings and their analogues; another studies the structure of prime PI-rings via the extended centroid and central closure. The two are linked by a shared rigidity ethos, not by a single formal statement [2403.16036] [1003.5275]. A second misconception is that the theorem is confined to the ungraded associative setting. The graded and superalgebraic literature demonstrates that the Posner paradigm survives after substantial modification: central localization must be replaced by degree-$e$ localization in graded settings, and in superalgebra theory the correct replacement is often the notion of a central order in a simple finite-dimensional superalgebra [1610.03977] [1912.11671].

Taken together, these developments place Posner’s First Theorem among the canonical bridge principles of noncommutative algebra. Whether expressed as a theorem about compositions of derivations or as a theorem about prime PI-rings, it identifies conditions under which apparently flexible noncommutative objects are forced into sharply constrained forms.

Source: https://www.emergentmind.com/topics/posner-s-first-theorem