Modules Whose Endomorphism Rings are Division Rings

The well-known Schur's Lemma states that the endomorphism ring of a simple module is a division ring. But the converse is not true in general. In this paper we study modules whose endomorphism rings are division rings. We first reduce our consideration to the case of faithful modules with this property. Using the existence of such modules, we obtain results on a new notion which generalizes that of primitive rings. When R is a full or triangular matrix ring over a commutative ring, a structure theorem is proved for an R-module M such that End _R (M) is a division ring. A number of examples are given to illustrate our results and to motivate further study on this topic.     

𝔏-Rickart Modules

It is well known that the Rickart property of rings is not a left-right symmetric property. We extend the notion of the left Rickart property of rings to a general module theoretic setting and define 𝔏-Rickart modules. We study this notion for a right R-module M _R where R is any ring and obtain its basic properties. While it is known that the endomorphism ring of a Rickart module is a right Rickart ring, we show that the endomorphism ring of an 𝔏-Rickart module is not a left Rickart ring in general. If M _R is a finitely generated 𝔏-Rickart module, we prove that End _R (M) is a left Rickart ring. We prove that an 𝔏-Rickart module with no set of infinitely many nonzero orthogonal idempotents in its endomorphism ring is a Baer module. 𝔏-Rickart modules are shown to satisfy a certain kind of nonsingularity which we term “endo-nonsingularity.” Among other results, we prove that M is endo-nonsingular and End _R (M) is a left extending ring iff M is a Baer module and End _R (M) is left cononsingular.     

On rings with associated elements

A principal right ideal of a ring is called uniquely generated if any two elements of the ring that generate the same principal right ideal must be right associated (i.e., if for all a,b in a ring R, aR = bR implies a = bu for some unit u of R). In the present paper, we study “uniquely generated modules” as a module theoretic version of “uniquely generated ideals,” and we obtain a characterization of a unit-regular endomorphism ring of a module in terms of certain uniquely generated submodules of the module among some other results: End(M) is unit-regular if and only if End(M) is regular and all M-cyclic submodules of a right R-module M are uniquely generated. We also consider the questions of when an arbitrary element of a ring is associated to an element with a certain property. For example, we consider this question for the ring R[x;σ]∕(xⁿ⁺¹), where R is a strongly regular ring with an endomorphism σ be an endomorphism of R.     

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.     

Endomorphism rings and the category of finitely generated projective modules

Given a left R-module M, we study the connection between the (right and left) properties of its endomorphism ring S=End(_RM) and the properties of the category σ _f [M] of all submodules of finitely M-generated left R-modules.     

On P-coherent endomorphism rings

A ring is called right P-coherent if every principal right ideal is finitely presented. Let M _R be a right R-module. We study the P-coherence of the endomorphism ring S of M _R . It is shown that S is a right P-coherent ring if and only if every endomorphism of M _R has a pseudokernel in add M _R ; S is a left P-coherent ring if and only if every endomorphism of M _R has a pseudocokernel in add M _R . Some applications are given.     

Indecomposable finitely generated modules over valuation domains

Summary LetR be a valuation domain,S a maximal immediate extension ofR. We introduce the definition of unitary independence. We use units ofS, which are unitarily independent over an ideal ofR, to construct indecomposable finitely generatedR-modules with Goldie dimension greater than one. We prove that, ifR is archimedean, the endomorphism ring of an indecomposable finitely generatedR-module is local. On the other hand, we prove that, ifR is a suitable non archimedean valuation domain, there exist indecomposable finitely generatedR-modulesM such that End (M) is not local.

---

Riassunto SiaR un dominio di valutazione,S un'estensione massimale immediate diR. Si introduce la definizione di indipendenza unitaria. Si usano unità diS unitariamente indipendenti su un ideale diR per costruireR-moduli finitamente generati indecomponibili con dimensione di Goldie maggiore di uno. Si dimostra che, seR è archimedeo, l'anello degli endomorfismi di unR-modulo finitamente generato indecomponibile è locale. Si prova altresì che, seR è un opportuno dominio di valutazione non archimedeo, esistonoR-moduliM finitamente generati indecomponibili, tali che End (M) non è locale.

