pith. sign in

arxiv: 2605.20008 · v1 · pith:HKHI264Bnew · submitted 2026-05-19 · 🧮 math.RA · math.GR

Central idempotents in group-graded rings

Johan \"Oinert This is my paper

Pith reviewed 2026-05-20 04:08 UTC · model grok-4.3

classification 🧮 math.RA math.GR
keywords central idempotentsgroup-graded ringssupport grouptorsion-free groupsgraded ringsLeavitt path ringsCuntz-Pimsner rings
0
0 comments X

The pith

Nonzero central idempotents in a G-graded ring have finite support when G is abelian or the grading meets a one-sided non-annihilation condition.

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

The paper proves that a nonzero central idempotent in a G-graded ring R must have finite support subgroup inside G, first when G itself is abelian and second when G is arbitrary but the grading obeys a one-sided non-annihilation rule on its nonzero homogeneous elements. The same hypotheses imply that if G is torsion-free then every such idempotent lies entirely inside the degree-zero component of the grading. These statements extend the classical results of Bass and Burns on group rings to the larger class of non-commutative and possibly non-unital graded rings. The results are then used to control idempotents in several concrete families including semigroup-graded rings, Leavitt path rings, and algebraic Cuntz-Pimsner rings.

Core claim

A nonzero central idempotent e in a G-graded ring R has finite support group in G whenever either G is abelian or the grading satisfies the one-sided non-annihilation condition on nonzero homogeneous elements; consequently, when G is torsion-free under either hypothesis, e lies in the principal component R_e of the grading.

What carries the argument

The support subgroup of the central idempotent, whose finiteness is forced by using the abelian property of G or the non-annihilation condition to restrict products of homogeneous components.

If this is right

  • When G is torsion-free and abelian every central idempotent belongs to the degree-zero component.
  • The same conclusion holds for arbitrary torsion-free G under the non-annihilation hypothesis.
  • The finiteness result applies directly to central idempotents in Leavitt path rings and algebraic Cuntz-Pimsner rings.
  • Central idempotents in partial skew group rings and fractional skew monoid rings are likewise confined to finite supports.

Where Pith is reading between the lines

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

  • The same control on supports may allow classification of all central idempotents in certain infinite-dimensional graded algebras where direct computation is intractable.
  • The non-annihilation condition could be weakened to a two-sided version or replaced by a chain condition on annihilators while preserving the finite-support conclusion.
  • The results suggest that central idempotents in graded rings over polycyclic groups might admit similar finiteness statements under mild extra hypotheses on the ring.

Load-bearing premise

Either that the grading group G is abelian or that the G-grading satisfies the one-sided non-annihilation condition on its nonzero homogeneous elements.

What would settle it

An explicit construction of a non-abelian group G together with a G-graded ring that fails the non-annihilation condition yet contains a nonzero central idempotent whose support is infinite.

read the original abstract

Let $G$ be a group and let $R$ be a $G$-graded ring. We show that a nonzero central idempotent in $R$ has finite support group in two broad settings: when $G$ is abelian, and when $G$ is arbitrary but the grading satisfies a certain one-sided non-annihilation condition on nonzero homogeneous elements. In particular, under the respective hypotheses, if $G$ is torsion-free, then every central idempotent lies in the principal component of the grading. Our results generalize those of H. Bass and R. G. Burns from group rings to non-commutative, possibly non-unital, group-graded rings. We demonstrate the utility of our results by applying them to semigroup-graded rings, Leavitt path rings, fractional skew monoid rings, partial skew group rings, and algebraic Cuntz-Pimsner rings.

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

0 major / 3 minor

Summary. The manuscript proves that a nonzero central idempotent in a G-graded ring R has finite support group in two settings: when G is abelian, and when G is arbitrary but the grading satisfies a one-sided non-annihilation condition on nonzero homogeneous elements. Under the respective hypotheses, if G is additionally torsion-free then every such idempotent lies in the principal component. The results generalize those of Bass and Burns from (unital) group rings to non-commutative, possibly non-unital G-graded rings, and are applied to semigroup-graded rings, Leavitt path rings, fractional skew monoid rings, partial skew group rings, and algebraic Cuntz-Pimsner rings.

Significance. If the proofs are correct, the work supplies a useful extension of classical results on central idempotents to the setting of graded rings, including non-unital and non-commutative cases. The explicit applications to Leavitt path rings, Cuntz-Pimsner rings and related constructions demonstrate concrete utility in areas of current interest in ring theory and noncommutative algebra.

minor comments (3)
  1. [Main theorem] §2 (or wherever the one-sided non-annihilation condition is introduced): the precise statement of the condition should be repeated verbatim in the statement of the main theorem so that the two cases are immediately comparable.
  2. [Proof of Theorem 3.2] The proof of the abelian case appears to rely on the support forming a subgroup; a brief remark confirming that centrality forces the support to be closed under the group operation would help readers who are not specialists in graded rings.
  3. [Applications] In the applications section, the verification that the one-sided non-annihilation condition holds for Leavitt path rings and algebraic Cuntz-Pimsner rings is only sketched; adding one or two explicit sentences per example would strengthen the claim of utility.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No specific major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained algebraic proof

full rationale

