scholarly journals Pure-injective modules

1973 ◽  
Vol 14 (2) ◽  
pp. 120-122 ◽  
Author(s):  
Syed M. Fakhruddin
Keyword(s):  
Free Module ◽  
Finitely Generated ◽  
Circle Group ◽  
Injective Modules ◽  
Compact Topology ◽  
Induced Module ◽  
Dual Module ◽  
Pure Injective Module ◽  
Category Of Modules ◽  
Finitely Presented

AbstractIt is proved that a pure-injective module over a commutative ring with unity is a summand of a product of duals of finitely presented modules, where duals are to be understood with reference to the circle group T, with induced module structures. Using similar techniques, it is also shown that an R-module has its underlying group pure-injective precisely when it is a submodule of a product of duals of cyclic modules and also a summand as abelian group of the same product.All rings considered are commutative with unity and all modules are unitary. Let Mod-R be the category of modules over a ring R. An exact sequence 0 → A → B → C → 0 in Mod-R is pure-exact if, for any N in Mod-R, 0 → A⊗N → B⊗N → C⊗N → 0 is exact. A module M is pure-injective if it has the injective property relative to the class of pure-exact sequences in Mod-R. A module P is FP (finitely presented) if it is the image of a finitely generated free module with a finitely generated kernel. A module M is compact if it carries a Hausdorff compact topology so that M is a topological R-module. Let T denote the circle group—the group of real numbers modulo the integers—and let X* denote the dual module Homℤ(X, T) of the module X.

scholarly journals RATIONAL POLYHEDRA AND PROJECTIVE LATTICE-ORDERED ABELIAN GROUPS WITH ORDER UNIT

2012 ◽  
Vol 14 (03) ◽  
pp. 1250017 ◽  
Author(s):  
LEONARDO CABRER ◽  
DANIELE MUNDICI
Keyword(s):  
Abelian Group ◽  
Algebraic Topology ◽  
Lattice Structure ◽  
Order Unit ◽  
Finitely Generated ◽  
Lattice Order ◽  
Translation Invariant ◽  
Projective Lattice ◽  
Rational Polyhedra ◽  
Finitely Presented

An ℓ-groupG is an abelian group equipped with a translation invariant lattice-order. Baker and Beynon proved that G is finitely generated projective if and only if it is finitely presented. A unital ℓ-group is an ℓ-group G with a distinguished order unit, i.e. an element 0 ≤ u ∈ G whose positive integer multiples eventually dominate every element of G. Unital ℓ-homomorphisms between unital ℓ-groups are group homomorphisms that also preserve the order unit and the lattice structure. A unital ℓ-group (G, u) is projective if whenever ψ : (A, a) → (B, b) is a surjective unital ℓ-homomorphism and ϕ : (G, u) → (B, b) is a unital ℓ-homomorphism, there is a unital ℓ-homomorphism θ : (G, u) → (A, a) such that ϕ = ψ ◦ θ. While every finitely generated projective unital ℓ-group is finitely presented, the converse does not hold in general. Classical algebraic topology (à la Whitehead) is combined in this paper with the Włodarczyk–Morelli solution of the weak Oda conjecture for toric varieties, to describe finitely generated projective unital ℓ-groups.

Commutative rings and modules that are Nil*-coherent or special Nil*-coherent

2017 ◽  
Vol 16 (10) ◽  
pp. 1750187 ◽  
Author(s):  
Karima Alaoui Ismaili ◽  
David E. Dobbs ◽  
Najib Mahdou
Keyword(s):  
Commutative Rings ◽  
Finitely Generated ◽  
Basic Properties ◽  
Unital Ring ◽  
Reduced Ring ◽  
Coherent Ring ◽  
Ring Extensions ◽  
Coherent Rings ◽  
Finitely Presented

Recently, Xiang and Ouyang defined a (commutative unital) ring [Formula: see text] to be Nil[Formula: see text]-coherent if each finitely generated ideal of [Formula: see text] that is contained in Nil[Formula: see text] is a finitely presented [Formula: see text]-module. We define and study Nil[Formula: see text]-coherent modules and special Nil[Formula: see text]-coherent modules over any ring. These properties are characterized and their basic properties are established. Any coherent ring is a special Nil[Formula: see text]-coherent ring and any special Nil[Formula: see text]-coherent ring is a Nil[Formula: see text]-coherent ring, but neither of these statements has a valid converse. Any reduced ring is a special Nil[Formula: see text]-coherent ring (regardless of whether it is coherent). Several examples of Nil[Formula: see text]-coherent rings that are not special Nil[Formula: see text]-coherent rings are obtained as byproducts of our study of the transfer of the Nil[Formula: see text]-coherent and the special Nil[Formula: see text]-coherent properties to trivial ring extensions and amalgamated algebras.

