On the FIP Property for Extensions of Commutative Rings

ABSTRACT

A (unital) extension R ? T of (commutative) rings is said to have FIP (respectively be a minimal extension) if there are only finitely many (respectively no) rings S such that R ? S ? T. Transfer results for the FIP property for extensions of Nagata rings are obtained, including the following fact: if R ? T is a (module-) finite minimal ring extension, then R(X)?T(X) also is a (module-) finite minimal ring extension. The assertion obtained by replacing “is a (module-) finite minimal ring extension” with “has FIP” is valid if R is an infinite field but invalid if R is a finite field. A generalization of the Primitive Element Theorem is obtained by characterizing, for any field (more generally, any artinian reduced ring) R, the ring extensions R ? T which have FIP; and, if R is any field K, by describing all possible structures of the (necessarily minimal) ring extensions appearing in any maximal chain of intermediate rings between K and any such T. Transfer of the FIP and “minimal extension” properties is given for certain pullbacks, with applications to constructions such as CPI-extensions. Various sufficient conditions are given for a ring extension of the form R ? R[u], with u a nilpotent element, to have or not have FIP. One such result states that if R is a residually finite integral domain that is not a field and u is a nilpotent element belonging to some ring extension of R, then R ? R[u] has FIP if and only if (0 : u) ≠ 0. The rings R having only finitely many unital subrings are studied, with complete characterizations being obtained in the following cases: char(R)>0; R an integral domain of characteristic 0; and R a (module-)finite extension of ? which is not an integral domain. In particular, a ring of the last-mentioned type has only finitely many unital subrings if and only if (?:R)≠0. Some results are also given for the residually FIP property.     

On Finite Maximal Chains of Weak Baer Going-Down Rings

Some recent results of Ayache on going-down domains and extensions of domains that either are residually algebraic or have DCC on intermediate rings are generalized to the context of extensions of commutative rings. Given a finite maximal chain 𝒞 of R-subalgebras of a weak Baer ring T, it is shown how a “min morphism” hypothesis can be used to transfer the “going-down ring” property from R to each member of 𝒞. The integral minimal ring extensions which are min morphisms are classified. The ring extensions satisfying FCP (i.e., for which each chain of intermediate rings is finite) are characterized as the strongly affine extensions with DCC on intermediate rings. In the relatively integrally closed case, such extensions R ? T induce open immersions Spec(S) → Spec(R) for each R-subalgebra S of T.     

Gaussian Property of the Rings R(X) and R〈X〉

The content of a polynomial f over a commutative ring R is the ideal c(f) of R generated by the coefficients of f. A commutative ring R is said to be Gaussian if c(fg) = c(f)c(g) for every polynomials f and g in R[X]. A number of authors have formulated necessary and sufficient conditions for R(X) (respectively, R?X?) to be semihereditary, have weak global dimension at most one, be arithmetical, or be Prüfer. An open question raised by Glaz is to formulate necessary and sufficient conditions that R(X) (respectively, R?X?) have the Gaussian property. We give a necessary and sufficient condition for the rings R(X) and R?X? in terms of the ring R in case the square of the nilradical of R is zero.     

When R(X) and R⟨X⟩ are Clean: A Constructive Treatment

For R a commutative ring, we give constructive proofs that R(X) is clean exactly when R is clean, and that R ? X ? is clean exactly when R is zero dimensional. We also give a constructive proof of the known result that R(X) = R ? X ? exactly when R is zero dimensional. By a constructive proof we mean one that is carried out within the context of intuitionistic logic. In practice, this means that the arguments are arithmetic rather than ideal theoretic.     

Decompositions of Quotient Rings and m-Power Commuting Maps

Let R be a semiprime ring with symmetric Martindale quotient ring Q, n ≥ 2 and let f(X) = X ⁿ h(X), where h(X) is a polynomial over the ring of integers with h(0) = ±1. Then there is a ring decomposition Q = Q ₁ ⊕ Q ₂ ⊕ Q ₃ such that Q ₁ is a ring satisfying S _2n?2, the standard identity of degree 2n ? 2, Q ₂ ? M _n (E) for some commutative regular self-injective ring E such that, for some fixed q > 1, x ^q  = x for all x ∈ E, and Q ₃ is a both faithful S _2n?2-free and faithful f-free ring. Applying the theorem, we characterize m-power commuting maps, which are defined by linear generalized differential polynomials, on a semiprime ring.     

Baer and Quasi-Baer Properties of Skew Generalized Power Series Rings

Let R be a ring, (S, ≤) a strictly ordered monoid and ω: S → End(R) a monoid homomorphism. The skew generalized power series ring R[[S, ω]] is a common generalization of (skew) polynomial rings, (skew) power series rings, (skew) Laurent polynomial rings, (skew) group rings, and Mal'cev–Neumann Laurent series rings. In this article, we study relations between the (quasi-) Baer, principally quasi-Baer and principally projective properties of a ring R, and its skew generalized power series extension R[[S, ω]]. As particular cases of our general results, we obtain new theorems on (skew) group rings, Mal'cev–Neumann Laurent series rings, and the ring of generalized power series.     

