Indecomposable flat cotorsion modules

An additive functor from the category of flat right R-modulesto the category of abelian groups is continuous if it is isomorphicto a functor of the form–_R M, where M is a left R-module.It is shown that for any simple subfunctor A of– M thereis a unique indecomposable flat cotorsion module U_R for whichA(U)0. It is also proved that every subfunctor of a continuousfunctor contains a simple subfunctor. This implies that everyflat right R-module may be purely embedded into a product ofindecomposable flat cotorsion modules. If CE(R) is the cotorsion envelope of R_R and S= End;_R CE(R),then a local ring monomorphism is constructed from R/J(R) toS/J(S). This local morphism of rings is used to associate asemiperfect ring to any semilocal ring. It also proved thatif R is a semilocal ring and M a simple left R-module, thenthe functor–_R M on the category of flat right R-modulesis uniform, and therefore contains a unique simple subfunctor.     

Finitistic dimensions of semiprimary rings

LetR be a semiprimary ring. We show that if the left generalized projective dimension (defined below) of _R (R/J ²) is finite, then the injectively defined left finitistic dimension ofR is finite.     

On Rings Whose Primitive Factor Rings Are Left Artinian

In this paper, we prove that if R is a Min-E ring, then the following statements are equivalent: (1) Every left primitive factor ring of R is left artinian; (2) R is a -regular ring; (3) R is an Exchange ring; (4) R is a Clean ring. As an application, we obtain that if R is Min-E ring, every left primitive factor ring of R is artinian and any direct product of them is a Min-E ring, then every non-zero homomorphic image of R contains only a finite number of prime ideals. When R is Min-E ring and has no infinite set of orthogonal idempotents, a left R-module M is Min-E if and only if M is Max-E. Also, we show, if R is a strongly clean Min-E ring, then R is directly finite and has stable range 1.AMS Subject Classification (1991) 16A30 16P20The research presented is this paper by an ECF grant of Zhejiang Province, China     

Homological Properties of Fully Bounded Noetherian Rings

Let R be a fully bounded Noetherian ring of finite global dimension.Then we prove that K dim (R) gldim (R). If, in addition, Ris local, in the sense that R/J(R) is simple Artinian, thenwe prove that R is Auslander-regular and satisfies a versionof the Cohen–Macaulay property. As a consequence, we showthat a local fully bounded Noetherian ring of finite globaldimension is isomorphic to a matrix ring over a local domain,and a maximal order in its simple Artinian quotient ring.     

Tilting Cotorsion Pairs

Let R be a ring and T a 1-tilting right R-module. Then T isof countable type. Moreover, T is of finite type in the casewhere R is a Prüfer domain. 2000 Mathematics Subject Classification16D90, 16D30, 13G05 (primary), 03E75, 20K40, 16G99 (secondary).     

Artinian Rings and the H-Condition

It is proved that a ring R is right Artinian if and only if,for each countably generated right R-module M, there existsa finite subset F of M such that the annihilator of M in R equalsthe annihilator of F in R. 2000 Mathematics Subject Classification16P20.     

The Inclusion Ideal Graph of Rings

Let R be a ring with unity. The inclusion ideal graph of a ring R, denoted by In(R), is a graph whose vertices are all nontrivial left ideals of R and two distinct left ideals I and J are adjacent if and only if I ? J or J ? I. In this paper, we show that In(R) is not connected if and only if R ? M ₂(D) or D ₁ × D ₂, for some division rings, D, D ₁ and D ₂. Moreover, we prove that if In(R) is connected, then diam(In(R)) ≤3. It is shown that if In(R) is a tree, then In(R) is a caterpillar with diam(In(R)) ≤3. Also, we prove that the girth of In(R) belongs to the set {3, 6, ∞}. Finally, we determine the clique number and the chromatic number of the inclusion ideal graph for some classes of rings.     

Self-Orthogonal Modules of Finite Projective Dimension