scholarly journals Some New Methods in the Theory of $m$-Quasi-Invariants

10.37236/1877 ◽  
2005 ◽  
Vol 11 (2) ◽  
Author(s):  
J. Bell ◽  
A. M. Garsia ◽  
N. Wallach
Keyword(s):  
Symmetric Functions ◽  
Free Module ◽  
Finitely Generated ◽  
Graded Algebras ◽  
New Approach ◽  
Elementary Symmetric Functions ◽  
New Methods ◽  
Regular Sequences

We introduce here a new approach to the study of $m$-quasi-invariants. This approach consists in representing $m$-quasi-invariants as $N^{tuples}$ of invariants. Then conditions are sought which characterize such $N^{tuples}$. We study here the case of $S_3$ $m$-quasi-invariants. This leads to an interesting free module of triplets of polynomials in the elementary symmetric functions $e_1,e_2,e_3$ which explains certain observed properties of $S_3$ $m$-quasi-invariants. We also use basic results on finitely generated graded algebras to derive some general facts about regular sequences of $S_n$ $m$-quasi-invariants

scholarly journals Injective Modules Over Non-Artinian Serial Rings

1988 ◽  
Vol 44 (2) ◽  
pp. 242-251 ◽  
Author(s):  
David A. Hill
Keyword(s):  
Affirmative Answer ◽  
Primitive Idempotent ◽  
Injective Hull ◽  
Finitely Generated ◽  
Serial Ring ◽  
Direct Sum ◽  
Injective Modules

AbstractA module is uniserial if its lattice of submodules is linearly ordered, and a ring R is left serial if R is a direct sum of uniserial left ideals. The following problem is considered. Suppose the injective hull of each simple left R-module is uniserial. When does this imply that the indecomposable injective left R-modules are uniserial? An affirmative answer is known when R is commutative and when R is Artinian. The following result is proved.Let R be a left serial ring and suppose that for each primitive idempotent e, eRe has indecomposable injective left modules uniserial. The following conditions are equivalent. (a) The injective hull of each simple left R-module is uniserial. (b) Every indecomposable injective left R-module is univerial. (c) Every finitely generated left R-module is serial.The rest of the paper is devoted to a study of some non-Artinian serial rings which serve to illustrate this theorem.

Strict Mittag–Leffler modules over Gorenstein injective modules

2019 ◽  
Vol 19 (03) ◽  
pp. 2050050 ◽  
Author(s):  
Yanjiong Yang ◽  
Xiaoguang Yan
Keyword(s):  
Noetherian Ring ◽  
Direct Limit ◽  
Injective Module ◽  
Noetherian Rings ◽  
Projective Modules ◽  
Injective Modules ◽  
Pure Submodules ◽  
Covering Class ◽  
Gorenstein Injective ◽  
Finitely Presented

In this paper, we study the conditions under which a module is a strict Mittag–Leffler module over the class [Formula: see text] of Gorenstein injective modules. To this aim, we introduce the notion of [Formula: see text]-projective modules and prove that over noetherian rings, if a module can be expressed as the direct limit of finitely presented [Formula: see text]-projective modules, then it is a strict Mittag–Leffler module over [Formula: see text]. As applications, we prove that if [Formula: see text] is a two-sided noetherian ring, then [Formula: see text] is a covering class closed under pure submodules if and only if every injective module is strict Mittag–Leffler over [Formula: see text].

scholarly journals Asymptotic behaviour of ideals relative to injective modules over commutative Noetherian rings

1991 ◽  
Vol 34 (1) ◽  
pp. 155-160 ◽  
Author(s):  
H. Ansari Toroghy ◽  
R. Y. Sharp
Keyword(s):  
Asymptotic Behaviour ◽  
Noetherian Ring ◽  
Prime Ideals ◽  
Noetherian Rings ◽  
Finitely Generated ◽  
Commutative Noetherian Ring ◽  
Injective Modules ◽  
Finite Set ◽  
Attached Prime ◽  
Secondary Representation