---

---

Lavoro eseguito nell'ambito del GNSAGA.     

The homomorphismM*⊗N → Hom (M,N)

In this note we prove two theorems. In theorem 1 we prove that if M andN are two non-zero reflexive modules of finite projective dimensions over a Gorenstein local ring, such that Hom (M, N) is a third module of syzygies, then the natural homomorphismM* ⊗N → Hom (M, N) is an isomorphism. This extends the result in [7]. In theorem 2, we prove that projective dimension of a moduleM over a regular local ringR is less than or equal ton if and only if Ext_R ⁿ (M, R) ⊗M → Ext_R ⁿ (M, M) is surjective; in which case it is actually bijective. This extends the usual criterion for the projectivity of a module.     

On pureness in Abelian groups

Torsion-free Abelian groups G and H are called quasi-equal (G ≈ H) if λG ⊂ H ⊂ G for a certain natural number ≈. It is known (see [3]) that the quasi-equality of torsion-free Abelian groups can be represented as the equality in an appropriate factor category. Thus while dealing with certain group properties it is usual to prove that the property under consideration is preserved under the transition to a quasi-equal group. This trick is especially frequently used when the author investigates module properties of Abelian groups; here a group is considered as a left module over its endomorphism ring. On the other hand, a topical problem in the Abelian group theory is the problem of investigation of pureness in the category of Abelian groups (see [4]). We consider the pureness introduced by P. Cohn [2] for Abelian groups as modules over their endomorphism rings. Particularity of the investigation of the properties of pureness for the Abelian group G as the module _E (G)G lies in the fact that this is a more general situation than the investigation of pureness for a unitary module over an arbitrary ring R with the identity element. Indeed, if _R M is an arbitrary unitary left module and M ⁺ is its Abelian group, then each element from R can be identified with an appropriate endomorphism from the ring E(M ⁺) under the canonical ring homomorphism R → E(M ⁺). Then it holds that if _E(M+) N is a pure submodule in _E(M+) M ⁺, then _R N is a pure submodule in _R M. In the present paper the interrelations between pureness, servantness, and quasi-decompositions for Abelian torsion-free groups of finite rank will be investigated. __________ Translated from Fundamentalnaya i Prikladnaya Matematika (Fundamental and Applied Mathematics), Vol. 10, No. 2, pp. 225–238, 2004.     

Annihilator Properties of Skew Monoid Rings

Let R be a ring with an endomorphism σ and F ∪ {0} the free monoid generated by U = {u ₁,…, u _t } with 0 added, and M a factor of F setting certain monomial in U to 0, enough so that, for some n, M ⁿ  = 0. In this article, we study various annihilator properties and a variety of conditions and related properties that the skew monoid ring R[M; σ] is inherited from R.     

Estimates of global dimension

In this note we show that for a *ⁿ-module, in particular, an almost n-tilting module, P over a ring R with A = End_R P such that P _A has finite flat dimension, the upper bound of the global dimension of A can be estimated by the global dimension of R and hence generalize the corresponding results in tilting theory and the ones in the theory of *-modules. As an application, we show that for a finitely generated projective module over a VN regular ring R, the global dimension of its endomorphism ring is not more than the global dimension of R.     

ABELIAN EXCHANGE MODULES

ABSTRACT

Let M_k be a right k-module with endomorphism ring E=End(M_k). We prove that if E is an Abelian exchange ring, then M_k has the full exchange property. We also give an extension of this result in the case E is regular.     

Indecomposable Modules and Gelfand Rings

It is proved that a commutative ring is clean if and only if it is Gelfand with a totally disconnected maximal spectrum. It is shown that each indecomposable module over a commutative ring R satisfies a finite condition if and only if R _P is an Artinian valuation ring for each maximal prime ideal P. Commutative rings for which each indecomposable module has a local endomorphism ring are studied. These rings are clean and elementary divisor rings. It is shown that each commutative ring R with a Hausdorff and totally disconnected maximal spectrum is local-global. Moreover, if R is arithmetic, then R is an elementary divisor ring.     

