English

Ideal Containment in Commutative Rings

Commutative Algebra 2022-03-10 v2

Abstract

Let RR be a commutative ring with identity. An ideal II of RR is said to be a big ideal (resp. an upper big ideal) if whenever JIJ\subsetneqq I (resp. IJI\subsetneqq J), JnInJ^{n}\subsetneqq I^{n} (resp. InJnI^{n}\subsetneqq J^{n}) for every n1n\geq 1; and RR itself is a big ideal ring provided that every ideal of RR is a big ideal. In this paper we study the notions of big ideals, upper big ideals and big ideal rings in different contexts of commutative rings such us integrally closed domains, pullbacks and trivial ring extensions etc. We show that the notions of big and upper big ideals are completely different. The notion of big ideal is correlated to the notion of basic ideal and the notion of upper big ideal is correlated to the notion of C\mathcal{C}-ideals. We give a new characterization of Pr\"ufer domains via big ideal domains and we characterize some particular cases of pullback rings that are big ideal domains. Also we give some classes of big and upper big ideals in rings with zero-divisors via trivial ring extensions.

Keywords

Cite

@article{arxiv.2111.00761,
  title  = {Ideal Containment in Commutative Rings},
  author = {Abdeslam Mimouni},
  journal= {arXiv preprint arXiv:2111.00761},
  year   = {2022}
}

Comments

13 pages

R2 v1 2026-06-24T07:20:28.080Z