A Generalization of Projective Module

The question of whether all projective modules (or all finitely generated projective modules) over a given ring are free or extended is solved positively only for relatively small class of rings. In 1976, a significant progress was achieved in this area of research: D. Quillen and A. A. Suslin simultaneously and independently of one another proved that all projective modules over algebras of polynomials over fields are free modules, which was a solution to the well-known J.-P. Serre’s problem. Later similar results were obtained by various researchers for projectivemodules over ringsmore general then algebras of polynomials over fields. For example, V. A. Artamonov solved this problem for rings of quantum polynomials. The current state of this line of research is described in detail in the survey paper [1] containing an extensive list of references. Inmany cases, it is possible to prove that all projectivemodules of sufficiently large ranks over a given ring are free (or extended), but for projectivemodules of small ranks (for example, of rank one) this result does not hold. In this paper, we discuss problems of more special character: The problem of finding in an explicit form isomorphisms between a given projective module and a free (or extended) module, and, for an explicitly given projective module, the problem of efficient determination whether it is a free (or extended) module. By definition, a finitely generated projective module is a direct summand of a free module. Therefore, the most general way to define such a module is to indicate the idempotent matrix corresponding to the projection onto the direct summand. We show that, for modules over graded rings, the fact that a module is extended can be established if the sequence of powers of nonzero homogeneous components of the given idempotent matrix is known (Theorem 1), or under condition that certain blocks of positive homogeneous components of the same matrix vanish (Theorem 2). In the above described cases, there is a method of explicit constructing of the desired isomorphism. Statements of such kind are derived as consequences of the results of [2], where the author considered a situation which is so general that one can take as an “algebra” for which the results of [2] are valid not only linear multioperator algebras but modules over a certain class of rings. In this paper, we use the basic constructions, definitions, and notation from [2]. We make only insignificant changes in notation in order that it correspond to the generally adopted notation in the theory of rings and modules. So, the notation f1 used in [2] (for a polynomial, it corresponds to the homogeneous component of the first degree) is changed here by f0 since it corresponds to the zero component of the grading of the ring. Correspondingly, the other indices are also shifted by one.

On any smooth affine surface over an algebraically closed field, it is easy to construct rank two projective modules with given determinant as the first Chern class and an arbitrary rational equivalence class of a zero cycle as the second Chern class. We will briefly indicate this method in Section 1. Here we construct projective modules over smooth affine 3-folds with prescribed Chern classes and of the right rank. That is to say, we construct rank two projective modules with prescribed first and second Chem classes and rank three projective modules with prescribed first, second and third Chern classes (Theorem 2.1). As a corollary, using Roitman's theorem on torsion in zero cycles and Suslin's cancellation theorem, one gets that a rank three projective module over a smooth affine threefold with top Chem class zero has a free direct summand of rank one (Cor. 2.4). For example, over a rational threefold any projective module splits into a free module and a rank two projective module. Thus we obtain necessary and sufficient conditions in terms of appropriate Chern classes for modules to be efficiently generated. For example, on an affine rational 3-fold any line bundle is 3-generated and any rank two projective module is 4-generated. We also prove that any maximal ideal over a smooth affine variety of dimension d is the zero of a section of a rank d projective module (Theorem 3.1). For an affine 3-fold, if A3(X) = 0, we prove the validity of the Eisenbud-Evans estimate for finitely generated modules. We do not know the answers for most of these questions in higher dimensions. Sometimes we assume that the characteristic of the ground field is different from 2, 3 and 5 due to technical reasons.**

