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.     

Weakly Special Classes of Semiprime Rings

This paper investigates closure properties possessed by certain classes of finite subdirect products of prime rings. If ℳ is a special class of prime rings then the class ℳ_∞ of all finite subdirect products of rings in ℳ is shown to be weakly special. A ring S is said to be a right tight extension [resp. tight extension] of a subring R if every nonzero right ideal [resp. right ideal and left ideal] of S meets R nontrivially. Every hereditary class of semiprime rings closed under tight extensions is weakly special. Each of the following conditions imposed on a semiprime ring yields a hereditary class closed under right tight extensions: ACC on right annihilators; finite right Goldie dimension; right Goldie. The class of all finite subdirect products of uniformly strongly prime rings is shown to be closed under tight extensions, answering a published question. This revised version was published online in June 2006 with corrections to the Cover Date.     

On ADS Modules and Rings

A right module M over a ring R is said to be ADS if for every decomposition M = S ⊕ T and every complement T′ of S, we have M = S ⊕ T′. In this article, we study and provide several new characterizations of this new class of modules. We prove that M is semisimple if and only if every module in σ[M] is ADS. SC and SI rings also characterized by the ADS notion. A ring R is right SC-ring if and only if every 2-generated singular R-module is ADS.     

Relations between ΛBV and BV(p(n) ↑∞) Classes of Functions

The base radical class L _b(X), generated by a class X was introduced in [12]. It consists of those rings whose nonzero homomorphic images have nonzero accessible subrings in X. When X is homomorphically closed, L _b(X) is the lower radical class defined by X, but otherwise X may not be contained in L _b(X). We prove that for a hereditary radical class L with semisimple class S(R), L _b(S(R)) is the class of strongly R-semisimple rings if and only if R is supernilpotent or subidempotent. A number of further examples of radical classes of the form L _b(X) are discussed. This revised version was published online in June 2006 with corrections to the Cover Date.     

Rugged modules: The opposite of flatness

Relative notions of flatness are introduced as a mean to gauge the extent of the flatness of any given module. Every module is thus endowed with a flatness domain and, for every ring, the collection of flatness domains of all of its modules is a lattice with respect to class inclusion. This lattice, the flatness profile of the ring, allows us, in particular, to focus on modules which have a smallest flatness domain (namely, one consisting of all regular modules.) We establish that such modules exist over arbitrary rings and we call them Rugged Modules. Rings all of whose (cyclic) modules are rugged are shown to be precisely the von Neumann regular rings. We consider rings without a flatness middle class (i.e., rings for which modules must be either flat or rugged.) We obtain that, over a right Noetherian ring every left module is rugged or flat if and only if every right module is poor or injective if and only if R = S×T, where S is semisimple Artinian and T is either Morita equivalent to a right PCI-domain, or T is right Artinian whose Jacobson radical properly contains no nonzero ideals. Character modules serve to bridge results about flatness and injectivity profiles; in particular, connections between rugged and poor modules are explored. If R is a ring whose regular left modules are semisimple, then a right module M is rugged if and only if its character left module M⁺ is poor. Rugged Abelian groups are fully characterized and shown to coincide precisely with injectively poor and projectively poor Abelian groups. Also, in order to get a feel for the class of rugged modules over an arbitrary ring, we consider the homological ubiquity of rugged modules in the category of all modules in terms of the feasibility of rugged precovers and covers for arbitrary modules.     

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.     

The smallest closed subcategory containing the μcomplemented modules

Given a hereditary torsion functor , the class of μ-complemented modules was recently introduced by P.F. Smith and the authors as an analogue of extending modules. This current article explores this class by viewing it as a subclass of EX, the smallest closed subcategory which contains it. As a consequence the class of μ-complemented modules is shown here to be closed under the formation of module of quotients. As to EX, we prove that it is closed under arbitrary direct products in Mod-Rif Ris a valuation ring. On the other hand, if Ris commutative Noetherian and μ is jansian then every μ-complemented module is a direct sum of a μ-torsion module and a semisimple, which prompted us to analyze when E Xcontains a subgenerator of this form.     

Radical Semigroup Rings and the Thue--Morse Semigroup

Let R be an associative ring with unit, let S be a semigroup with zero, and let RS be a contracted semigroup ring. It is proved that if RS is radical in the sense of Jacobson and if the element 1 has infinite additive order, then S is a locally finite nilsemigroup. Further, for any semigroup S, there is a semigroup T S such that the ring RT is radical in the Brown--McCoy sense. Let S be the semigroup of subwords of the sequence abbabaabbaababbab..., and let F be the two-element field. Then the ring FS is radical in the Brown--McCoy sense and semisimple in the Jacobson sense.     