Regular Action in Rings

Let R be a ring with identity, X(R) the set of all nonzero non-units of R and G(R) the group of all units of R. By considering left and right regular actions of G(R) on X(R), the following are investigated: (1) For a local ring R such that X(R) is a union of n distinct orbits under the left (or right) regular action of G(R) on X(R), if J ⁿ  ≠ 0 = J ⁿ⁺¹ where J is the Jacobson radical of R, then the set of all the distinct ideals of R is exactly {R, J, J ²,…, J ⁿ , 0}, and each orbit under the left regular action is equal to the one under the right regular action. (2) Such a ring R is left (and right) duo ring. (3) For the full matrix ring S of n × n matrices over a commutative ring R, the number of orbits under left regular action of G(S) on X(S) is equal to the number of orbits under right regular action of G(S) on X(S); the result also holds for the ring of n × n upper triangular matrices over R.     

A Generalization of Divided Domains and Its Connection to Weak Baer Going-Down Rings

Many results on going-down domains and divided domains are generalized to the context of rings with von Neumann regular total quotient rings. A (commutative unital) ring R is called regular divided if each P ∈ Spec(R)?(Max(R) ∩ Min(R)) is comparable with each principal regular ideal of R. Among rings having von Neumann regular total quotient rings, the regular divided rings are the pullbacks K× _K/P D where K is von Neumann regular, P ∈ Spec(K) and D is a divided domain. Any regular divided ring (for instance, regular comparable ring) with a von Neumann regular total quotient ring is a weak Baer going-down ring. If R is a weak Baer going-down ring and T is an extension ring with a von Neumann regular total quotient ring such that no regular element of R becomes a zero-divisor in T, then R ? T satisfies going-down. If R is a weak Baer ring and P ∈ Spec(R), then R + PR _(P) is a going-down ring if and only if R/P and R _P are going-down rings. The weak Baer going-down rings R such that Spec(R)?Min(R) has a unique maximal element are characterized in terms of the existence of suitable regular divided overrings.     

On Minimal Extensions of Rings

Given two rings R ? S, S is said to be a minimal ring extension of R, if R is a maximal subring of S. In this article, we study minimal extensions of an arbitrary ring R, with particular focus on those possessing nonzero ideals that intersect R trivially. We will also classify the minimal ring extensions of prime rings, generalizing results of Dobbs, Dobbs &; Shapiro, and Ferrand &; Olivier, on commutative minimal extensions.     

Varieties of strange plane curves

Abstract

Let A be a commutative ring with identity, let X, Y be indeterminates and let F(X,Y), G(X, Y) ∈ A[X, Y] be homogeneous. Then the pair F(X, Y), G(X, Y) is said to be radical preserving with respect to A if Rad((F(x, y), G(x, y))R) = Rad((x,y)R) for each A-algebra R and each pair of elements x, y in R. It is shown that infinite sequences of pairwise radical preserving polynomials can be obtained by homogenizing cyclotomic polynomials, and that under suitable conditions on a ?-graded ring A these can be used to produce an infinite set of homogeneous prime ideals between two given homogeneous prime ideals P ? Q of A such that ht(Q/P) = 2.     

Invertibility of Matrices Over Subrings

Given rings R ? S, consider the division closure 𝒟(R, S) and the rational closure ?(R, S) of R in S. If S is commutative, then 𝒟(R, S) = ?(R, S) = RT ^?1, where T = {t ∈ R | t ^?1 ∈ S}. We show that this is also true if we assume only that R is commutative.     

The Largest Left Quotient Ring of a Ring

The left quotient ring (i.e., the left classical ring of fractions) Q_cl(R) of a ring R does not always exist and still, in general, there is no good understanding of the reason why this happens. In this article, existence of the largest left quotient ring Q_l(R) of an arbitrary ring R is proved, i.e., Q_l(R) = S₀(R)^?1R where S₀(R) is the largest left regular denominator set of R. It is proved that Q_l(Q_l(R)) = Q_l(R); the ring Q_l(R) is semisimple iff Q_cl(R) exists and is semisimple; moreover, if the ring Q_l(R) is left Artinian, then Q_cl(R) exists and Q_l(R) = Q_cl(R). The group of units Q_l(R)* of Q_l(R) is equal to the set {s^?1t | s, t ∈ S₀(R)} and S₀(R) = R ∩ Q_l(R)*. If there exists a finitely generated flat left R-module which is not projective, then Q_l(R) is not a semisimple ring. We extend slightly Ore's method of localization to localizable left Ore sets, give a criterion of when a left Ore set is localizable, and prove that all left and right Ore sets of an arbitrary ring are localizable (not just denominator sets as in Ore's method of localization). Applications are given for certain classes of rings (semiprime Goldie rings, Noetherian commutative rings, the algebra of polynomial integro-differential operators).     

