REVIEW 3 major objections 4 minor 16 references
Primitive quantales
T0 review · 3 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read This paper proves a density theorem for strongly primitive quantales, characterizing them as weakly dense quantales of linear operators of a module.
desk verdict Primitive quantales are a real new notion with some clean correct results, but the advertised 'density theorem' is a transitivity-based representation, not a Jacobson-style density result, and its finite version needs a basis assumption that excludes natural examples like Idl(Z). read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central objects are quantale modules: a complete lattice $M$ with a scalar multiplication $\cdot: Q \times M \to M$ that preserves arbitrary joins and obeys the monoid laws. A module is simple when its only submodules are $\{\bot\}$ and $M$, and strongly faithful when the map $Q \to \operatorname{End}(M)$ sending $\alpha$ to $\alpha\cdot(-)$ is injective. The density theorem is carried by the endomorphism quantale $\operatorname{End}_Q(M)$ and its subquantales: a weakly dense quantale of linear operators $D \subseteq \operatorname{End}_Q(M)$ is one that can send any nonzero $t$ to any $m$. Simplicity gives $Q\cdot t = M$, furnishing the operator that moves $t$ to $m$; strong faithfulness makes the representation $Q \to \operatorname{End}_{\operatorname{End}_Q(M)}(M)$ injective. A basis, meaning a family such that every element is uniquely an arbitrary or finite join of scaled basis elements, is needed for the direction that passes from dense to weakly dense operators, and the paper notes that not every module over a division quantale has one, with $\operatorname{Idl}(\mathbb{Z})$ over the truth-value quantale as an explicit counterexample.
What would settle it
To test Theorem 4.15(2), take a strongly primitive quantale $Q$ with a strongly faithful simple module $M$ and compute the image of the map $\alpha \mapsto \alpha\cdot(-)$ inside $\operatorname{End}_{\operatorname{End}_Q(M)}(M)$: the theorem predicts this image is weakly dense, so finding two nonzero elements $t,m$ of $M$ with no image operator sending $t$ to $m$ would refute it.
Extended reading notes
Core claim
On its own terms, the paper's central claim is that Jacobson's density theorem survives the passage from rings to quantales. Theorem 4.15 states that every strongly primitive quantale is isomorphic to a weakly dense quantale of linear operators of a module $M$, and conversely every weakly dense quantale of linear operators is strongly primitive (hence primitive). The proof constructs, for a strongly faithful simple $Q$-module $M$, the homomorphism of quantales $\psi: Q \to \operatorname{End}_{\operatorname{End}_Q(M)}(M)$ sending $\alpha$ to the operator $\alpha\cdot(-)$; strong faithfulness makes $\psi$ injective, while simplicity of $M$ makes its image weakly dense. The paper further proves that primitive quantales are prime (Proposition 3.6), that a prime quantale with a minimal left ideal is primitive (Proposition 3.8), and that a commutative strongly primitive quantale is a field quantale (Proposition 3.11).
Load-bearing premise
The load-bearing premise is that a module $M$ has a basis (Definition 4.2) for the direction of Theorem 4.15 that makes dense quantales of linear operators strongly primitive; the paper flags this as an explicit assumption, and $\operatorname{Idl}(\mathbb{Z})$ over the truth-value quantale shows that not every module has a weak basis.
Editorial extensions
If this is right
- Every strongly primitive quantale can be studied concretely as a quantale of join-preserving operators on a complete lattice, so structural questions about such quantales reduce to module-theoretic questions about $\operatorname{End}_Q(M)$.
- Every primitive ring $R$ yields a primitive quantale $\operatorname{Idl}(R)$ of ideals, so the classical theory embeds into the quantale theory as a source of examples.
- In every primitive quantale, any two nonzero elements can be separated by a triple product: $\alpha$ and $\beta$ cannot both be nonzero if $\alpha * \gamma * \beta = \bot$ for all $\gamma$.
- A commutative strongly primitive quantale must be a field quantale, so strong primitivity is a very rigid condition in the commutative case.
- For modules with a basis over a division quantale, dense quantales of linear operators are strongly primitive, giving a supply of concrete strongly primitive quantales from vector-space-like modules.
Reading between the lines
- The theorem suggests a representation theory for quantales parallel to Jacobson's: strongly primitive quantales should be classified by their endomorphism quantales $\operatorname{End}_Q(M)$, even though these need not be division quantales when $M$ is simple (Remark 4.16).
- Because bases are not automatic — $\operatorname{Idl}(\mathbb{Z})$ has no weak basis over the truth-value quantale — a natural extension is to find conditions weaker than a basis under which dense quantales of linear operators are still weakly dense.
- The primitivity-implies-primeness result gives a lattice-theoretic route to proving primeness of primitive rings by passing to their quantales of ideals.
- Atomic frames over the field quantale $\{\bot,\top\}$ have weak bases of atoms, so they are natural testbeds for constructing primitive and strongly primitive quantales.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces primitive and strongly primitive quantales by analogy with Jacobson primitive rings, defines modules over quantales, and proves that primitive quantales are prime and that commutative strongly primitive quantales are field quantales. The main advertised result is a 'density theorem' (Theorem 4.15) asserting that every strongly primitive quantale is isomorphic to a weakly dense quantale of linear operators of a module, with a converse direction for weakly dense operator quantales. The authors also show that primitive rings yield primitive quantales of ideals and that dense operator quantales over modules with a basis are strongly primitive.
Significance. If the results are read as structural observations about primitive quantales, the paper is a useful contribution: it gives a clean lattice-theoretic analogue of primitivity, proves the expected primeness and field-quantale statements (Propositions 3.6 and 3.11), and exhibits a natural passage from primitive rings to primitive quantales (Corollary 3.3). The proofs are short, explicit, and readily verifiable by hand, and the definitions are well-motivated by Mulvey's quantale framework. The main caveat is that the advertised 'density theorem' is much weaker than Jacobson's density theorem and is close to a restatement of strong primitivity; the paper's contribution therefore lies in the structural results and in the precise formulation of the operator-quantale representation, not in a genuinely new density phenomenon.
major comments (3)
- [§4, Theorem 4.15 and Definition 4.9] Theorem 4.15(1) is essentially a restatement of Definition 3.1 rather than a density theorem. A subquantale D of End_Q(M) is weakly dense exactly when for every nonzero t and every m there is f in D with f(t)=m, which is precisely the condition that M is simple as a D-module, since D·t=M. The proof that M is simple merely unwinds this definition, and strong faithfulness is automatic for any subquantale of End_Q(M) because evaluation distinguishes distinct endomorphisms. Similarly, Theorem 4.15(2) uses only simplicity of M to conclude Q·t=M, so the 'density' step is transitivity of the action. The paper should explicitly state that this is not a finite-interpolation density theorem in the Jacobson sense, and the abstract's unqualified phrase 'density theorem' should be qualified accordingly.
- [§4, Proposition 4.11 and Example 4.6] The only finite-interpolation type statement, Proposition 4.11, requires M to have a basis over a division quantale. This is a heavy restriction: Example 4.6 shows that Idl(Z), viewed as a module over the field quantale {⊥,⊤}, has no weak basis at all, so even very natural modules over a field quantale fail the hypothesis. Consequently, the dense half of the density theorem applies only to a narrow class of modules, and the paper should discuss this limitation where the theorem is stated, not only in the remark before Proposition 4.7.
- [§4, Theorem 4.15(2)] The proof of Theorem 4.15(2) constructs the representation via the injective homomorphism ψ:Q→End_{End_Q(M)}(M) and then proves weak density using Q·t=M. This is correct, but it shows only that every strongly primitive quantale acts transitively on a simple module; it does not establish any density of finite partial transformations. The theorem should be presented as a representation theorem for strongly primitive quantales, with the adjective 'density' either removed or explicitly redefined, because the current wording invites a comparison with Jacobson's density theorem that the result does not support.
minor comments (4)
- [§3, Theorem 3.2] In the statement of Theorem 3.2, 'the set Sub(M) of submodules of R' should read 'the set Sub(M) of submodules of M'; as written it is inconsistent with the proof.
- [§4, Proposition 4.11] In the proof of Proposition 4.11, the sentence defining f should say that f(t_j)=α_j^{-1}·m and f(t_{j'})=⊥_M for every j' in J with j' ≠ j; the displayed text appears to contain a typo where the second instance of t_j should be t_{j'}.
- [§4, Remark 4.13] The terminology 'linearly independent' in Remark 4.13 is used in a nonstandard sense (⟨u⟩∩⟨v⟩={⊥}); this is a legitimate observation, but the phrase should be quoted or explicitly defined to avoid confusion with the usual notion of linear independence.
- [§2, Definition 2.11] The definition of 'strongly faithful' is correct, but Remark 2.15 repeats the observation that strong faithfulness corresponds to injectivity of the associated homomorphism; this is fine, yet the distinction between faithfulness and strong faithfulness deserves a concrete example, since the paper later relies on strong faithfulness in an essential way.
Circularity Check
The proof of Theorem 4.15 is formally correct, but the advertised 'density theorem' is a definitional equivalence: weak density is exactly transitivity/simplicity of the module action, so the central result reduces to Definition 3.1 together with Proposition 2.10; the finite-interpolation version is hedged by a basis assumption that Example 4.6 shows fails for Idl(Z).
-
self definitional
[Definition 3.1; Proposition 2.10; Definition 4.9; Theorem 4.15(1)]
"Definition 3.1: '... strongly primitive if there exists a strongly faithful simple Q-module.' Proposition 2.10: '(2) For every m∈M with m≠⊥_M, we have ⟨m⟩=M.' Definition 4.9: '... weakly dense quantale of linear operators of M is a subquantale D of End_Q(M) such that for every t,m∈M with t≠⊥_M there exists f∈D such that f(t)=m.' Theorem 4.15(1): 'Since D is a weakly dense quantale of linear operators of M, for every n∈M there exists f∈D such that f(m)=n. ... We conclude that M is a strongly faithful simple module over D.'"
Combining Definition 4.9 with Proposition 2.10, weak density says exactly that for every nonzero m, D·m=⟨m⟩=M; i.e., M is simple as a D-module, and strong faithfulness is automatic for a subquantale of End_Q(M). Hence Theorem 4.15(1) is Definition 3.1 unpacked once. In the converse, Theorem 4.15(2) uses only simplicity of M to get Q·t=M for every nonzero t, producing the weakly dense image. No finite-interpolation or closeness statement is proved; the advertised 'density theorem' is the transitivity condition under another name. The paper's finite-interpolation result (Prop 4.11) is a separate, non-circular argument, but it needs a basis over a division quantale, and Example 4.6 shows Idl(Z) has no weak basis, so the dense version does not apply to natural examples.
full rationale
The formal proofs of the main structural statements (Cor 3.3, Prop 3.6, Prop 3.11) are self-contained and follow from the definitions and standard module facts; no prediction is fitted and no load-bearing self-citation occurs (the cited works are standard, and [10] is used only as prior context about hemirings). The circularity concern is confined to Theorem 4.15. There, the quantale version of 'density' introduced in Definition 4.9 is exactly transitivity of the module action: a subquantale D is weakly dense iff its module M is simple, by Proposition 2.10. Thus the density theorem's two directions are merely the two directions of the equivalence 'D acts strongly faithfully and simply on M' versus 'D is strongly primitive' (Definition 3.1), with the operator-quantale representation supplying the isomorphism. This is a correct but definition-level reformulation rather than a Jacobson-type density theorem; the abstract's phrase 'prove a density theorem' overstates the content. The paper is honest about the limitation of the genuinely finite-interpolation notion: a weak basis is not automatic (Remark 4.4), Example 4.6 shows Idl(Z) has no weak basis over {⊥,⊤}, and Proposition 4.11 needs the basis hypothesis. These limitations are flagged in the text and weigh against any claim of a full density theorem, but they are not themselves circular. Overall, since the central advertised density theorem reduces by construction, the circularity score is 6.
Assumptions & free parameters
assumptions (5)
- standard math ZFC set theory and standard classical mathematical reasoning
- domain assumption A quantale is a complete lattice with an associative product distributing over arbitrary joins and a two-sided identity
- domain assumption Modules over a quantale are complete lattices with scalar multiplication preserving arbitrary joins, per Definition 2.2
- standard math The lattice Idl(R) of ideals of a ring R is a quantale under ideal multiplication and sum
- domain assumption In an atomic frame every element is the join of atoms below it
Cite this review
Pith. "Pith review of Primitive quantales." pith.science (2026). https://pith.science/paper/VYRCVWMK
@misc{pith2026250608124,
author = {Pith},
title = {Pith review of: Primitive quantales},
year = {2026},
howpublished = {\url{https://pith.science/paper/VYRCVWMK}},
note = {Machine review of arXiv:2506.08124}
}
read the original abstract
We generalize Jacobson's notion of primitive ring to the setting of quantales. We show that every primitive ring gives rise to a primitive quantale of ideals. We then prove a density theorem for strongly primitive quantales. Furthermore, we show that primitive quantales are prime and commutative strongly primitive quantales are field quantales.
Reference graph
Works this paper leans on
-
[1]
D. D. Anderson, Multiplicative Lattices, PhD dissertation, University of Chicago, 1974
work page 1974
-
[2]
R. P. Dilworth, Abstract commutative ideal theory, Pacific J. Math., 12 (1962), 481–498
work page 1962
-
[3]
Dixmier, Enveloping algebras, Amer
J. Dixmier, Enveloping algebras, Amer. Math. Soc., 1996
work page 1996
-
[4]
R. S. Irving, Prime Ideals of Ore extensions over commutative rings, J. Algebra, 56 (1979), 315–342
work page 1979
-
[5]
Jacobson, A topology for the set of primitive ideals in an arbitrary ring, Proc
N. Jacobson, A topology for the set of primitive ideals in an arbitrary ring, Proc. Nat. Acad. Sei. U.S.A., 31 (1945), 333–338
work page 1945
-
[6]
, Structure of rings, Amer. Math. Soc. Colloquium Publications, vol. 37, Providence, 1956
work page 1956
-
[7]
An introduction, Springer-Verlag, 1975
, PI-algebras. An introduction, Springer-Verlag, 1975
work page 1975
-
[8]
Joseph, Primitive ideals in enveloping algebras, Proc
A. Joseph, Primitive ideals in enveloping algebras, Proc. ICM (Warsaw, 1983), 403–414, Warsaw, 1984
work page 1983
Show all 16 references
-
[9]
, Quantum groups and their primitive ideals, Springer, 1995
1995
-
[10]
Katsov and T
Y. Katsov and T. G. Nam, On radicals of semirings and related problems, Comm. Algebra, 42 (2014), 5065–5099
2014
-
[11]
A.A.Kucherov,O.A.Pikhtilkova,andS.A.Pikhtilkov,OnprimitiveLiealgebras,J.Math.Sci.,186(4)(2012),651–654
2012
-
[12]
C. J. Mulvey, &,Rend. Circ. Mat. Palermo (2) Suppl.No. 12 (1986), 99–104
1986
-
[13]
K. I. Rosenthal, Modules over a quantale and models for the operator ! in linear logic, Cah. Topol. Géom. Différ. Catég., 35(4) (1994), 329–333
1994
-
[14]
L. H. Rowen, Ring theory, vol. I, Academic Press, Inc., 1988. PRIMITIVE QUANTALES 11
1988
-
[15]
Box 524, Auckland Park 2006, South Africa
Department of Mathematics and Applied Mathematics, University of Johannesburg, P .O. Box 524, Auckland Park 2006, South Africa. [2] National Institute for Theoretical and Computational Sciences (NITheCS), South Africa. Email address:agoswami@uj.ac.za
2006
-
[16]
[2] National Institute for Theoretical and Computational Sciences (NITheCS), South Africa
Department of Mathematical Sciences, Stellenbosch University , South Africa. [2] National Institute for Theoretical and Computational Sciences (NITheCS), South Africa. Email address:elena.caviglia@outlook.com Department of Mathematical Sciences, Stellenbosch University , South...
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.