LetEbe an injective module over the commutative Noetherian ringA, and letabe an ideal ofA. TheA-module (0:Eα) has a secondary representation, and the finite set AttA(0:Eα) of its attached prime ideals can be formed. One of the main results of this note is that the sequence of sets (AttA(0:Eαn))n∈Nis ultimately constant. This result is analogous to a theorem of M. Brodmann that, ifMis a finitely generatedA-module, then the sequence of sets (AssA(M/αnM))n∈Nis ultimately constant.

scholarly journals Generators and relations of Rees matrix semigroups

1999 ◽  
Vol 42 (3) ◽  
pp. 481-495 ◽  
Author(s):  
H. Ayik ◽  
N. Ruškuc
Keyword(s):  
Rees Matrix Semigroup ◽  
Finitely Generated ◽  
Finite Generation ◽  
Generators And Relations ◽  
Rees Matrix Semigroups ◽  
Finite Presentability ◽  
Matrix Semigroup ◽  
Finitely Presented ◽  
Matrix Semigroups ◽  
The Ideal

In this paper we consider finite generation and finite presentability of Rees matrix semigroups (with or without zero) over arbitrary semigroups. The main result states that a Rees matrix semigroup M[S; I, J; P] is finitely generated (respectively, finitely presented) if and only if S is finitely generated (respectively, finitely presented), and the sets I, J and S\U are finite, where U is the ideal of S generated by the entries of P.

scholarly journals Presentations for Subrings and Subalgebras of Finite CO-Rank

2019 ◽  
Vol 71 (1) ◽  
pp. 53-71
Author(s):  
Peter Mayr ◽  
Nik Ruškuc
Keyword(s):  
Lie Algebra ◽  
Noetherian Ring ◽  
Free Lie Algebra ◽  
Finitely Generated ◽  
Associative Algebras ◽  
Commutative Noetherian Ring ◽  
Rank 2 ◽  
Finitely Presented ◽  
Algebra Over A Field

Abstract Let $K$ be a commutative Noetherian ring with identity, let $A$ be a $K$-algebra and let $B$ be a subalgebra of $A$ such that $A/B$ is finitely generated as a $K$-module. The main result of the paper is that $A$ is finitely presented (resp. finitely generated) if and only if $B$ is finitely presented (resp. finitely generated). As corollaries, we obtain: a subring of finite index in a finitely presented ring is finitely presented; a subalgebra of finite co-dimension in a finitely presented algebra over a field is finitely presented (already shown by Voden in 2009). We also discuss the role of the Noetherian assumption on $K$ and show that for finite generation it can be replaced by a weaker condition that the module $A/B$ be finitely presented. Finally, we demonstrate that the results do not readily extend to non-associative algebras, by exhibiting an ideal of co-dimension $1$ of the free Lie algebra of rank 2 which is not finitely generated as a Lie algebra.

Decision problems concerning S-arithmetic groups

1985 ◽  
Vol 50 (3) ◽  
pp. 743-772 ◽  
Author(s):  
Fritz Grunewald ◽  
Daniel Segal
Keyword(s):  
Additive Group ◽  
Nilpotent Groups ◽  
Isomorphism Problem ◽  
Algorithmic Problem ◽  
Finitely Generated ◽  
Finitely Presented Groups ◽  
Finite Dimensional ◽  
Associative Rings ◽  
Finitely Presented ◽  
Torsion Free

This paper is a continuation of our previous work in [12]. The results, and some applications, have been described in the announcement [13]; it may be useful to discuss here, a little more fully, the nature and purpose of this work.We are concerned basically with three kinds of algorithmic problem: (1) isomorphism problems, (2) “orbit problems”, and (3) “effective generation”.(1) Isomorphism problems. Here we have a class of algebraic objects of some kind, and ask: is there a uniform algorithm for deciding whether two arbitrary members of are isomorphic? In most cases, the answer is no: no such algorithm exists. Indeed this has been one of the most notable applications of methods of mathematical logic in algebra (see [26, Chapter IV, §4] for the case where is the class of all finitely presented groups). It turns out, however, that when consists of objects which are in a certain sense “finite-dimensional”, then the isomorphism problem is indeed algorithmically soluble. We gave such algorithms in [12] for the following cases: = {finitely generated nilpotent groups}; = {(not necessarily associative) rings whose additive group is finitely generated}; = {finitely Z-generated modules over a fixed finitely generated ring}.Combining the methods of [12] with his own earlier work, Sarkisian has obtained analogous results with the integers replaced by the rationals: in [20] and [21] he solves the isomorphism problem for radicable torsion-free nilpotent groups of finite rank and for finite-dimensional Q-algebras.

Sign in / Sign up

Export Citation Format

Share Document