Posner's First Theorem

• Posner's First Theorem is a principle in noncommutative algebra that encapsulates both the derivation-rigidity in prime rings and the structural properties of prime PI-rings.
• In its derivation-theoretic form, the theorem asserts that if the composition of derivations in a prime ring (with char ≠2) remains a derivation, then one of the derivations must vanish.
• The PI-theoretic formulation localizes a prime PI-ring to a finite-dimensional central simple algebra through the extended centroid and central closure, providing a robust framework for algebraic structure analysis.

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 (Eisaei et al., 2024, Bresar, 2010).

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 (Eisaei et al., 2024, Bresar, 2010). 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 (Bresar, 2010). In later work, this theorem becomes the structural starting point for Formanek-type module-finiteness results and for graded and superalgebraic analogues (Panasenko, 2019, Karasik, 2016). 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 (Lutz, 2023).

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

$2$0

The form recorded in the weighted convolution paper is the following: if $2$1 is a prime ring with $2$2, $2$3 are derivations, and the product $2$4 is also a derivation, then one of the derivations is zero (Eisaei et al., 2024).

The significance of the statement is its rigidity. Composition is not naturally compatible with the Leibniz rule, so the condition that $2$5 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 $2$6-derivations (Eisaei et al., 2024).

In this usage, primeness is essential. The same paper notes that its Banach algebra $2$7 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 (Eisaei et al., 2024).

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 $2$8 is a prime PI-ring with extended centroid $2$9, then its central closure $d_1,d_2:R\to R$0 is a finite-dimensional central simple algebra over $d_1,d_2:R\to R$1; every nonzero ideal of $d_1,d_2:R\to R$2 intersects the center $d_1,d_2:R\to R$3 nontrivially; $d_1,d_2:R\to R$4 is the field of fractions of $d_1,d_2:R\to R$5; and every element of $d_1,d_2:R\to R$6 has the form $d_1,d_2:R\to R$7 with $d_1,d_2:R\to R$8 and $d_1,d_2:R\to R$9 (Bresar, 2010).

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 $d_1d_2$0 contains $d_1d_2$1, and its center

$d_1d_2$2

is the extended centroid, a field containing the center $d_1d_2$3 (Bresar, 2010). The central closure is the subalgebra

$d_1d_2$4

Brešar emphasizes that both $d_1d_2$5 and $d_1d_2$6 remain prime and that the extended centroid of $d_1d_2$7 is again $d_1d_2$8 (Bresar, 2010).

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 (Panasenko, 2019). 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 (Bresar, 2010). The key technical input is Theorem 2.1: if

$d_1d_2$9

on a nonzero ideal $d_1,d_2$0 of a prime ring, and $d_1,d_2$1 are linearly independent over the extended centroid $d_1,d_2$2, then each $d_1,d_2$3 is a linear combination of $d_1,d_2$4 (Bresar, 2010). 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 $d_1,d_2$5 is the whole ring, so $d_1,d_2$6 is simple. The same argument yields $d_1,d_2$7, whence $d_1,d_2$8, so $d_1,d_2$9 is central over $\theta$0 (Bresar, 2010). 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 $\theta$1 is central simple and PI, it follows that $\theta$2 (Bresar, 2010).

Once finite-dimensional central simplicity is established, the remaining conclusions follow. Every nonzero ideal of $\theta$3 meets $\theta$4 nontrivially; the extended centroid is precisely the fraction field of the center; and every element of $\theta$5 is represented by a single central fraction $\theta$6 (Bresar, 2010). 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 (Bresar, 2010).

5. Graded and superalgebraic extensions

A major later development is the extension of Posner-type structure to graded and superalgebraic settings. For $\theta$7-graded algebras, Aljadeff and Kanel-Belov prove a $\theta$8-graded version of Posner’s theorem. If $\theta$9 is a field of characteristic $\operatorname{char}(R)\neq 2$0, $\operatorname{char}(R)\neq 2$1 is residually finite, and $\operatorname{char}(R)\neq 2$2 is a $\operatorname{char}(R)\neq 2$3-prime and PI $\operatorname{char}(R)\neq 2$4-algebra, then for

$\operatorname{char}(R)\neq 2$5

the localization $\operatorname{char}(R)\neq 2$6 is $\operatorname{char}(R)\neq 2$7-graded simple and finite-dimensional over its center (Karasik, 2016). Here the degree-$\operatorname{char}(R)\neq 2$8 part of the center replaces the ordinary center, reflecting the fact that the center need not be graded when $\operatorname{char}(R)\neq 2$9 is nonabelian. The proof introduces strong central polynomials to guarantee nonzero degree-$d_1d_2$0 central evaluations and uses quotient gradings to reduce from residually finite groups to finite groups (Karasik, 2016).

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 (Panasenko, 2019). From there it derives super-analogues of Formanek’s module-finiteness theorem. In the associative case, if $d_1d_2$1 is a unital associative superalgebra, $d_1d_2$2 has no zero divisors of $d_1d_2$3, and the central closure $d_1d_2$4 is simple and finite-dimensional, then $d_1d_2$5 embeds into a free finitely generated $d_1d_2$6-module (Panasenko, 2019).

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 $d_1d_2$7-module or the central closure is isomorphic to the exceptional algebra $d_1d_2$8 (Panasenko, 2019). For classical simple Jordan superalgebras, a unital central order embeds into a free finitely generated module over the even center (Panasenko, 2019). 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 $d_1d_2$9-derivations

The 2024 paper on weighted convolution algebras adapts the derivation-theoretic form of Posner’s First Theorem to the Banach algebra $d_1,d_2$0 equipped with the first Arens product (Eisaei et al., 2024). The setting begins with a weight function $d_1,d_2$1 satisfying continuity, $d_1,d_2$2, and $d_1,d_2$3. The dual space $d_1,d_2$4 becomes a Banach algebra under the first Arens product, and for a right identity $d_1,d_2$5 one has a decomposition

$d_1,d_2$6

The first summand is isometrically isomorphic to $d_1,d_2$7 and is therefore commutative; by Titchmarsh’s convolution theorem it is also an integral domain (Eisaei et al., 2024).

A homomorphism $d_1,d_2$8 on this algebra is multiplicative, and a left $d_1,d_2$9-derivation is a linear map $d:R\to R$0 such that

$d:R\to R$1

A key preliminary theorem states that every left $d:R\to R$2-derivation on this algebra is automatically a $d:R\to R$3-commuting $d:R\to R$4-derivation (Eisaei et al., 2024). The paper then proves its Posner-type theorem: if $d:R\to R$5 is an idempotent monomorphism and $d:R\to R$6 are left $d:R\to R$7-derivations, then either $d:R\to R$8 or $d:R\to R$9; if moreover $2$00, then $2$01 or $2$02 (Eisaei et al., 2024).

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

$2$03

and a Singer–Wermer-type theorem asserting that a left $2$04-derivation with image in the radical must be zero (Eisaei et al., 2024). In this way, the classical rigidity phenomenon survives in a non-prime analytic setting, although only after replacing ordinary derivations by left $2$05-derivations and imposing idempotence, injectivity, and, in the strongest conclusion, commutation with $2$06.

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 (Eisaei et al., 2024, Bresar, 2010).

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 (Eisaei et al., 2024, Bresar, 2010). 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-$2$07 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 (Karasik, 2016, Panasenko, 2019).

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.