pith. sign in

arxiv: 2606.21782 · v1 · pith:QAFYEG3Inew · submitted 2026-06-19 · 🧮 math.AC

Adjoining Idempotents to a Commutative Ring preprint version

W.D. Burgess , R. Raphael This is my paper

Pith reviewed 2026-06-26 12:15 UTC · model grok-4.3

classification 🧮 math.AC
keywords commutative ringsidempotentsweak Baer ringsPierce stalksf-ringsflat modulesSpecker algebraspure ideals
0
0 comments X

The pith

For semiprime rings, adjoining all idempotents from the complete quotient ring produces a flat module over R exactly when R is weak Baer.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper studies the effects of forming an idempotent-generated R-algebra A by adjoining idempotents from the complete ring of quotients. It proves that when R is semiprime, A is flat as an R-module if and only if R is weak Baer, and in that case A is locally Specker. It also proves that R is an f-ring if and only if every Pierce stalk of R has no non-trivial pure ideals. These results connect the module-theoretic behavior of the adjunction construction to intrinsic properties of R and its stalks.

Core claim

If R is semiprime and A is formed by adjoining all idempotents of the complete ring of quotients to R, then A_R is flat if and only if R is weak Baer, in which case A is locally Specker. Separately, R is an f-ring if and only if each of its Pierce stalks has no non-trivial pure ideals.

What carries the argument

The R-algebra A obtained by adjoining idempotents from the complete ring of quotients, together with the Pierce stalks of the Pierce sheaf of R.

If this is right

  • If R is weak Baer and A is ring essential over R, then A is weak Baer and locally Specker.
  • R satisfies a given property if and only if every Pierce stalk satisfies that property, for the properties examined in the paper.
  • The class of f-rings expands because it is now characterized by the absence of non-trivial pure ideals in Pierce stalks.
  • f-rings play a distinguished role among the idempotent-generated R-algebras.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The flatness criterion may extend to other module properties of A when the semiprime hypothesis is relaxed.
  • The stalk characterization of f-rings suggests a route to produce new examples by constructing rings whose stalks satisfy the pure-ideal condition.
  • The dependence on the Pierce sheaf indicates that similar equivalences could be sought in other sheaf representations of commutative rings.

Load-bearing premise

R must be semiprime for the flatness equivalence to hold, and A must be ring essential over R for the weak Baer transfer to hold.

What would settle it

A concrete semiprime ring R that is not weak Baer, yet whose corresponding A is still flat as an R-module, would falsify the claimed equivalence.

read the original abstract

Everything takes place in the category of commutative unitary rings. For a fixed ring $R$, $\alg{R}$ is the class of $R$-algebras and $\igr{R}$ the subclass of idempotent generated $R$-algebras. Following Bezhanishvili et al and their study of Specker and locally Specker $R$-algebras, this paper studies the interplay of properties of $R$ and $A\in \igr{R}$ (both as rings and as $R$-modules). Examples: (1) If $R\sbq A\in \igr{R}$ and $R$ is weak Baer (aka p.p.\ ring) and $A$ is ring essential over $R$, then $A$ is weak Baer and locally Specker. (2) If $R$ is semiprime and all the idempotents of the complete ring of quotients are adjoined to $R$ to form $A$, then $A_R$ is flat iff $R$ is weak Baer, in which case $A$ is locally Specker. The Pierce sheaf is often used since it is based on idempotents. Properties are examined, old and new, that are true for $R$ iff they are true for all the Pierce stalks. Among the new is the result for f-rings (pure ideals are generated by idempotents): $R$ is an f-ring iff each of its Pierce stalks has no non-trivial pure ideals. This allows the expansion of the known classes of f-rings; f-rings play important roles in $\igr{R}$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 0 minor

Summary. The manuscript studies idempotent-generated R-algebras A in the category of commutative unitary rings. It gives two main examples: (1) if R ⊆ A with R weak Baer and A ring-essential over R, then A is weak Baer and locally Specker; (2) if R is semiprime and A is obtained by adjoining all idempotents of the complete ring of quotients, then A is flat over R if and only if R is weak Baer, in which case A is locally Specker. It further claims that R is an f-ring if and only if every Pierce stalk has no non-trivial pure ideals, and notes that this characterization expands the known classes of f-rings.

