scholarly journals Generalized ⊕-Radical Supplemented Modules

ISRN Algebra ◽  
2014 ◽  
Vol 2014 ◽  
pp. 1-4
Author(s):  
Burcu Nişancı Türkmen ◽  
Ali Pancar

Çalışıcı and Türkmen called a module M generalized ⊕-supplemented if every submodule has a generalized supplement that is a direct summand of M. Motivated by this, it is natural to introduce another notion that we called generalized ⊕-radical supplemented modules as a proper generalization of generalized ⊕-supplemented modules. In this paper, we obtain various properties of generalized ⊕-radical supplemented modules. We show that the class of generalized ⊕-radical supplemented modules is closed under finite direct sums. We attain that over a Dedekind domain a module M is generalized ⊕-radical supplemented if and only if M/P(M) is generalized ⊕-radical supplemented. We completely determine the structure of these modules over left V-rings. Moreover, we characterize semiperfect rings via generalized ⊕-radical supplemented modules.

2013 ◽  
Vol 63 (4) ◽  
Author(s):  
Beata Rothkegel

AbstractIn the paper we formulate a criterion for the nonsingularity of a bilinear form on a direct sum of finitely many invertible ideals of a domain. We classify these forms up to isometry and, in the case of a Dedekind domain, up to similarity.


1988 ◽  
Vol 104 (2) ◽  
pp. 207-213 ◽  
Author(s):  
Peter Symonds

If G is a group with a subgroup H and R is a Dedekind domain, then an H-projective RG-lattice is an RG-lattice that is a direct summand of an induced lattice for some RH-lattice N: they have been studied extensively in the context of modular representation theory. If H is the trivial group these are the projective lattices. We define a relative character χG/H on H-projective lattices, which in the case H = 1 is equivalent to the Hattori–Stallings trace for projective lattices (see [5, 8]), and in the case H = G is the ordinary character. These characters can be used to show that the R-ranks of certain H-projective lattices must be divisible by some specified number, generalizing some well-known results: cf. Corollary 3·6. If for example we take R = ℤ, then |G/H| divides the ℤ-rank of any H-projective ℤG-lattice.


1960 ◽  
Vol 12 ◽  
pp. 107-125 ◽  
Author(s):  
D. G. Higman

We study representations of o-orders, that is, of o-regular -algebras, in the case that o is a Dedekind domain. Our main concern is with those -modules, called -representation modules, which are regular as o-modules. For any -module M we denote by D(M) the ideal consisting of the elements x ∈ o such that x.Ext1(M, N) = 0 for all -modules N, where Ext = Ext(,0) is the relative functor of Hochschild (5). To compute D(M) we need the small amount of homological algebra presented in § 1. In § 2 we show that the -representation modules with rational hulls isomorphic to direct sums of right ideal components of the rational hull A of , called principal-modules, are characterized by the property that D(M) ≠ 0. The (, o)-projective -modules are those with D(M) = 0. We observe that D(M) divides the ideal I() of (2) for every M , and give another proof of the fact that I() ≠ 0 if and only if A is separable. Up to this point, o can be taken to be an arbitrary integral domain.


Author(s):  
Wan Wu ◽  
Zenghui Gao

We introduce and study strongly Gorenstein subcategory [Formula: see text], relative to an additive full subcategory [Formula: see text] of an abelian category [Formula: see text]. When [Formula: see text] is self-orthogonal, we give some sufficient conditions under which the property of an object in [Formula: see text] can be inherited by its subobjects and quotient objects. Then, we introduce the notions of one-sided (strongly) Gorenstein subcategories. Under the assumption that [Formula: see text] is closed under countable direct sums (respectively, direct products), we prove that an object is in right (respectively, left) Gorenstein category [Formula: see text] (respectively, [Formula: see text]) if and only if it is a direct summand of an object in right (respectively, left) strongly Gorenstein subcategory [Formula: see text] (respectively, [Formula: see text]). As applications, some known results are obtained as corollaries.


Author(s):  
Rachid Ech-chaouy ◽  
Abdelouahab Idelhadj ◽  
Rachid Tribak

A module [Formula: see text] is called coseparable ([Formula: see text]-coseparable) if for every submodule [Formula: see text] of [Formula: see text] such that [Formula: see text] is finitely generated ([Formula: see text] is simple), there exists a direct summand [Formula: see text] of [Formula: see text] such that [Formula: see text] and [Formula: see text] is finitely generated. In this paper, we show that free modules are coseparable. We also investigate whether or not the ([Formula: see text]-)coseparability is stable under taking submodules, factor modules, direct summands, direct sums and direct products. We show that a finite direct sum of coseparable modules is not, in general, coseparable. But the class of [Formula: see text]-coseparable modules is closed under finite direct sums. Moreover, it is shown that the class of coseparable modules over noetherian rings is closed under finite direct sums. A characterization of coseparable modules over noetherian rings is provided. It is also shown that every lifting (H-supplemented) module is coseparable ([Formula: see text]-coseparable).


