Superdecomposable pure injective modules over commutative valuation rings

Translated fromAlgebra i Logika, Vol. 31, No. 6, pp. 655–671, November–December, 1992.     

On the rings whose injective hulls are flat

Let be a commutative Noetherian ring with nonzero identity and let the injective envelope of be flat. We characterize these kinds of rings and obtain some results about modules with nonzero injective cover over these rings.

     

Noetherian rings with almost injective simple modules

We characterize right Noetherian rings over which all simple modules are almost injective. It is proved that R is such a ring, if and only if, the complements of semisimple submodules of every R-module M are direct summands of M, if and only if, R is a finite direct sum of right ideals I_r, where I_r is either a Noetherian V-module with zero socle, or a simple module, or an injective module of length 2. A commutative Noetherian ring for which all simple modules are almost injective is precisely a finite direct product of rings R_i, where R_i is either a field or a quasi-Frobenius ring of length 2. We show that for commutative rings whose all simple modules are almost injective, the properties of Kasch, (semi)perfect, semilocal, quasi-Frobenius, Artinian, and Noetherian coincide.     

Relative purity over noetherian rings

In this note we are going to show that if M is a left module over a left noetherian ring R of the infinite cardinality λ ≥ |R|, then its injective hull E(M) is of the same size. Further, if M is an injective module with |M| ≥ (2^λ)⁺ and K ≤ M is its submodule such that |M/K| ≤ λ, then K contains an injective submodule L with |M/L| ≤ 2^λ. These results are applied to modules which are torsionfree with respect to a given hereditary torsion theory and generalize the results obtained by different methods in author’s previous papers: [A note on pure subgroups, Contributions to General Algebra 12. Proceedings of the Vienna Conference, June 3–6, 1999, Verlag Johannes Heyn, Klagenfurt, 2000, pp. 105–107], [Pure subgroups, Math. Bohem. 126 (2001), 649–652]. This research has been partially supported by the Grant Agency of the Charles University, grant #GAUK 301-10/203115/B-MAT/MFF and also by the institutional grant MSM 113 200 007.     

On power series rings over valuation domains

Let V be a valuation domain and V[[X]] be the power series ring over V. In this paper, we show that if V[[X]] is a locally finite intersection of valuation domains, then V is an SFT domain and hence a discrete valuation domain. As a consequence, it is shown that the power series ring V[[X]] is a Krull domain if and only if V[[X]] is a generalized Krull domain if and only if V[[X]] is an integral domain of Krull type (or equivalently, a PvMD of finite t-character) if and only if V is a discrete valuation domain with Krull dimension at most one.     

Commutative ideal theory without finiteness conditions: Primal ideals

Our goal is to establish an efficient decomposition of an ideal of a commutative ring as an intersection of primal ideals. We prove the existence of a canonical primal decomposition: , where the are isolated components of that are primal ideals having distinct and incomparable adjoint primes . For this purpose we define the set of associated primes of the ideal to be those defined and studied by Krull. We determine conditions for the canonical primal decomposition to be irredundant, or residually maximal, or the unique representation of as an irredundant intersection of isolated components of . Using our canonical primal decomposition, we obtain an affirmative answer to a question raised by Fuchs, and also prove for that an ideal is an intersection of -primal ideals if and only if the elements of are prime to . We prove that the following conditions are equivalent: (i) the ring is arithmetical, (ii) every primal ideal of is irreducible, (iii) each proper ideal of is an intersection of its irreducible isolated components. We classify the rings for which the canonical primal decomposition of each proper ideal is an irredundant decomposition of irreducible ideals as precisely the arithmetical rings with Noetherian maximal spectrum. In particular, the integral domains having these equivalent properties are the Prüfer domains possessing a certain property.

     

Flat modules over valuation rings

Let R be a valuation ring and let Q be its total quotient ring. It is proved that any singly projective (respectively flat) module is finitely projective if and only if Q is maximal (respectively artinian). It is shown that each singly projective module is a content module if and only if any non-unit of R is a zero-divisor and that each singly projective module is locally projective if and only if R is self-injective. Moreover, R is maximal if and only if each singly projective module is separable, if and only if any flat content module is locally projective. Necessary and sufficient conditions are given for a valuation ring with non-zero zero-divisors to be strongly coherent or π-coherent.A complete characterization of semihereditary commutative rings which are π-coherent is given. When R is a commutative ring with a self-FP-injective quotient ring Q, it is proved that each flat R-module is finitely projective if and only if Q is perfect.     