Significance. If the stated equivalences hold, the results would extend the theory of Specker and locally Specker algebras by supplying concrete conditions under which adjoining idempotents preserves or implies flatness and related properties. The Pierce-stalk characterization of f-rings offers a new equivalence that could facilitate identification of additional examples within igr{R}.

major comments (1)
  1. [Abstract] Abstract: the manuscript asserts multiple theorems and equivalences (the flatness criterion for semiprime R, the preservation of weak Baer under ring-essential extensions, and the f-ring characterization via Pierce stalks) but supplies no derivations, error analysis, or verification steps; soundness cannot be checked from the given text.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their comments on the manuscript. The sole major comment questions the abstract's lack of derivations; we respond below. The full paper contains all proofs and verifications.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the manuscript asserts multiple theorems and equivalences (the flatness criterion for semiprime R, the preservation of weak Baer under ring-essential extensions, and the f-ring characterization via Pierce stalks) but supplies no derivations, error analysis, or verification steps; soundness cannot be checked from the given text.

    Authors: Abstracts are summaries of results and do not contain proofs or derivations, which is standard practice. The complete manuscript includes full proofs, derivations, and verifications of the stated theorems and equivalences (including the flatness criterion, preservation of weak Baer, and the Pierce-stalk characterization of f-rings) in the body sections. Soundness is verifiable from the full text provided. revision: no

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivations consist of equivalences (flatness of A_R iff R is weak Baer, under explicit semiprime hypothesis; R is f-ring iff Pierce stalks have no non-trivial pure ideals) and implications (weak Baer + ring-essential implies A weak Baer and locally Specker) that rest on standard properties of idempotents, the Pierce sheaf, and external references to Bezhanishvili et al. No equations or claims reduce by construction to fitted inputs, self-definitions, or load-bearing self-citations; all results are scoped with stated hypotheses and reference independent prior work.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Only the abstract is available; no free parameters, invented entities, or non-standard axioms are detectable from the provided text. The work rests on the standard setting of commutative unitary rings and the Pierce sheaf construction.

axioms (2)
  • domain assumption All work occurs in the category of commutative unitary rings.
    Explicitly stated at the start of the abstract.
  • domain assumption Properties of R hold globally if and only if they hold at every Pierce stalk.
    Described as a method used throughout the paper.

pith-pipeline@v0.9.1-grok · 5824 in / 1305 out tokens · 39344 ms · 2026-06-26T12:15:00.852055+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

