English

Condensed domains and the $D+XL[X]$ construction

Commutative Algebra 2022-03-18 v1

Abstract

Let DD be an integral domain with quotient field KK and let I\mathcal{I}% (D) be the set of nonzero ideals of DD. Call, for I,JI(D)I,J\in \mathcal{I}(D) , the product IJIJ of ideals condensed if IJ={ijiI,jJ}.IJ=\{ij|i\in I,j\in J\}. Call DD a condensed domain if for each pair I,JI,J the product IJIJ is condensed. We show that if a,ba,b are elements of a condensed domain such that aDbD=abD,aD\cap bD=abD, then (a,b)=D.(a,b)=D. It was shown in [Comm. Algebra 15 (1987), 1895-1920] that a pre-Schreier domain is a \ast -domain, i.e., DD satisfies :\ast : For every pair {ai}i=1m,{bj}j=1n\{a_{i}\}_{i=1}^{m},\{b_{j}\}_{j=1}^{n} of sets of nonzero elements of DD we have ((ai))(bj)=(aibj).(\cap (a_{i}))(\cap b_{j})=\cap (a_{i}b_{j}). We show that a condensed domain DD is pre-Schreier if and only if DD is a \ast -domain. We also show that if ABA\subseteq B is an extension of domains and A+XB[X]A+XB[X] is condensed, then BB must be a field and AA must be condensed and in this case [B:K]<4.[B:K]<4. In particular we study the necessary and sufficient conditions for D+XL[X]D+XL[X] to be condensed, where DD is a domain and LL an extension field of K.K. It may be noted that if DD is not a field D[X]D[X] is never condensed. So for DD condensed D+XK[X]D+XK[X] is a way of constructing new condensed domains from old

Keywords

Cite

@article{arxiv.2203.09171,
  title  = {Condensed domains and the $D+XL[X]$ construction},
  author = {Muhammad Zafrullah},
  journal= {arXiv preprint arXiv:2203.09171},
  year   = {2022}
}