Let R be a ring and _R ω a self-orthogonal module. We introduce the notion of the right orthogonal dimension (relative to _R ω) of modules. We give a criterion for computing this relative right orthogonal dimension of modules. For a left coherent and semilocal ring R and a finitely presented self-orthogonal module _R ω, we show that the projective dimension of _R ω and the right orthogonal dimension (relative to _R ω) of R/J are identical, where J is the Jacobson radical of R. As a consequence, we get that _R ω has finite projective dimension if and only if every left (finitely presented) R-module has finite right orthogonal dimension (relative to _R ω). If ω is a tilting module, we then prove that a left R-module has finite right orthogonal dimension (relative to _R ω) if and only if it has a special ω^⊥-preenvelope.     

The Ziegler Spectrum of a Locally Coherent Grothendieck Category

The general theory of locally coherent Grothendieck categoriesis presented. To each locally coherent Grothendieck categoryC a topological space, the Ziegler spectrum of C, is associated.It is proved that the open subsets of the Ziegler spectrum ofC are in bijective correspondence with the Serre subcategoriesof coh C the subcategory of coherent objects of C. This is aNullstellensatz for locally coherent Grothendieck categories.If R is a ring, there is a canonical locally coherent Grothendieckcategory RC (respectively, CR) used for the study of left (respectively,right) R-modules. This category contains the category of R-modulesand its Ziegler spectrum is quasi-compact, a property used toconstruct large (not finitely generated) indecomposable modulesover an artin algebra. Two kinds of examples of locally coherentGrothendieck categories are given: the abstract category theoreticexamples arising from torsion and localization and the examplesthat arise from particular modules over the ring R. The dualitybetween coh-(RC) and coh-CR is shown to give an isomorphismbetween the topologies of the left and right Ziegler spectraof a ring R. The Nullstellensatz is used to give a proof ofthe result of Crawley-Boevey that every character : K₀(coh-C) Z is uniquely expressible as a Z-linear combination of irreduciblecharacters. 1991 Mathematics Subject Classification: 16D90,18E15.     

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.     

On Finitely Annihilated Modules and Artinian Rings

Let R be a ring. An R-module M is finitely annihilated if the annihilator of M is the annihilator of a finite subset of M. It is proved that if R has right socle S then the ring R/S is right Artinian if and only if every singular right R-module is finitely annihilated. Moreover, a right Noetherian ring R is right Artinian if and only if every uniform right R-module is finitely annihilated. In addition, a (right and left) Noetherian ring is (right and left) Artinian if and only if every injective right R-module is finitely annihilated. This paper will form part of the Ph.D. thesis at the University of Glasgow of the second author. He would like to thank the EPSRC for their financial support     

C-Pure Projective Modules

This paper investigates the structure of cyclically pure (or C-pure) projective modules. In particular, it is shown that a ring R is left Noetherian if and only if every C-pure projective left R-module is pure projective. Also, over a left hereditary Noetherian ring R, a left R-module M is C-pure projective if and only if M = N ⊕ P, where N is a direct sum of cyclic modules and P is a projective left R-module. The relationship C-purity with purity and RD-purity are also studied. It is shown that if R is a local duo-ring, then the C-pure projective left R-modules and the pure projective left R-modules coincide if and only if R is a principal ideal ring. If R is a left perfect duo-ring, then the C-pure projective left R-modules and the pure projective left R-modules coincide if and only if R is left Köthe (i.e., every left R-module is a direct sum of cyclic modules). Also, it is shown that for a ring R, if every C-pure projective left R-module is RD-projective, then R is left Noetherian, every p-injective left R-module is injective and every p-flat right R-module is flat. Finally, it is shown that if R is a left p.p-ring and every C-pure projective left R-module is RD-projective, then R is left Noetherian hereditary. The converse is also true when R is commutative, but it does not hold in the noncommutative case.     

On Semihereditary Maximal Orders

Let A be an order integral over a valuation ring V in a centralsimple F-algebra, where F is the fraction field of V. We showthat (a) if (V^h, F^h) is the Henselization of (V, F), then Ais a semihereditary maximal order if and only if A_VV^h is a semihereditarymaximal order, generalizing the result by Haile, Morandi andWadsworth, and (b) if J(V) is a principal ideal of V, then asemihereditary V-order is an intersection of finitely many conjugatesemihereditary maximal orders; if not, then there is only onemaximal order containing the V-order. 1991 Mathematics SubjectClassification 16H05.     

Stable Jacobson Radicals and Semiprime Smash Products

