Finite Exchange Property for Quasi-projective Modules

2011 ◽  
Vol 18 (03) ◽  
pp. 507-518
Author(s):  
Huanyin Chen

In this paper, we obtain several necessary and sufficient conditions under which a quasi-projective module has the finite exchange property. Applications to finitely generated modules are also studied. These extend some corresponding results on exchange rings.

2019 ◽  
Vol 19 (05) ◽  
pp. 2050091
Author(s):  
Yılmaz Durğun

In a recent paper, Holston et al. have defined a module [Formula: see text] to be [Formula: see text]-subprojective if for every epimorphism [Formula: see text] and homomorphism [Formula: see text], there exists a homomorphism [Formula: see text] such that [Formula: see text]. Clearly, every module is subprojective relative to any projective module. For a module [Formula: see text], the subprojectivity domain of [Formula: see text] is defined to be the collection of all modules [Formula: see text] such that [Formula: see text] is [Formula: see text]-subprojective. We consider, for every pure-projective module [Formula: see text], the subprojective domain of [Formula: see text]. We show that the flat modules are the only ones sharing the distinction of being in every single subprojectivity domain of pure-projective modules. Pure-projective modules whose subprojectivity domain is as small as possible will be called pure-projective indigent (pp-indigent). Properties of subprojectivity domains of pure-projective modules and of pp-indigent modules are studied. For various classes of modules (such as simple, cyclic, finitely generated and singular), necessary and sufficient conditions for the existence of pp-indigent modules of those types are studied. We characterize the structure of a Noetherian ring over which every (simple, cyclic, finitely generated) pure-projective module is projective or pp-indigent. Furthermore, finitely generated pp-indigent modules on commutative Noetherian hereditary rings are characterized.


2004 ◽  
Vol 03 (02) ◽  
pp. 207-217 ◽  
Author(s):  
HUANYIN CHEN

In this paper, we investigate the necessary and sufficient conditions on exchange rings, under which every regular matrix admits diagonal reduction. Also we show that an exchange ring R is strongly separative if and only if for any finitely generated projective right R-module C, if A and B are any right R-modules such that 2C⊕A≅C⊕B, then C⊕A≅B.


1988 ◽  
Vol 30 (2) ◽  
pp. 215-220 ◽  
Author(s):  
José L. Gómez Pardo ◽  
Nieves Rodríguez González

A ring R is called left QF-3 if it has a minimal faithful left R-module. The endomorphism ring of such a module has been recently studied in [7], where conditions are given for it to be a left PF ring or a QF ring. The object of the present paper is to study, more generally, when the endomorphism ring of a Σ-quasi-projective module over any ring R is left QF-3. Necessary and sufficient conditions for this to happen are given in Theorem 2. An useful concept in this investigation is that of a QF-3 module which has been introduced in [11]. If M is a finitely generated quasi-projective module and σ[M] denotes the category of all modules isomorphic to submodules of modules generated by M, then we show that End(RM) is a left QF-3 ring if and only if the quotient module of M modulo its torsion submodule (in the torsion theory of σ[M] canonically defined by M) is a QF-3 module (Corollary 4). Finally, we apply these results to the study of the endomorphism ring of a minimal faithful R-module over a left QF-3 ring, extending some of the results of [7].


1979 ◽  
Vol 28 (3) ◽  
pp. 335-345 ◽  
Author(s):  
Nicholas S. Ford

AbstractLet R be a commutative ring with identity, and let A be a finitely generated R-algebra with Jacobson radical N and center C. An R-inertial subalgebra of A is a R-separable subalgebra B with the property that B+N=A. Suppose A is separable over C and possesses a finite group G of R-automorphisms whose restriction to C is faithful with fixed ring R. If R is an inertial subalgebra of C, necessary and sufficient conditions for the existence of an R-inertial subalgebra of A are found when the order of G is a unit in R. Under these conditions, an R-inertial subalgebra B of A is characterized as being the fixed subring of a group of R-automorphisms of A. Moreover, A ⋍ B ⊗R C. Analogous results are obtained when C has an R-inertial subalgebra S ⊃ R.


1971 ◽  
Vol 12 (2) ◽  
pp. 187-192
Author(s):  
Charles V. Heuer

In [1] D. W. Miller and the author established necessary and sufficient conditions for the existence of a cancellative (ideal) extension of a commutative cancellative semigroup by a cyclic group with zero. The purpose of this paper is to extend these results to cancellative extensions by any finitely generated Abelian group with zero and to establish in this general case conditions under which two such extensions are equivalent.


1988 ◽  
Vol 31 (3) ◽  
pp. 374-379 ◽  
Author(s):  
Kenneth G. Wolfson

AbstractA prime Goldie ring K, in which each finitely generated left ideal is principal is the endomorphism ring E(F, A) of a free module A, of finite rank, over an Ore domain F. We determine necessary and sufficient conditions to insure that whenever K ≅ E(F, A) ≅ E(G, B) (with A and B free and finitely generated over domains F and G) then (F, A) is semi-linearly isomorphic to (G, B). We also show, by example, that it is possible for K ≅ E(F, A ) ≅ E(G, B), with F and G, not isomorphic.


2018 ◽  
Vol 17 (02) ◽  
pp. 1850023 ◽  
Author(s):  
L. Izelgue ◽  
O. Ouzzaouit

Let [Formula: see text] and [Formula: see text] be two rings, [Formula: see text] an ideal of [Formula: see text] and [Formula: see text] be a ring homomorphism. The ring [Formula: see text] is called the amalgamation of [Formula: see text] with [Formula: see text] along [Formula: see text] with respect to [Formula: see text]. It was proposed by D’anna and Fontana [Amalgamated algebras along an ideal, Commutative Algebra and Applications (W. de Gruyter Publisher, Berlin, 2009), pp. 155–172], as an extension for the Nagata’s idealization, which was originally introduced in [Nagata, Local Rings (Interscience, New York, 1962)]. In this paper, we establish necessary and sufficient conditions under which [Formula: see text], and some related constructions, is either a Hilbert ring, a [Formula: see text]-domain or a [Formula: see text]-ring in the sense of Adams [Rings with a finitely generated total quotient ring, Canad. Math. Bull. 17(1) (1974)]. By the way, we investigate the transfer of the [Formula: see text]-property among pairs of domains sharing an ideal. Our results provide original illustrating examples.


2010 ◽  
Vol 17 (01) ◽  
pp. 87-100 ◽  
Author(s):  
Huanyin Chen

In this article, we investigate new necessary and sufficient conditions on an exchange ring under which every regular matrix admits a diagonal reduction. We prove that an exchange ring R is an hermitian ring if and only if for any n ≥ 2 and any regular x ∈ Rn, there exists u ∈ CLn(R) such that x = xux; if and only if for any n ≥ 2 and any regular x ∈ Rn, there exists u ∈ CLn(R) such that xu ∈ R is an idempotent. Furthermore, we characterize such exchange rings by means of reflexive inverses and n-pseudo-similarity.


2000 ◽  
Vol 10 (06) ◽  
pp. 739-749 ◽  
Author(s):  
RAYMOND BALBES

A ternary algebra is a bounded distributive lattice with additonal operations e and ~ that satisfies (a+b)~=a~b~, a~~=a, e≤a+a~, e~= e and 0~=1. This article characterizes free ternary algebras by giving necessary and sufficient conditions on a set X of free generators of a ternary algebra L, so that X freely generates L. With this characterization, the free ternary algebra on one free generator is displayed. The poset of join irreducibles of finitely generated free ternary algebras is characterized. The uniqueness of the set of free generators and their pseudocomplements is also established.


1981 ◽  
Vol 1 (2) ◽  
pp. 209-221 ◽  
Author(s):  
Mary Rees

AbstractLet Г be a finitely generated discrete subgroup of the isometries of the hyperbolic plane H2 with at least one parabolic element. We prove that, if Г1 is a subgroup of Г with Г/Г1 abelian, the ‘critical exponent’ of Г1 is the same as that of Г. We give necessary and sufficient conditions-in terms of the rank of Г/Г1, the critical exponent of Г, and the image of parabolic elements of Г in Г/Г1 - for the Poincaré series of Г1 to diverge at the critical exponent.


Sign in / Sign up

Export Citation Format

Share Document