Research article

Idempotent-prime ideals and Peirce decompositions in noncommutative rings

  • Published: 08 September 2026
  • MSC : 16D25, 16N60, 16S50, 13A15

  • We study idempotent-prime ideals in associative rings with identity. A proper two-sided ideal $ P $ of $ R $ is idempotent-prime if $ aR(1-a)\subseteq P $ implies $ a\in P $ or $ 1-a\in P $, for every $ a\in R $. For $ A = R/P $, the main quotient criterion shows that this condition is equivalent to the absence of nontrivial idempotents $ e\in A $ satisfying $ eA(1-e) = 0 $. Thus, idempotent-primeness rules out nontrivial triangular Peirce decompositions in the quotient. In the commutative case, it is equivalent to connectedness of $ R/P $, or equivalently of $ V(P)\subseteq \text{Spec } R $. After developing the quotient criterion and its Peirce consequences, we treat the functorial behavior, comaximal ideals, Jacobson-radical lifting, local and semisimple Artinian quotients, torsion-theoretic and avoidance interpretations, finite direct products, matrix rings, triangular matrix rings, topological descriptions, and graph-theoretic criteria.

    Citation: Alaa Abouhalaka, Hwankoo Kim. Idempotent-prime ideals and Peirce decompositions in noncommutative rings[J]. AIMS Mathematics, 2026, 11(9): 28829-28848. doi: 10.3934/math.20261147

    Related Papers:

  • We study idempotent-prime ideals in associative rings with identity. A proper two-sided ideal $ P $ of $ R $ is idempotent-prime if $ aR(1-a)\subseteq P $ implies $ a\in P $ or $ 1-a\in P $, for every $ a\in R $. For $ A = R/P $, the main quotient criterion shows that this condition is equivalent to the absence of nontrivial idempotents $ e\in A $ satisfying $ eA(1-e) = 0 $. Thus, idempotent-primeness rules out nontrivial triangular Peirce decompositions in the quotient. In the commutative case, it is equivalent to connectedness of $ R/P $, or equivalently of $ V(P)\subseteq \text{Spec } R $. After developing the quotient criterion and its Peirce consequences, we treat the functorial behavior, comaximal ideals, Jacobson-radical lifting, local and semisimple Artinian quotients, torsion-theoretic and avoidance interpretations, finite direct products, matrix rings, triangular matrix rings, topological descriptions, and graph-theoretic criteria.



    加载中


    [1] A. Abouhalaka, H. Kim, The idempotent-prime ideal principle, submitted for publication.
    [2] J. Han, Y. Lee, S. Park, Structure of Abelian rings, Front. Math. China, 12 (2017), 117–134. https://doi.org/10.1007/s11464-016-0586-z doi: 10.1007/s11464-016-0586-z
    [3] P. N. Ánh, G. F. Birkenmeier, L. van Wyk, Idempotents and structures of rings, Linear Multilinear Algebra, 64 (2016), 2002–2029. https://doi.org/10.1080/03081087.2015.1134429 doi: 10.1080/03081087.2015.1134429
    [4] P. N. Ánh, G. F. Birkenmeier, L. van Wyk, Peirce decompositions, idempotents and rings, J. Algebra, 564 (2020), 247–275. https://doi.org/10.1016/j.jalgebra.2020.08.003 doi: 10.1016/j.jalgebra.2020.08.003
    [5] G. F. Birkenmeier, J. Y. Kim, J. K. Park, Right primary and nilary rings and ideals, J. Algebra, 378 (2013), 133–152. https://doi.org/10.1016/j.jalgebra.2012.12.016 doi: 10.1016/j.jalgebra.2012.12.016
    [6] B. Stenström, Rings of quotients, Grundlehren der mathematischen Wissenschaften, Heidelberg: Springer Berlin, 1975. https://doi.org/10.1007/978-3-642-66066-5
    [7] T. Y. Lam, A first course in noncommutative rings, 2 Eds., Graduate Texts in Mathematics, New York: Springer, 2001. https://doi.org/10.1007/978-1-4419-8616-0
  • Reader Comments
  • © 2026 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(234) PDF downloads(30) Cited by(0)

Article outline

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog