English

Prime Avoidance Property

Commutative Algebra 2020-10-08 v1

Abstract

Let RR be a commutative ring, we say that ASpec(R)\mathcal{A}\subseteq Spec(R) has prime avoidance property, if IPAPI\subseteq \bigcup_{P\in\mathcal{A}}P for an ideal II of RR, then there exists PAP\in\mathcal{A} such that IPI\subseteq P. We exactly determine when ASpec(R)\mathcal{A}\subseteq Spec(R) has prime avoidance property. In particular, if A\mathcal{A} has prime avoidance property, then A\mathcal{A} is compact. For certain classical rings we show the converse holds (such as Bezout rings, QRQR-domains, zero-dimensional rings and C(X)C(X)). We give an example of a compact set ASpec(R)\mathcal{A}\subseteq Spec(R), where RR is a Prufer domain, which has not P.AP.A-property. Finally, we show that if V,V1,,VnV,V_1,\ldots, V_n are valuation domains for a field KK and V[x]i=1nViV[x]\nsubseteq \bigcup_{i=1}^n V_i for some xKx\in K, then there exists vVv\in V such that v+xi=1nViv+x\notin \bigcup_{i=1}^n V_i.

Keywords

Cite

@article{arxiv.2010.03248,
  title  = {Prime Avoidance Property},
  author = {Alborz Azarang},
  journal= {arXiv preprint arXiv:2010.03248},
  year   = {2020}
}

Comments

9 pages

R2 v1 2026-06-23T19:07:06.769Z