The McCoy Condition on Skew Polynomial Rings

Based on a theorem of McCoy on commutative rings, Nielsen called a ring R right McCoy if, for any nonzero polynomials f(x), g(x) over R, f(x)g(x) = 0 implies f(x)r = 0 for some 0 ≠ r ? R. In this note, we consider a skew version of these rings, called σ-skew McCoy rings, with respect to a ring endomorphism σ. When σ is the identity endomorphism, this coincides with the notion of a right McCoy ring. Basic properties of σ-skew McCoy rings are observed, and some of the known results on right McCoy rings are obtained as corollaries.     

On Rings Having McCoy-Like Conditions

ABSTRACT

In this paper, we study the behavior of the couniform (or dual Goldie) dimension of a module under various polynomial extensions. For a ring automorphism σ ∈ Aut(R), we use the notion of a σ-compatible module M _R to obtain results on the couniform dimension of the polynomial modules M[x], M[x ^?1], and M[x, x ^?1] over suitable skew extension rings.     

S-Noetherian Rings of the Forms 𝒜[X] and 𝒜[[X]]

Let 𝒜 = (A _n ) _n≥0 be an ascending chain of commutative rings with identity, S ? A ₀ a multiplicative set of A ₀, and let 𝒜[X] (respectively, 𝒜[[X]]) be the ring of polynomials (respectively, power series) with coefficient of degree i in A _i for each i ∈ ?. In this paper, we give necessary and sufficient conditions for the rings 𝒜[X] and 𝒜[[X]] to be S ? Noetherian.     

A Note on Relative Flatness and Coherence

Let R be a ring and M a fixed right R-module. A new characterization of M-flatness is given by certain linear equations. For a left R-module F such that the canonical map M? _R F → Hom _R (M?, F) is injective, where M? = Hom _R (M, R), the M-flatness of F is characterized via certain matrix subgroups. An example is given to show that R need not be M-coherent even if every left R-module is M-flat. Moreover, some properties of M-coherent rings are discussed.     

Dominating Sets of Some Graphs Associated to Commutative Rings

Let G = (V, E) be a graph. A set S ? V is a dominating set of G if every vertex in V is either in S or is adjacent to a vertex in S. The domination number γ(G) of G is the minimum cardinality among the dominating sets of G. The main object of this article is to study and characterize the dominating sets of the zero-divisor graph Γ(R) and ideal-based zero-divisor graph Γ _I (R) of a commutative ring R.     

A Class of Quasipolar Rings

An element a of a ring R is called J-quasipolar if there exists p ² = p ∈ R satisfying p ∈ comm²(a) and a + p ∈ J(R); R is called J-quasipolar in case each of its elements is J-quasipolar. The class of this sort of rings lies properly between the class of uniquely clean rings and the class of quasipolar rings. In particular, every J-quasipolar element in a ring is quasipolar. It is shown, in this paper, that a ring R is J-quasipolar iff R/J(R) is boolean and R is quasipolar. For a local ring R, we prove that every n × n upper triangular matrix ring over R is J-quasipolar iff R is uniquely bleached and R/J(R) ? ?₂. Moreover, it is proved that any matrix ring of size greater than 1 is never J-quasipolar. Consequently, we determine when a 2 × 2 matrix over a commutative local ring is J-quasipolar. A criterion in terms of solvability of the characteristic equation is obtained for such a matrix to be J-quasipolar.     

Quotient Rings and f-Radical Extensions of Rings

By testing quotient rings, we give another viewpoint concerning the relationship between PI and Goldie properties, etc., and f-radical extensions of rings. The main result proved here is as follows: Let R be a prime algebra without nonzero nil right ideals. Suppose that R is f-radical over a subalgebra A, where f(X ₁,…, X _t ) is a multilinear polynomial, not an identity for p × p matrices in case char R = p > 0. Suppose that f is not power-central valued in R. Then the maximal ring of right (left) quotients of A coincides with that of R. Moreover, R is right Goldie if and only if A is.     

Separativity of Regular Rings in Which 2 Is Invertible

A regular ring R is separative provided that for all finitely generated projective right R-modules A and B, A⊕ A? A⊕ B? A⊕ B implies that A? B. We prove, in this article, that a regular ring R in which 2 is invertible is separative if and only if each a ∈ R satisfying R(1 ? a ²)R = Rr(a) = ?(a)R and i(End _R (aR)) = ∞ is unit-regular if and only if each a ∈ R satisfying R(1 ? a ²)R ∩ RaR = Rr(a) ∩ ?(a)R ∩ RaR and i(End _R (aR)) = ∞ is unit-regular. Further equivalent characterizations of such regular rings are also obtained.