Dominating sets of the comaximal and ideal-based zero-divisor graphs of commutative rings

Abstract

Let R be a commutative ring with nonzero identity, and let I be an ideal of R. The ideal-based zero-divisor graph of R, denoted by Γ_I (R), is the graph whose vertices are the set {x ∈ R \ I| xy ∈ I for some y∈ R \ I} and two distinct vertices x and y are adjacent if and only if xy ∈ I. Define the comaximal graph of R, denoted by CG(R), to be a graph whose vertices are the elements of R, where two distinct vertices a and b are adjacent if and only if Ra+Rb=R. A nonempty set S ? V of a graph G=(V, E) 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 paper is to study the dominating sets and domination number of Γ_I (R) and the comaximal graph CG₂(R) \ J (R) (or CGJ (R) for short) where CG₂(R) is the subgraph of CG(R) induced on the nonunit elements of R and J (R) is the Jacobson radical of R.     

Gorenstein projective and flat complexes over noetherian rings

We give sufficient conditions on a class of R‐modules $\mathcal {C}We give sufficient conditions on a class of R‐modules $\mathcal {C}$ in order for the class of complexes of $\mathcal {C}$‐modules, $dw \mathcal {C}$, to be covering in the category of complexes of R‐modules. More precisely, we prove that if $\mathcal {C}$ is precovering in R ? Mod and if $\mathcal {C}$ is closed under direct limits, direct products, and extensions, then the class $dw \mathcal {C}$ is covering in Ch(R). Our first application concerns the class of Gorenstein flat modules. We show that when the ring R is two sided noetherian, a complex C is Gorenstein flat if and only if each module C_n is Gorenstein flat. If moreover every direct product of Gorenstein flat modules is a Gorenstein flat module, then the class of Gorenstein flat complexes is covering. We consider Gorenstein projective complexes as well. We prove that if R is a commutative noetherian ring of finite Krull dimension, then the class of Gorenstein projective complexes coincides with that of complexes of Gorenstein projective modules. We also show that if R is commutative noetherian with a dualizing complex then every right bounded complex has a Gorenstein projective precover.     

Applications of Duality to the Pure-injective Envelope

Given an R-T-bimodule _R K _T and R-S-bimodule _R M _S , we study how properties of _R K _T affect the K-double dual M** = Hom _T [Hom _R (M, K), K] considered as a right S-module. If _R K is a cogenerator, then for every R-S-bimodule, the natural morphism Φ _M : M → M** is a pure-monomorphism of right S-modules. If _R K is the minimal (injective) cogenerator and K _T is quasi-injective, then M ^** is a pure-injective right S-module. If _R K is the minimal (injective) cogenerator, and T = End _R K it is shown that K _T is quasi-injective if and only if the K-topology on R is linearly compact. If the _R K-topology on R is of finite type, then the natural morphism Φ _R : R → R** is the pure-injective envelope of R _R as a right module over itself. The author is partially supported by NSF Grant DMS-02-00698.     

On the continuity of residuals of triangular norms

In this work a long-standing problem related to the continuity of R-implications, i.e., implications obtained as the residuum of t-norms, has been solved. A complete characterization of the class of continuous R-implications obtained from any arbitrary t-norm is given. In particular, it is shown that an R-implication I_T is continuous if and only if T is a nilpotent t-norm. Using this result, the exact intersection between the continuous subsets of R-implications and (S,N)-implications has been determined, by showing that the only continuous (S,N)-implication that is also an R-implication obtained from any t-norm, not necessarily left-continuous, is the ?ukasiewicz implication up to an isomorphism.     

T-Semisimple Modules and T-Semisimple Rings

We define and investigate t-semisimple modules as a generalization of semisimple modules. A module M is called t-semisimple if every submodule N contains a direct summand K of M such that K is t-essential in N. T-semisimple modules are Morita invariant and they form a strict subclass of t-extending modules. Many equivalent conditions for a module M to be t-semisimple are found. Accordingly, M is t-semisiple, if and only if, M = Z ₂(M) ⊕ S(M) (where Z ₂(M) is the Goldie torsion submodule and S(M) is the sum of nonsingular simple submodules). A ring R is called right t-semisimple if R _R is t-semisimple. Various characterizations of right t-semisimple rings are given. For some types of rings, conditions equivalent to being t-semisimple are found, and this property is investigated in terms of chain conditions.     

ON THE EXISTENCE AND NON-EXISTENCE OF COMPLEMENTARY RADICAL AND SEMISIMPLE CLASSES

ABSTRACT

