Modules finite over endomorphism ring

A left module over a ring Λ is called completely faithful if Λ is a sum of those left ideals which are homomorphic images of M. The notion was first introduced by Morita [9], and he proved, among others, the following theorem which plays a basic role in his theory of category-isomorphisms: if a Λ-module M is completely faithful, then M is finitely generated and projective with respect to the endomorphism ring Γ of M and Λ coincides with the endomorphism ring of Λ-module M.

This series aims to report new developments in mathematical research and teaching -quickly, informally and at a high level.The type of material considered for publication includes: 1.Preliminary drafts of original papers and monographs 2. Lectures on a new field, or presenting a new angle on a classical field 3. Seminar work-outs 4. Reports of meetings, provided they are a) of exceptional interest or b) devoted to a single topic.

For a commutative local ring R, we know that every ideal is a direct sum of local modules if and only if the unique maximal ideal of R is of the form , where and are principal ideal rings and for all γ’s. This motivates us to determine a commutative ring, not necessarily local, in which every (proper) ideal is a direct sum of local modules. We prove that such a ring is exactly a finite direct product of local rings R with the unique maximal ideal in the above mentioned form. Moreover, we characterize more precisely certain commutative rings such as Noetherian rings, reduced rings, Rickart rings, semi-Artinian rings and self-injective rings, in which every (proper) ideal is a direct sum of local modules.