Author(s):  
Rachid Ech-chaouy ◽  
Abdelouahab Idelhadj ◽  
Rachid Tribak

A module [Formula: see text] is called [Formula: see text]-separable if every proper finitely generated submodule of [Formula: see text] is contained in a proper finitely generated direct summand of [Formula: see text]. Indecomposable [Formula: see text]-separable modules are shown to be exactly the simple modules. While direct summands of an [Formula: see text]-separable module do not inherit the property, in general, the question of the stability under direct sums is unanswered. But we obtain some partial answers. It is shown that any infinite direct sum of [Formula: see text]-separable modules is [Formula: see text]-separable. Also, we prove that if [Formula: see text] and [Formula: see text] are [Formula: see text]-separable modules such that [Formula: see text] is [Formula: see text]-projective, then [Formula: see text] is [Formula: see text]-separable. We conclude the paper by providing some characterizations of several classes of rings in terms of [Formula: see text]-separable modules. Among others, we prove that the class of rings [Formula: see text] for which every (injective) [Formula: see text]-module is [Formula: see text]-separable is exactly that of semisimple rings.


1970 ◽  
Vol 13 (4) ◽  
pp. 501-505 ◽  
Author(s):  
B. L. Osofsky

It is well known that if a module M is expressible as a direct sum of modules with local endomorphism rings, then such a decomposition is essentially unique. That is, if M = ⊕i∊IMi = ⊕j∊JNj then there is a bijection f: I → J such that Mi is isomorphic to Nf(i) for all i∊I (see [1]). On the other hand, a nonprincipal ideal in a Dedekind domain provides an example where such a theorem fails in the absence of the local hypothesis. Group algebras of certain groups over rings R of algebraic integers is another such example, where even the rank as R-modules of indecomposable summands of a module is not uniquely determined (see [2]). Both of these examples yield modules which are expressible as direct sums of two indecomposable modules in distinct ways. In this note we construct a family of rings which show that the number of summands in a representation of a module M as a direct sum of indecomposable modules is also not unique unless one has additional hypotheses.


2002 ◽  
Vol 01 (03) ◽  
pp. 289-294
Author(s):  
MAHER ZAYED ◽  
AHMED A. ABDEL-AZIZ

In the present paper, modules which are subisomorphic (in the sense of Goldie) to their pure-injective envelopes are studied. These modules will be called almost pure-injective modules. It is shown that every module is isomorphic to a direct summand of an almost pure-injective module. We prove that these modules are ker-injective (in the sense of Birkenmeier) over pure-embeddings. For a coherent ring R, the class of almost pure-injective modules coincides with the class of ker-injective modules if and only if R is regular. Generally, the class of almost pure-injective modules is neither closed under direct sums nor under elementary equivalence. On the other hand, it is closed under direct products and if the ring has pure global dimension less than or equal to one, it is closed under reduced products. Finally, pure-semisimple rings are characterized, in terms of almost pure-injective modules.


2020 ◽  
pp. 1-27
Author(s):  
GABRIELLA D′ESTE ◽  
DERYA KESKİN TÜTÜNCÜ ◽  
RACHID TRIBAK

Abstract A module M is called a D4-module if, whenever A and B are submodules of M with M = A ⊕ B and f : A → B is a homomorphism with Imf a direct summand of B, then Kerf is a direct summand of A. The class of D4-modules contains the class of D3-modules, and hence the class of semi-projective modules, and so the class of Rickart modules. In this paper we prove that, over a commutative Dedekind domain R, for an R-module M which is a direct sum of cyclic submodules, M is direct projective (equivalently, it is semi-projective) iff M is D3 iff M is D4. Also we prove that, over a prime PI-ring, for a divisible R-module X, X is direct projective (equivalently, it is Rickart) iff X ⊕ X is D4. We determine some D3-modules and D4-modules over a discrete valuation ring, as well. We give some relevant examples. We also provide several examples on D3-modules and D4-modules via quivers.


2000 ◽  
Vol 62 (1) ◽  
pp. 57-66
Author(s):  
Sang Cheol Lee ◽  
Dong Soo Lee

This paper proves that every direct summand N of a direct sum of indecomposable injective submodules of a module is the sum of a direct sum of indecomposable injective submodules and a sum of indecomposable injective submodules of Z2(N).


Sign in / Sign up

Export Citation Format

Share Document