The paper establishes that nonzero central idempotents have finite support in G-graded rings when G is abelian or when the grading satisfies the one-sided non-annihilation condition on homogeneous elements. This is achieved via direct manipulation of supports under centrality and the grading axioms, generalizing Bass-Burns results on group rings to the broader setting of possibly non-unital, non-commutative graded rings. The key hypotheses (abelianness or the non-annihilation condition) are stated explicitly as inputs and used to bound the support subgroup; they are not derived from the conclusion. When G is additionally torsion-free, the idempotent is forced into the degree-1 component by the same support-control argument. No equations reduce to self-definition, no parameters are fitted and then relabeled as predictions, and the cited prior work is by external authors (Bass, Burns) rather than a self-citation chain. The applications to semigroup-graded rings, Leavitt path rings, etc., are presented as consequences rather than inputs. The derivation is therefore independent of its own outputs and does not exhibit any of the enumerated circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on standard definitions of G-graded rings, central idempotents, and support; no free parameters, ad-hoc axioms, or invented entities are introduced in the abstract.

axioms (1)
  • standard math Standard ring axioms and the definition of a G-grading on a ring.
    Invoked throughout the statement of the main result.

pith-pipeline@v0.9.0 · 5673 in / 1321 out tokens · 55345 ms · 2026-05-20T04:08:53.420258+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

18 extracted references · 18 canonical work pages

  1. [1]

    Abrams, P

    G. Abrams, P. Ara, and M. Siles Molina,Leavitt path algebras, Lecture Notes in Math. 2191, Springer, London (2017)

    work page 2017

  2. [2]

    P. Ara, M. A. González-Barroso, K. R. Goodearl, and E. Pardo, Fractional skew monoid rings,J. Algebra278(2004), no. 1, 104–126

    work page 2004

  3. [3]

    Bass, Euler characteristics and characters of discrete groups,Invent

    H. Bass, Euler characteristics and characters of discrete groups,Invent. Math.35(1976), 155–196

    work page 1976

  4. [4]

    R. G. Burns, Central idempotents in group rings,Canad. Math. Bull.13(1970), 527–528

    work page 1970

  5. [5]

    T. M. Carlsen and E. Ortega, Algebraic Cuntz-Pimsner rings,Proc. Lond. Math. Soc. (3)103(2011), no. 4, 601–653. 10 JOHAN ÖINERT

    work page 2011

  6. [6]

    A. H. Clifford and G. B. Preston,The algebraic theory of semigroups. Vol. I.Math. Surveys, No. 7, American Mathematical Society, Providence, RI (1961)

    work page 1961

  7. [7]

    de Cornulier, Infinite conjugacy classes in groups acting on trees,Groups Geom

    Y. de Cornulier, Infinite conjugacy classes in groups acting on trees,Groups Geom. Dyn.3(2009), no. 2, 267–277

    work page 2009

  8. [8]

    J. L. Dorroh, Concerning adjunctions to algebras,Bull. Amer. Math. Soc.38(1932), no. 2, 85–88

    work page 1932

  9. [9]

    Kirby, Idempotents in a graded ring,J

    D. Kirby, Idempotents in a graded ring,J. London Math. Soc. (2)8(1974), 375–376

    work page 1974

  10. [10]

    Lännström, P

    D. Lännström, P. Lundström, J. Öinert, and S. Wagner, Prime group graded rings with applications to partial crossed products and Leavitt path algebras,J. Pure Appl. Algebra229(2025), no. 1, Paper No. 107842, 34 pp

    work page 2025

  11. [11]

    Lännström, P

    D. Lännström, P. Lundström, J. Öinert, and S. Wagner, Nonunital prime rings graded by ordered groups, to appear in Bull. Aust. Math. Soc., preprint arXiv:2510.26734 [math.RA]

    work page arXiv

  12. [12]

    Lee and E

    P.-H. Lee and E. R. Puczyłowski, On prime ideals and radicals of polynomial rings and graded rings, J. Pure Appl. Algebra218(2014), no. 2, 323–332

    work page 2014

  13. [13]

    2-3, 104–110

    S.V.Mihovski, Centralalgebraicelementsinstrictlygradedrings,Serdica17(1991), no. 2-3, 104–110

    work page 1991

  14. [14]

    Năstăsescu and F

    C. Năstăsescu and F. Van Oystaeyen,Methods of graded rings, Lecture Notes in Math. 1836, Springer- Verlag, Berlin (2004)

    work page 2004

  15. [15]

    Nauwelaerts and F

    E. Nauwelaerts and F. Van Oystaeyen, Introducing crystalline graded algebras,Algebr. Represent. Theory11(2008), no. 2, 133–148

    work page 2008

  16. [16]

    Group Theory 27(2024), no

    J.Öinert, Units, zero-divisorsand idempotents inrings gradedby torsion-freegroups,J. Group Theory 27(2024), no. 4, 789–811

    work page 2024

  17. [17]

    Rudin and H

    W. Rudin and H. Schneider, Idempotents in group rings,Duke Math. J.31(1964), 585–602

    work page 1964

  18. [18]

    Tominaga, On s-unital rings,Math

    H. Tominaga, On s-unital rings,Math. J. Okayama Univ.18(1976), no. 2, 117–134. Department of Mathematics and Natural Sciences, Blekinge Institute of Technology, SE-37179 Karlskrona, Sweden and Department of Engineering, University of Skövde, SE- 54128 Skövde, Sweden Email address:johan.oinert@bth.se

    work page 1976