McCoy modules and related modules over commutative rings

Let M be a left R-module. Then M is a McCoy (resp., dual McCoy) module if for nonzero f(X)∈R[X] and m(X)∈M[X], f(X)m(X) = 0 implies there exists a nonzero r∈R (resp., m∈M) with rm(X) = 0 (resp., f(X)m = 0). We show that for R commutative every R-module is dual McCoy, but give an example of a non-McCoy module. A number of other results concerning (dual) McCoy modules as well as arithmetical, Gaussian, and Armendariz modules are given.     

Endomorphism rings of simple modules over group rings

If is a finitely generated nilpotent group which is not abelian-by-finite, a field, and a finite dimensional separable division algebra over , then there exists a simple module for the group ring with endomorphism ring . An example is given to show that this cannot be extended to polycyclic groups.

     

Composition series of modules over Prüfer domains

A weakened version of the Jordan-Hölder theorem is shown to hold for torsion-free finite rank modules over an integral domain precisely when is a Prüfer domain.

     

Pure Injective Modules over a Commutative Valuation Domain

Using geometrical invariants we classify those pure injective modules over a commutative valuation domain which are envelopes of one element.     

Gorenstein injective complexes of modules over Noetherian rings

A complex C is called Gorenstein injective if there exists an exact sequence of complexes $?\to I_{\mathrm{?1}}\to I_0\to I_1\to ?$ such that each $I_i$ is injective, $C=\mathrm{Ker}(I_0\to I_1)$ and the sequence remains exact when $\mathrm{Hom}(E,?)$ is applied to it for any injective complex E. We show that over a left Noetherian ring R, a complex C of left R-modules is Gorenstein injective if and only if $C^m$ is Gorenstein injective in R-Mod for all $m\in \mathbb{Z}$. Also Gorenstein injective dimensions of complexes are considered.     

Two characterizations of pure injective modules

Let be a commutative ring with identity and an -module. It is shown that if is pure injective, then is isomorphic to a direct summand of the direct product of a family of finitely embedded modules. As a result, it follows that if is Noetherian, then is pure injective if and only if is isomorphic to a direct summand of the direct product of a family of Artinian modules. Moreover, it is proved that is pure injective if and only if there is a family of -algebras which are finitely presented as -modules, such that is isomorphic to a direct summand of a module of the form , where for each , is an injective -module.

     

On finitely injective modules and locally pure-injective modules over Prüfer domains

Over Matlis valuation domains there exist finitely injective modules which are not direct sums of injective modules, as well as complete locally pure-injective modules which are not the completion of a direct sum of pure-injective modules. Over Prüfer domains which are either almost maximal, or -local Matlis, finitely injective torsion modules and complete torsion-free locally pure-injective modules correspond to each other under the Matlis equivalence. Almost maximal Prüfer domains are characterized by the property that every torsion-free complete module is locally pure-injective. It is derived that semi-Dedekind domains are Dedekind.

     

Distributively generated rings and distributive modules

A module is said to be distributively generated if it is generated by distributive submodules. We prove that the endomorphism ring of a finitely generated projective right module over a right distributively generated ring is a right distributively generated ring. IfM is a module over a ringA andA/J(A) is a normal exchange ring, thenM is a distributive module⇔M is a Bezout module. Translated fromMatematicheskie Zametki, Vol. 68, No. 4, pp. 568–578, October, 2000.     

Modules over serial rings

This paper continues the study of Noetherian serial rings. General theorems describing the structure of such rings are proved. In particular, some results concerning π-projective and π-injective modules over serial rings are obtained. Translated fromMatematicheskie Zametki, Vol. 65, No. 6, pp. 880–892 June, 1999.     

Pure-injective hulls of modules over valuation rings

If is the pure-injective hull of a valuation ring R, it is proved that is the pure-injective hull of M, for every finitely generated R-module M. Moreover , where (A_k)_1≤k≤n is the annihilator sequence of M. The pure-injective hulls of uniserial or polyserial modules are also investigated. Any two pure-composition series of a countably generated polyserial module are isomorphic.