We prove that if H is a finite-dimensional semisimple Hopf algebraacting on a PI-algebra R of characteristic 0, and R is eitheraffine or algebraic over k, then the Jacobson radical of R isH-stable. Under the same hypotheses, we show that the smashproduct algebra R#H is semiprimitive provided that R is H-semiprime.More generally we show that the ‘finite’ Jacobsonradical is H-stable, and that R#H is semiprimitive providedthat R is H-semiprimitive and all irreducible representationsof R are finite-dimensional. We also consider R#H when R isan FCR-algebra. Finally, we prove a general relationship betweenstability of the radical and semiprimeness of R#H; in particularif for a given H, any action of H stabilizes the Jacobson radical,then also any action of H stabilizes the prime radical. 2000Mathematics Subject Classification 16W30, 16N20, 16R99, 16S40.     

Regularity of Rees Algebras

Let B = k[x₁, ..., x_n] be a polynomial ring over a field k,and let A be a quotient ring of B by a homogeneous ideal J.Let m denote the maximal graded ideal of A. Then the Rees algebraR = A[m t] also has a presentation as a quotient ring of thepolynomial ring k[x₁, ..., x_n, y₁, ..., y_n] by a homogeneousideal J^*. For instance, if A = k[x₁, ..., x_n], then Rk[x₁,...,x_n,y₁,...,y_n]/(x_iy_j–x_jy_i|i, j=1,...,n). In this paper we want to compare the homological propertiesof the homogeneous ideals J and J^*.     

Weakly regular rings with ACC on annihilators and maximality of strongly prime ideals of weakly regular rings

Ramamurthi proved that weak regularity is equivalent to regularity and biregularity for left Artinian rings. We observe this result under a generalized condition. For a ring R satisfying the ACC on right annihilators, we actually prove that if R is left weakly regular then R is biregular, and that R is left weakly regular if and only if R is a direct sum of a finite number of simple rings. Next we study maximality of strongly prime ideals, showing that a reduced ring R is weakly regular if and only if R is left weakly regular if and only if R is left weakly π-regular if and only if every strongly prime ideal of R is maximal.     

Central semicommutative rings

A ring R is central semicommutative if ab = 0 implies that aRb ? Z(R) for any a, b ∈ R. Since every semicommutative ring is central semicommutative, we study sufficient condition for central semicommutative rings to be semicommutative. We prove that some results of semicommutative rings can be extended to central semicommutative rings for this general settings, in particular, it is shown that every central semicommutative ring is nil-semicommutative. We show that the class of central semicommutative rings lies strictly between classes of semicommutative rings and abelian rings. For an Armendariz ring R, we prove that R is central semicommutative if and only if the polynomial ring R[x] is central semicommutative. Moreover, for a central semicommutative ring R, it is proven that (1) R is strongly regular if and only if R is a left GP-V′-ring whose maximal essential left ideals are GW-ideals if and only if R is a left GP-V′-ring whose maximal essential right ideals are GW-ideals. (2) If R is a left SF and central semicommutative ring, then R is a strongly regular ring.     

A Classification of Commutative Reduced Filial Rings

A ring R is said to be filial when for every I, J, if I is an ideal of J and J is an ideal of R then I is an ideal of R. The classification of commutative reduced filial rings is given.     

Left SF-Rings and Regular Rings

A ring R is called a left (right) SF-ring if all simple left (right) R-modules are flat. It is known that von Neumann regular rings are left and right SF-rings. In this article, we study the regularity of left SF-rings and we prove the following: 1) if R is a left SF-ring whose all complement left (right) ideals are W-ideals, then R is strongly regular; 2) if R is a left SF-ring whose all maximal essential right ideals are GW-ideals, then R is regular.     

Gorenstein injective and strongly cotorsion modules

By investigating the properties of some special covers and envelopes of modules, we prove that if R is a Gorenstein ring with the injective envelope of _R R flat, then a left R-module is Gorenstein injective if and only if it is strongly cotorsion, and a right R-module is Gorenstein flat if and only if it is strongly torsionfree. As a consequence, we get that for an Auslander-Gorenstein ring R, a left R-module is Gorenstein injective (resp. flat) if and only if it is strongly cotorsion (resp. torsionfree).