29 extracted references

  1. [1]

    and Fuller, K.R

    Anderson, F.W. and Fuller, K.R. (1992)Rings and Categories of Modules. New York, NY: Springer-Verlag

    1992

  2. [2]

    Aoyama, K. (2017). On the structure space of a direct product of rings,J. Sci. Hiroshina Univ. 34: 339–353

    2017

  3. [3]

    and Marconi, U

    Artico, G. and Marconi, U. (1977). On the compactness of the minimal spec- trum.Rend. Sem. Mat. Univ. Padova. 56: 79–84

    1977

  4. [4]

    and Macdonald, I.G

    Atiyah, M.F. and Macdonald, I.G. (1969)Introduction to Commutative Alge- bra. Addison-Wesley. 28 W.D. BURGESS AND R. RAPHAEL

    1969

  5. [5]

    Bergman, G.M. (1971). Hereditary commutative rings and centres of hereditary rings,Proc. London Math. Soc.23: 24–36

    1971

  6. [6]

    and Olberding, B

    Bezhanishvili, G., Marra, V., Morandi, P. and Olberding, B. (2015). Idem- potent generated algebras and Boolean powers of commutative rings.Algebra Univers.73: 183–204

    2015

  7. [7]

    and Olberding, B

    Bezhanishvili, G., Morandi, P. and Olberding, B. (2018). Pierce sheaves and commutative idempotent generated algebras.Fund. Math.240: 105–136

    2018

  8. [8]

    and Raphael, R

    Burgess, W.D. and Raphael, R. (2009). On commutative clean rings and pm rings.Contem. Math.480: 35–55

    2009

  9. [9]

    and Stephenson, W

    Burgess, W.D. and Stephenson, W. (1976). Pierce sheaves of non-commutative rings.Comm. Algebra. 4: 51–75

    1976

  10. [10]

    and Stephenson, W

    Burgess, W.D. and Stephenson, W. (1979). Rings all of whose Pierce stalks are local.Canad. Math. Bull.22: 159–164

    1979

  11. [11]

    Cateforis, V.C. (1969). Flat regular quotient rings.Trans. Amer. Math. Soc. 138: 241–249

    1969

  12. [12]

    (1982) On pm-rings,Comm

    Contessa, M. (1982) On pm-rings,Comm. Algebra. 10: 93–108

    1982

  13. [13]

    De Marco, G. (1983). Projectivity of pure ideals.Rend. Sem. Mat. Univ. Padova68: 289 – 304

    1983

  14. [14]

    and Jerison, M

    Gillman, L. and Jerison, M. (1976)Rings of Continuous Functions. Graduate Texts in Mathematics, No. 43. New York, NY: Springer-Verlag,

    1976

  15. [15]

    and Jerison, M

    Henriksen, M. and Jerison, M. (1965).The space of minimal prime ideals of a commutative ring.Trans. Amer. Math. Soc.115: 110–130

    1965

  16. [16]

    (1992)Stone Spaces

    Johnstone, P. (1992)Stone Spaces. Cambridge studies in advanced mathemat- ics,3, Cambridge, UK: Cambridge University Press

    1992

  17. [17]

    Jøndrup, S. (1972). Rings in which pure ideals are generated by idempotents. Math. Scand.30: 177–185

    1972

  18. [18]

    (1998)Lectures on Modules and Rings

    Lam, T.Y. (1998)Lectures on Modules and Rings. Graduate Texts in Mathe- matics,189, New York, NY: Springer-Verlag

    1998

  19. [19]

    Levy, R. (1977). Almost-P-spaces.Canad. J. Math.29: 284–288

    1977

  20. [20]

    Lucas, T.G. (1986). Two annihilator conditions: property (A) and (a.c.). Comm. Algebra. 14: 557–580

    1986

  21. [21]

    (1989)Commutative Ring Theory

    Matsumura, H. (1989)Commutative Ring Theory. Cambridge studies in ad- vanced mathematics,8, Cambridge, UK: Cambridge University Press

    1989

  22. [22]

    Matsumura, H.Commutative Ring Theory, Second Online Edition: (https: // aareyanmanzoor.github.io/assets/matsumura-CA.pdf)

  23. [23]

    Mewborn, A.C. (1969). Some conditions on commutative semiprime rings.J. Algebra. 13: 422–431

    1969

  24. [24]

    and Zhou, Y

    Nicholson, W.K. and Zhou, Y. (2005). Clean general rings.J. Algebra. 291: 269–278

    2005

  25. [25]

    and Rosenthal, K.I

    Niefield, S.B. and Rosenthal, K.I. (1987). Sheaves of integral domains on Stone spaces.J. Pure App. Alg.47: 173–179

    1987

  26. [26]

    (1967)Modules over Commutative Regular Rings

    Pierce, R.S. (1967)Modules over Commutative Regular Rings. Memoirs 70, Amer. Math, Soc., Providence, RI: American Mathematical Society

    1967

  27. [27]

    (1975)Rings of Quotients

    Stenstr¨ om, B. (1975)Rings of Quotients. New York, NY: Springer-Verlag

    1975

  28. [28]

    Swan, R. (1980). On seminormality.J. Algebra. 67: 210–229

    1980

  29. [29]

    Vasconcelos, W.V. (1973). Finiteness in projective ideals.J. Algebra. 25: 269– 278. ADJOINING IDEMPOTENTS 29 Department of Mathematics and Statistics, University of Ottawa, Ottawa, Canada, K1N 6N5 Email address:wburgess@uottawa.ca Department of Mathematics and Statistics, Concordia University, Montr´eal, Canada, H4B 1R6 Email address:r.raphael@concordia.ca

    1973