We introduce and investigate the notion of GC -projective modules over (possibly non-noetherian) commutative rings, where C is a semidualizing module. This extends Holm and Jørgensen’s notion of C-Gorenstein projective modules to the non-noetherian setting and generalizes projective and Gorenstein projective modules within this setting. We then study the resulting modules of finite GC-projectiv...

In this paper, we describe all automorphism-liftable torsion modules over non-primitive hereditary Noetherian prime rings. We also study non-torsion not necessarily commutative Dedekind

An easy consequence of this is that a left Noetherian (respectively left Artinian) ring which is finitely generated over its center is right Noetherian (respectively right Artinian). Theorem 1 follows easily from Theorem 2, which gives a partial converse to the following standard fact: IfR C S are rings, and ifQ is an injective R-module, then Hom~(S, Q) is an injective S-module (this follows, f...

Two constructions are given that describe respectively all shortest primary decompositions and all shortest uniform decompositions for left Noetherian rings. They show that these decompositions are, in general, highly non-unique.

We give a new constructive definition for Noetherian rings. It has a very concrete statement and is nevertheless strong enough to prove constructively the termination of algorithms involving “trees of ideals”. The efficiency of such algorithms (at least for providing clear and intuitive constructive proofs) is illustrated in a section about Lasker–Noether rings: we give constructive proofs for ...

We call a graded connected algebra R effectively coherent, if for every linear equation over R with homogeneous coefficients of degrees at most d, the degrees of generators of its module of solutions are bounded by some function D(d). For commutative polynomial rings, this property has been established by Hermann in 1926. We establish the same property for several classes of noncommutative alge...

In [2, Section 1.6] Peskine and Szpiro prove a theorem on adic approximations of finite free resolutions over local rings which, together with M. Artin's Approximation Theorem [1], allows them to "descend" modules of finite projective dimension over the completions of certain local rings to modules of finite projective dimension over finite etale extensions of those rings. In this note we will ...

The property that an ideal whose annihilator is zero contains a regular element is examined from the point of view of constructive mathematics. It is shown that this property holds for nitely presented algebras over discrete elds, and for coherent, Noetherian, strongly discrete rings that contain an in nite eld. Let R be a commutative ring and M an R-module. For any subset I of R, we write AM(I...

All rings in this paper are assumed to be commutative with identity, and they will generally also be Noetherian. In several recent papers the asymptotic theory of ideals in Noetherian rings has been introduced and developed. In this new theory the roles played in the standard theory by associated primes, i?-sequences, classical grade, and Cohen-Macaulay rings are played by, respectively, asympt...