In this paper we take a natural homomorphism f M : U Hom R ( M , N ) → HomU ( UM , U N ) where U is an R-Algebra , R=CenU and M , N are any two R-modules.Here we have shown that 1. If P is any projective module then f P is a monomorphism. 2. If G be any generator then f ) ( n G is an epimorphism. 3. If M be a generator and N is any free module then f ) (M TrN is always a monomorphism. 4. If M is a generator and N is any finitely generated free R-module then f ) (M TrN is an isomorphism. 5. If M be any artinian module such that it is subdirect product of simple module then f M is monomorphism iff for each submodule K , f K is monomorphism. 6. Let M be a generator and N is any free module if U is finitely presented then f ) (M TrN is an isomorphism. 7. Let M be any left R-module such that f ) ( Re / N j M M is an isomorphism then f M is an isomorphism.

In [1], Cockcroft and Swan proved that homotopy equivalent projective (free) complexes can be stabilized by projective (free) modules to the chain equivalence and applied this result to the investigation of the homotopy types of nonsimply connected two-dimensional CW-complexes. In [2], the author established necessary and sufficient conditions for the stabilization of n-dimensional chain complexes composed of finitely generated projective modules by free modules to the chain equivalence. In the monograph [3], Sharko proved an analog of the Cockcroft–Swan theorem for free crossed chain complexes. In 2011, Brown, Higgins, and Sivera published a book [4] in which they gave a comprehensive presentation of the principal contemporary achievements in the field of non-Abelian algebraic topology. They also considered all basic notions used in the present paper. Our aim is to prove an analog of the Cockcroft–Swan theorem for projective crossed chain complexes.

Let be a module over a commutative ring with identity. Before studying the concept of the Strongly Pseudo Nearly Semi-2-Absorbing submodule, we need to mention the ideal and the basics that you need to study the concept of the Strongly Pseudo Nearly Semi-2-Absorbing submodule. Also, we introduce several characteristics of the Strongly Pseudo Nearly Semi-2-Absorbing submodule in classes of multiplication modules and other types of modules. We also had no luck because the ideal is not a Strongly Pseudo Nearly Semi-2-Absorbing ideal. Also, it is noted that is the Strongly Pseudo Nearly Semi-2-Absorbing ideal under several conditions, which is this faithful module, projective module, Z-regular module and content module and non-singular module and content module. Also we introduce the characterization of the concept of the Strongly Pseudo Nearly Semi-2-Absorbing ideals by a special kind of submodule

Normal radicals of endomorphism rings of free and projective modules

The direct sum behaviour of its projective modules is a fundamental property of any ring. Hereditary Noetherian prime rings are perhaps the only noncommutative Noetherian rings for which this direct sum behaviour (for both finitely and infinitely generated projective modules) is well-understood, yet highly nontrivial . This book surveys material previously available only in the research literature. It provides a re-worked and simplified account, with improved clarity, fresh insights and many original results about finite length modules, injective modules and projective modules. It culminates in the authors' surprisingly complete structure theorem for projective modules which involves two independent additive invariants: genus and Steinitz class. Several applications demonstrate its utility. The theory, extending the well-known module theory of commutative Dedekind domains and of hereditary orders, develops via a detailed study of simple modules. This relies upon the substantial account of idealiser subrings which forms the first part of the book and provides a useful general construction tool for interesting examples. The book assumes some knowledge of noncommutative Noetherian rings, including Goldie's theorem. Beyond that, it is largely self-contained, thanks to the appendix which provides succinct accounts of Artinian serial rings and, for arbitrary rings, results about lifting direct sum decompositions from finite length images of projective modules. The appendix also describes some open problems.

In this paper, the primary objective is to obtain decomposition theorems for graded modules over the polynomial ring $k[x]$, where $k$ denotes a field. There is some overlap with recent work of Höppner and Lenzing. The results obtained include identification of the free, projective, and injective modules. It is proved that a module that is either reduced and locally finite or bounded below is a direct sum of cyclic submodules. Pure submodules are direct summands if they are bounded below. In such case, the pure submodule is itself a direct sum of cyclic submodules. It is also noted that Cohen and Gluck’s Stacked Bases Theorem remains true if the modules are graded.

This paper focuses on the study of pure Rickart modules (or PR-modules for short), which are a class of modules over a commutative ring with identity. The main objective is to investigate the properties and characterizations of these modules, as well as their relationship with other classes of modules such as free, projective, and flat modules. This paper also explores the connections between PR-modules and various algebraic structures such as rings. The results obtained in this study provide a deeper understanding of the structure and behavior of PR-modules, which can have important applications in algebraic geometry, representation theory, and other areas of mathematics. Some results about PR-module have been investigated in this paper, for example we demonstrate a module is PR-module if and only if for every , is pure submodule of (or for short). Also, some kind of generalization of these rings have been constructed and demonstrated in term of PR-modules.

Generating modules efficiently: Theorems from algebraic K-theory

On direct sums of Baer modules

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).

The lower radical of a module type. For a ring R with unit, the module type t(R) was defined in [6] as follows: t(0) = 0; t(R) = d if every free R-module has invariant rank; t(R) = (c, k) for integers c, k ≧ 1 if every free R-module of rank < c has invariant rank, while a free module of rank h ≧ c has rank h + nk for any integer n ≧ 0. The module types form a lattice under the ordering 0 < (c, k) < d and (c', k') ≦ (c, k) if and only if c ' ≦ c and k' Ⅰ k. Two of the basic theorems on types are:A. [6; Theorem 2, p. 115] If R → R' is a unit-preserving homomorphism, then t(R')≦ t(R).

A module M is called dual automorphism invariant if whenever X1 and X2 are small submodules of M, then each epimorphism f : M/X1 → M/X2 lifts to an endomorphism g of M. A module M is said to be d-square free (dual square free) if whenever some factor module of M is isomorphic to N2 for a module N then N = 0. We show that each dual automorphism invariant module over a semiperfect ring which is a small epimorphic image of a projective lifting module is a direct sum of cyclic indecomposable d-square free modules. Moreover, we prove that for each module M over a semiperfect ring which is a small epimorphic image of a projective lifting module (e.g., M is a finitely generated module), M is dual automorphism invariant iff M is pseudoprojective. Also, we give the necessary and sufficient conditions for a dual automorphism invariant module over a right perfect ring to be quasiprojective.

The Baer and the quasi-Baer properties of rings are extended to a module theoretic setting in this chapter. Using the endomorphism ring of a module, the notions of Baer, quasi-Baer, and Rickart modules are introduced and studied. Similar to the fact that every Baer ring is nonsingular, we shall see that every Baer module satisfies a weaker notion of nonsingularity of modules (\(\mathcal{K}\)-nonsingularity) which depends on the endomorphism ring of the module. Strong connections between a Baer module and an extending module will be observed via this weak nonsingularity and its dual notion. It is shown that an extending module which is \(\mathcal{K}\)-nonsingular is precisely a \(\mathcal{K}\)-cononsingular Baer module. This provides a module theoretic analogue of the Chatters-Khuri theorem for rings. Direct summands of Baer and quasi-Baer modules respectively inherit these properties. This provides a rich source of examples of Baer and quasi-Baer modules, since one can readily see that for any (quasi-)Baer ring R and an idempotent e in R, the right R-module eR R is always a (quasi-)Baer module. It will be seen that every projective module over a quasi-Baer ring is a quasi-Baer module. Connections of a (quasi-)Baer module and its endomorphism ring are discussed. Characterizations of classes of rings via the Baer property of certain classes of free modules over them are presented. An application also yields a type theory for \(\mathcal{K}\)-nonsingular extending (continuous) modules which, in particular, improve the type theory for nonsingular injective modules provided by Goodearl and Boyle.