Non-Primitive Dedekind Prime Rings

• Non-primitive Dedekind prime rings are noetherian, prime rings whose every nonzero ideal is invertible in a simple Artinian fraction ring while lacking faithful simple modules.
• Their structure is defined by bounded hereditary properties and maximal orders in central simple algebras, as emphasized by the Lenagan–Robson theorem.
• Invertible ideal theory in these rings guarantees unique factorization of nonzero ideals, which is key to understanding their module and singular injective structures.

A non-primitive Dedekind prime ring is an associative unital ring $A$ that is noetherian and prime, where every nonzero two-sided ideal of $A$ is invertible within its simple Artinian ring of fractions $Q = A[S^{-1}] \cong M_n(D)$ for some $n \ge 1$, $D$ a division ring, yet $A$ itself lacks faithful simple right (or left) modules and is not a simple Artinian ring. These rings form a distinguished subclass of hereditary noetherian prime (HNP) rings characterized by their ideal-theoretic properties, module structure, and order-theoretic interpretation in central simple algebras (Tuganbaev, 22 Jan 2026).

1. Precise Definitions

Let $A$ be an associative unital ring. The following definitions establish the conceptual framework:

• Prime Ring: $A$ is prime if for any nonzero two-sided ideals $B, C \subseteq A$, the product $BC \ne 0$.
• Noetherian: $A$0 satisfies the ascending chain condition on both right and left ideals.
• Invertible Ideal: An ideal $A$1 is invertible (in $A$2) if there exists an $A$3–$A$4 subbimodule $A$5 such that $A$6 inside $A$7.

Dedekind Prime Ring: $A$8

Non-primitive: $A$9

Formally, a non-primitive Dedekind prime ring $Q = A[S^{-1}] \cong M_n(D)$0 is a noetherian prime ring with simple Artinian ring of fractions $Q = A[S^{-1}] \cong M_n(D)$1 such that every nonzero two-sided ideal of $Q = A[S^{-1}] \cong M_n(D)$2 is invertible in $Q = A[S^{-1}] \cong M_n(D)$3 and $Q = A[S^{-1}] \cong M_n(D)$4 itself is not a simple Artinian ring (Tuganbaev, 22 Jan 2026).

2. Structural Results and Classification

Non-primitive Dedekind prime rings are bounded HNP rings that are maximal orders in their simple Artinian fraction rings. Two key theorems form the basis of their structural understanding:

• Lenagan–Robson Theorem: Any hereditary noetherian prime (HNP) ring $Q = A[S^{-1}] \cong M_n(D)$5 is either primitive or bounded. If $Q = A[S^{-1}] \cong M_n(D)$6 is both primitive and bounded, then it is simple Artinian. Non-primitive HNP rings are precisely bounded, non-Artinian HNP rings.
• Characterization Theorem: For $Q = A[S^{-1}] \cong M_n(D)$7 a noetherian prime ring with semisimple Artinian ring of fractions $Q = A[S^{-1}] \cong M_n(D)$8, the following are equivalent:
  1. Every nonzero ideal of $Q = A[S^{-1}] \cong M_n(D)$9 is an invertible $n \ge 1$0-ideal.
  2. $n \ge 1$1 is hereditary and every projective right (or left) ideal is two-sided.
  3. $n \ge 1$2 is a (maximal) order in the central simple algebra $n \ge 1$3.

In summary, non-primitive Dedekind prime rings are bounded hereditary noetherian prime rings that are maximal orders in a simple Artinian algebra, but lack faithful simple modules, distinguishing them from the simple Artinian case.

3. Representative Examples

A range of commutative and noncommutative constructions yield non-primitive Dedekind prime rings:

• Commutative Dedekind Domains: Any Dedekind domain $n \ge 1$4 which is not a field (e.g., $n \ge 1$5, rings of integers in number fields).

• Matrix Rings: $n \ge 1$6, with $n \ge 1$7, $n \ge 1$8 a Dedekind domain. For $n \ge 1$9, primitivity fails unless $D$0 is a field acting faithfully on a single row.
• Maximal Orders in Division Algebras: Given a global or local field $D$1 and central division algebra $D$2 over $D$3, a maximal $D$4-order $D$5 is typically a non-primitive Dedekind prime ring (unless $D$6 and $D$7).
• Hereditary Orders in Separable Algebras: Any hereditary order in a separable algebra over a Dedekind domain that is not simple Artinian.

Example Type	Ring Structure	Primitivity
Dedekind domain ($D$8)	Commutative	Non-primitive (if not a field)
Matrix ring ($D$9, $A$0)	Noncommutative	Non-primitive
Maximal order in division algebra	Central simple	Non-primitive (typically)
Hereditary order in separable alg.	Noncommutative	Non-primitive

4. Key Properties and Invariants

Central properties and invariants of non-primitive Dedekind prime rings include:

• Noetherian, Hereditary, Prime, Semiprime: Inferred from definitions and structural theorems; every Dedekind prime ring is a hereditary noetherian prime ring.
• Goldie Dimension: $A$1 has right Goldie dimension $A$2 when $A$3.
• Boundedness: Every essential right ideal contains a nonzero two-sided ideal; singular right ideals are precisely those containing no regular elements.
• Invertible Ideal Theory: Each nonzero two-sided ideal $A$4 is invertible; maximal invertible ideals $A$5 play the role of prime divisors, allowing for unique factorization of ideals.
• Fraction Ring: $A$6 is a semisimple Artinian ring; every nonzero ideal of $A$7 is essential as both a right and left ideal, therefore containing regular elements.
• Chain Conditions: $A$8 satisfies the ascending chain condition (ACC) on right and left annihilator ideals.
• Module Theory: Singular (torsion) modules split into their primary components indexed by $A$9. Indecomposable injective singular modules are uniserial $A$0-primary injectives as in Proposition 3.4 of (Tuganbaev, 22 Jan 2026); they possess a unique countable chain of cyclic submodules, with every nonzero quotient isomorphic to the module itself.

5. Ideal Theory: Factorization and Maximal Ideals

The theory of invertible ideals plays a foundational role:

• Definition (invertible ideal): $A$1
• Maximal Invertible Ideals $A$2: These serve as analogues of prime divisors, particularly in the context of ideal factorization.
• Unique Factorization: Every nonzero ideal factors uniquely (up to order) into products of maximal invertible ideals in $A$3. When $A$4 is finitely generated over its center, these maximal ideals correspond to height-one prime ideals in the center.

6. Singular Injective Module Structure

Indecomposable injective singular modules in non-primitive Dedekind prime rings $A$5 (with $A$6-primary component) exhibit the following structure:

• Uniseriality: Such modules are non-cyclic and uniserial, possessing a complete chain

$A$7

where each quotient $A$8 is simple.

• Self-isomorphism of Quotients: Every nonzero quotient of $A$9 is isomorphic to $A$0.
• Primary Decomposition: Every singular module splits into its primary components indexed by maximal invertible ideals.

References for Further Reading

• C. Faith, Algebra II, Springer–Verlag, 1976.
• K. R. Goodearl, R. B. Warfield, An Introduction to Noncommutative Noetherian Rings, Cambridge University Press, 1989.
• T. H. Lenagan, “Bounded hereditary noetherian prime rings,” Journal of the London Mathematical Society 6 (1973), 241–246.
• J. C. Robson, “Idealisers and hereditary noetherian prime rings,” Journal of Algebra 22 (1972), 45–81.
• A. Tuganbaev, “Generalized Bassian Modules over Non-primitive Dedekind Prime Rings” (Tuganbaev, 22 Jan 2026).