In certain categories of mathematical structures, non-trivial complementary radical classes (torsion classes or connectednesses) can be found. The question is why this is true for some but not for all categories. The answer depends on the embedding of trivial objects into nontrivial objects and is given by our main result: Any ‘reasonable’ category has no non-trivial complementary radical and semisimple classes if and only if for every trivial object T and every non-trivial object A there is a morphism T → A. Roughly, a ‘reasonable’ category in our sense is one with at least one object into which a terminal object can be embedded and has finite products, coproducts or lexicographic products.     

∗-Prime Group Algebras

An associative algebra R over a field K is said to be right ?-prime if for every nonzero r ? R, there exists a finitely generated subalgebra S of R such that rSt = 0 implies t = 0. Clearly, strongly prime implies ?-prime and ?-prime implies prime. A large number of examples of group algebras are given which show that the concept of ?-prime lies strictly between prime and strongly prime. A complete characterization of ?-prime group algebras is given. It is proved that a group algebra KG of the group G over the field K is ?-prime if and only if Λ⁺(G) = (1). Intersection theorems play an important role in the study. In the process, a new intersection theorem for ?-prime group algebras is obtained. Elementwise characterization of the ?-prime radical is given and its relation with some well-known radicals is discussed.     

Radicals whose semisimple classes satisfy a generalised ADS condition

A class K of rings has the GADS property (i.e., generalized ADS property) if wheneverX&;ltri; I&;ltri; R with X&;isin; K, then there exists B &;ltri; R with B &;isin; K such that X &;sube; B &;sube; I. Radicals whose semisimple classes have the GADS property are called g-radicals. In this paper, we fully characterize the class of g -radicals. We show that ? is a g-radical if and only if either ? &;sube; I or S? &;sube; I , whereI denotes the class of idempotent rings and S? denotes the semisimple class of ?. It is also shown that the (hereditary) g-radicals form an (atomic) sublattice of the lattice of all radicals.     

Strong relative property (T) and spectral gap of random walks

We consider strong relative property (T) for pairs (Γ, G) where Γ acts on G. If N is a connected nilpotent Lie group and Γ is a group of automorphisms of N, we choose a finite index subgroup Γ ⁰ of Γ and obtain that (Γ , [Γ ⁰, N]) has strong relative property (T) provided Zariski-closure of Γ has no compact factor of positive dimension. We apply this to obtain the following: Let G be a connected Lie group with solvable radical R and a semisimple Levi subgroup S. If S _nc denotes the product of noncompact simple factors of S and S _T denotes the product of simple factors in S that have property (T), then we show that (Γ , R) or ${(\Gamma S_{T}, \overline{S_{T}R})}$ has strong relative property (T) for a ’Zariski-dense’ closed subgroup Γ of S _nc if and only if R = [S _nc , R]. We also provide some applications to the spectral gap of π (μ) =  ∫ π (g) d μ (g) where π is a certain unitary representation and μ is a probability measure.     

SOME t-CLOSED PAIRS

Let A ? B be integral domains. (A, B) is called a t-closed pair if each subring of B containing A is t-closed. Let R be a t-closed domain containing a field K and let I be a nonzero proper ideal of R. Let D be a subring of K and let S = D + I. If D is a field then it is shown that (S, R) is a t-closed pair if and only if R is integral over S and I is a maximal ideal of R. If D is not a field then we prove in this note that (S, R) is a t-closed pair if and only if (D, K) is a t-closed pair and R = K + I.     

Commutative rings whose proper ideals are direct sums of uniform modules

An interesting result, obtaining by some theorems of Asano, Köthe and Warfield, states that: “for a commutative ring R, every module is a direct sum of uniform modules if and only if R is an Artinian principal ideal ring.” Moreover, it is observed that: “every ideal of a commutative ring R is a direct sum of uniform modules if and only if R is a finite direct product of uniform rings.” These results raise a natural question: “What is the structure of commutative rings whose all proper ideals are direct sums of uniform modules?” The goal of this paper is to answer this question. We prove that for a commutative ring R, every proper ideal is a direct sum of uniform modules, if and only if, R is a finite direct product of uniform rings or R is a local ring with the unique maximal ideal ? of the form ? = U⊕S, where U is a uniform module and S is a semisimple module. Furthermore, we determine the structure of commutative rings R for which every proper ideal is a direct sum of cyclic uniform modules (resp., cocyclic modules). Examples which delineate the structures are provided.     

Finitely Generated Flat Modules and a Characterization of Semiperfect Rings

Abstract

For a ring S, let K ₀(FGFl(S)) and K ₀(FGPr(S)) denote the Grothendieck groups of the category of all finitely generated flat S-modules and the category of all finitely generated projective S-modules respectively. We prove that a semilocal ring Ris semiperfect if and only if the group homomorphism K ₀(FGFl(R)) → K ₀(FGFl(R/J(R))) is an epimorphism and K ₀(FGFl(R)) = K ₀(FGPr(R)).