Rickart Modules

The concept of right Rickart rings (or right p.p. rings) has been extensively studied in the literature. In this article, we study the notion of Rickart modules in the general module theoretic setting by utilizing the endomorphism ring of a module. We provide several characterizations of Rickart modules and study their properties. It is shown that the class of rings R for which every right R-module is Rickart is precisely that of semisimple artinian rings, while the class of rings R for which every free R-module is Rickart is precisely that of right hereditary rings. Connections between a Rickart module and its endomorphism ring are studied. A characterization of precisely when the endomorphism ring of a Rickart module will be a right Rickart ring is provided. We prove that a Rickart module with no infinite set of nonzero orthogonal idempotents in its endomorphism ring is precisely a Baer module. We show that a finitely generated module over a principal ideal domain (PID) is Rickart exactly if it is either semisimple or torsion-free. Examples which delineate the concepts and results are provided.     

On Clean Rings

A ring R is called clean if every element of R is the sum of an idempotent and a unit. Let M be a R-module. It is obtained in this article that the endomorphism ring End(M) is clean if and only if, whenever A = M′ ⊕ B = A₁ ⊕ A₂ with M′ ? M, there is a decomposition M′ =M₁ ⊕ M₂ such that A = M′ ⊕ [A₁ ∩ (M₁ ⊕ B)] ⊕ [A₂ ∩ (M₂ ⊕ B)]. Then unit-regular endomorphism rings are also described by direct decompositions.     

On GC2 modules and their endomorphism rings

Let R be a ring. A module M_R is said to be GC₂ if for any N≤ M with N? M, N is a direct summand of M. In this article, we give some characterizations and properties of GC₂ modules and their endomorphism rings, and many results on C ₂ modules and GC₂ rings are generalized to GC₂ modules.     

Virtually semisimple modules and a generalization of the Wedderburn-Artin theorem

A widely used result of Wedderburn and Artin states that “every left ideal of a ring R is a direct summand of R if and only if R has a unique decomposition as a finite direct product of matrix rings over division rings.” Motivated by this, we call a module M virtually semisimple if every submodule of M is isomorphic to a direct summand of M and M is called completely virtually semisimple if every submodule of M is virtually semisimple. We show that the left R-module R is completely virtually semisimple if and only if R has a unique decomposition as a finite direct product of matrix rings over principal left ideal domains. This shows that R is completely virtually semisimple on both sides if and only if every finitely generated (left and right) R-module is a direct sum of a singular module and a projective virtually semisimple module. The Wedderburn-Artin theorem follows as a corollary from our result.     

Principally quasi-injective modules

An R-module M is called principally quasi-injective if each R-hornomorphism from a principal submodule of M to M can be extended to an endomorphism of M. Many properties of principally injective rings and quasi-injective modules are extended to these modules. As one application, we show that, for a finite-dimensional quasi-injective module M in which every maximal uniform submodule is fully invariant, there is a bijection between the set of indecomposable summands of M and the maximal left ideals of the endomorphism ring of M

Throughout this paper all rings R are associative with unity, and all modules are unital. We denote the Jacobson radical, the socle and the singular submodule of a module M by J(M), soc(M) and Z(M), respectively, and we write J(M) = J. The notation N ?^ess M means that N is an essential submodule of M.     

Quasi-injective dimension

Following our previous work about quasi-projective dimension [11], in this paper, we introduce quasi-injective dimension as a generalization of injective dimension. We recover several well-known results about injective and Gorenstein-injective dimensions in the context of quasi-injective dimension such as the following. (a) If the quasi-injective dimension of a finitely generated module M over a local ring R is finite, then it is equal to the depth of R. (b) If there exists a finitely generated module of finite quasi-injective dimension and maximal Krull dimension, then R is Cohen-Macaulay. (c) If there exists a nonzero finitely generated module with finite projective dimension and finite quasi-injective dimension, then R is Gorenstein. (d) Over a Gorenstein local ring, the quasi-injective dimension of a finitely generated module is finite if and only if its quasi-projective dimension is finite.