INTRODUCTION In the broadest sense, this is a study of commutative rings which satisfy the (finitely) pseudo-Froben[us (or (F)PF) condition: All (finitely generated) faithful modules generate the category mod-R of all R-modules. These rings include: Pr[[fer rings, almost maximal valuation rings, self-injective rings, e.g. , quasi-Frobenius (QF) and pseudo-Frobenius (PF) rings, and finite products of these. (In fact, any product of commutative FPF rings is FPF [34]; hence, any product of commutative PF rings is FPF (cf. §9).) If R is FPF, so is its (classical)ring of quotients Qc~(R) and its maximal quotient ring Qmax(R). All known FPF rings are (classically) quotientinjective in the sense that Qcf is injective. 2 We conjecture that all FIDF rings are quot[ent-injective, and prove this in the three cases: (i) local rings (Proposition 7 and Theorem 9B): (2) Noether[an rings (Theorem ii; Endo' s Theorem [25J~ (3) reduced rings (Proposition 3B and Theorem 4). Moreover, any FPF commutative ring R splits, R = R 1 X R2, where R 1 is semihered[tary, and R 2 has essential nilradical. (If R is semilocal or Noetherian, then R 2 is injective. ) Thus any reduced FPF ring has regular [njective Qc~' and conversely any quotient-injective sem[hered[tary ring is FPF (Theorem 4). A ring iS pre-(l~PF iff all(finitely generated)faithful ideals are generators, and we

In 1968–1969, A. V. Jategaonkar published his famous constructions of left but not right noetherian rings that provided counterexamples to several important conjectures of that era. These examples, and others like them, seemed to indicate that, in general, the task of completely understanding the structure of indecomposable injective modules over one-sided noetherian rings was hopeless. In this paper I show how to deduce by natural methods, directly from the known description of these rings and their properties, explicit computational descriptions of the indecomposable injective left modules over Jategaonkar's rings. I use these explicit descriptions to answer some simple structural questions about the indecomposables. The structure of indecomposable injective modules over a commutative noetherian ring has been well understood since the work of Matlis[10] in the 1950's. There is a natural correspondence between the indecomposable injectives and the localizations of the ring, and the structure of ...

Recall that a left module A (resp. right module B) is said to be singly injective (resp. singly flat) if $$Ext^{1}_{R}(F/K, A) = 0$$ (resp. $${\text {Tor}}_{1}^{R}(B, F/K)= 0$$ ) for any cyclic submodule K of any finitely generated free left R-module F. In this paper, we continue to study and investigate the homological objects related to singly flat and singly injective modules and module homomorphisms. Along the way, the right orthogonal class of singly flat right modules and the left orthogonal class of singly injective left modules are introduced and studied. These concepts are used to extend the some known results and to characterize pseudo-coherent rings and left singly injective rings. In terms of some derived functors, some homological dimensions are investigated. As applications, some new characterizations of von Neumann regular rings and left PP rings are given. Finally, we study the singly flatness and singly injectivity of homomorphism modules over a commutative ring.

Totally acyclic complexes

In this work we study flat modules over commutative noetherian rings under two kinds of restriction: that the modules are either submodules of free modules or that they have finite rank. The first ones have nicely behaved annihilators: they are generated by idempotents. Among the various questions related to flat modules of finite rank, emphasis is placed on discussing conditions implying its finite generation, as for instance, (i) over a local ring, a flat module of constant rank is free, and (ii) a flat submodule of finite rank of a free module is finitely generated. The rank one flat modules already present special problems regarding its endomorphism ring; in a few cases it is proved that they are flat over the base ring. Finally, a special class of flat modules—unmixed—is discussed, which have, so to speak, its source of divisibility somewhat concentrated in the center of its endomorphism ring and thus resemble projective modules over flat epimorphic images of the base ring.

All rings are assumed to be associative and with nonzero identity element, and all modules are assumed to be unitary. A ring is said to be right (resp., left) invariant if all right (resp., left) ideals of it are ideals. Expressions such as “an invariant ring” mean that the corresponding right and left conditions hold. A right module M over a ring A is called a multiplication module if for every submodule N of M , there exists an ideal B of the ring A such that N = MB. A module MA is said to be flat if for every left A-module L, the natural group homomorphism M ⊗A L is a monomorphism. If all submodules of any right or left module over a ring A are flat, then one says that the weak global dimension of the ring A does not exceed 1; in this case, we write w.gl.dim(A) ≤ 1 for brevity. In [7], it is proved that every faithful multiplication module over a commutative ring is a flat module. If A is a commutative ring, then w.gl.dim(A) ≤ 1 if and only if A is a distributive semiprime ring [5]. If A is an invariant semiprime ring, then w.gl.dim(A) ≤ 1 if and only if A is a distributive ring [13, Theorem 7.31]. The main result of the present paper is Theorem 1.

Endoregular modules

We study a class of modules which can be characterized using a duality theorem, called finitistic n-self-cotilting. Such a module Q can be characterized using dual conditions of some generalizations for star modules: every module M which has a right resolution with n terms isomorphic to finite powers of Q (i.e., M is n-finitely Q-copresented) has a right resolution with (n + 1) terms, and the functor Hom R (−, Q) preserves the exactness of all monomorphisms with their ranges finite powers of Q and cokernels n-finitely Q-copresented modules. In the general case, these modules are independent toward other kinds of modules which are characterized using some dualities (w-Π f -quasi injective modules, costar modules, f-cotilting modules). Closure properties for the classes involved in the duality are studied. At the end of the article, connections with the cotilting theory are exhibited, in the case of finitely dimensional algebras over fields.

One-dimensional stable rings

Graded annihilators and tight closure test ideals

A left module M over a ring R is cofaithful in case there is an embedding of R into a finite product of copies of M. Our main result states that a semiprime ring R is left Goldie, that is, has a semisimple Artinian left quotient ring, if and only if R satisfies (i) every faithful left ideal is cofaithful and (ii) every nonzero left ideal contains a nonzero uniform left ideal. The proof is elementary and does not make use of the Goldie and LesieurCroisot theorems. We show that (i) and (ii) are Morita invariant. Moreover, (ii) is invariant under polynomial extensions, and so is (i) for commutative rings. Absolutely torsionfree rings are studied. The ring Q is a left classical quotient ring for the ring R C Q if every regular element (nondivisor of zero) of R is invertible in Q and if every element of Q is of the form b ~ιa where a,b E R and b is regular; in this case we also say that R is a left order in Q. A ring is said to be left Goldie if it has the ascending chain condition on left annihilators and has finite uniform dimension. (A left R -module has finite uniform dimension if it has no infinite direct sum of nonzero submodules, and it is said to be uniform if it is nonzero and any two nonzero submodules have a nontrivial intersection.) A theorem of Goldie [8,9] and Lesieur and Croisot [12] states that a ring is a left order in a semisimple Artinian ring if and only if it is semiprime and left Goldie. It is known that the ascending chain condition on left annihilators is not preserved under an equivalence of categories (Morita invariant); in fact, it does not go up to matrix rings. It is unknown whether being left Goldie is Morita invariant. In section two we give a proof of the theorem stated in the abstract, and in the prime case we give a proof which shows directly that such a ring is an order in a full matrix ring over a division ring. We also weaken the hypothesis of an important theorem on semiprime PI rings. In the third section we use these techniques to study absolutely torsion-free rings. In particular, we show that an absolutely torsionfree ring is Goldie if and only if it has a uniform left ideal, and that the endomorphism ring of a finitely generated projective module over an absolutely torsion-free ring is absolutely torsion-free.

The results of Szele and Szendrei [‘On Abelian groups with commutative endomorphism rings’, Acta Math. Acad. Sci. Hungar.2 (1951), 309–324] characterizing abelian groups with commutative endomorphism rings are generalized to modules whose endomorphism rings have various restrictions on their idempotents. Such properties include central or commuting idempotents, and one-sided ideals being two-sided. Related properties include direct summands having unique complements, or being fully invariant.