Conch maximal subrings

Alborz Azarang
DOI: https://doi.org/10.1080/00927872.2021.1979993
2021-09-28
Communications in Algebra
Abstract:It is shown that if R is a ring, p a prime element of an integral domain D≤R with ∩n=1∞pnD=0 and p∈U(R), then R has a conch maximal subring (see [14]). We prove that either a ring R has a conch maximal subring or U(S)=S∩U(R) for each subring S of R (i.e., each subring of R is closed with respect to taking inverse, see [25]). In particular, either R has a conch maximal subring or U(R) is integral over the prime subring of R. We observe that if R is an integral domain with |R|=22ℵ0, then either R has a maximal subring or |Max(R)|=2ℵ0, and in particular if in addition dim(R) = 1, then R has a maximal subring. If R⊆T is an integral ring extension, Q∈Spec(T), P:=Q∩R, then we prove that whenever R has a conch maximal subring S with (S:R)=P, then T has a conch maximal subring V such that (V:T)=Q and V∩R=S. It is shown that if K is an algebraically closed field which is not algebraic over its prime subring and R is affine ring over K, then for each prime ideal P of R with ht(P)≥dim(R)−1, there exists a maximal subring S of R with (S:R)=P. If R is a normal affine integral domain over a field K, then we prove that R is an integrally closed maximal subring of a ring T if and only if dim(R) = 1 and in particular in this case (R:T)=0.
mathematics
What problem does this paper attempt to address?