A Singular Analogue of Gersten's Conjecture and Applications to K-theoretic Adèles

The first part of this article introduces an analogue, for one-dimensional, singular, complete local rings, of Gersten's injectivity conjecture for discrete valuation rings. Our first main result is the verification of this conjecture when the ring is reduced and contains ?, using methods from cyclic/Hochschild homology and Artin–Rees results due to A. Krishna.

The second part of the article describes the relationship between adelic resolutions of K-theory sheaves on a one-dimensional scheme and properties of K-theory such as localization and descent. In particular, we construct a new resolution of Nisnevich sheafified K-theory, conditionally upon the aforementioned conjecture.     

McCoy Rings Relative to a Monoid

For a monoid M, we introduce M-McCoy rings, which are a generalization of McCoy rings and M-Armendariz rings; and investigate their properties. We first show that all reversible rings are right M-McCoy, where M is a u.p.-monoid. We also show that all right duo rings are right M-McCoy, where M is a strictly totally ordered monoid. Then we show that semicommutative rings and 2-primal rings do have a property close to the M-McCoy condition. Moreover, it is shown that a finitely generated Abelian group G is torsion free if and only if there exists a ring R such that R is G-McCoy. Consequently, several known results on right McCoy rings are extended to a general setting.     

The Rees Valuations of Complete Ideals in a Regular Local Ring

Let I be a complete m-primary ideal of a regular local ring (R, m) of dimension d ≥ 2. In the case of dimension two, the beautiful theory developed by Zariski implies that I factors uniquely as a product of powers of simple complete ideals and each of the simple complete factors of I has a unique Rees valuation. In the higher dimensional case, a simple complete ideal of R often has more than one Rees valuation, and a complete m-primary ideal I may have finitely many or infinitely many base points. For the ideals having finitely many base points Lipman proves a unique factorization involving special *-simple complete ideals and possibly negative exponents of the factors. Let T be an infinitely near point to R with dim R = dim T and R/m = T/m _T . We prove that the special *-simple complete ideal P _RT has a unique Rees valuation if and only if either dim R = 2 or there is no change of direction in the unique finite sequence of local quadratic transformations from R to T. We also examine conditions for a complete ideal to be projectively full.     

Notes on a new chain condition for prime ideals

A chain condition intermediate to the catenary property and the chain condition for prime ideals (c.c.) is studied. Like the c.c., the condition is inherited from a semi-local domain R by integral extension domains, by local quotient domains, and by factor domains, and a semi-local ring that satisfies the condition is catenary. (Unlike the c.c., none of these statements is true when R is not semi-local.) A number of characterizations of a semi-local domain that satisfies the condition are given in terms of: integral (respectively, algebraic, transcendental) extension domains, Henselizations, completions, Rees rings, associated graded rings and certain discrete valuation over-rings. Then four of the catenary chain conjectures are characterized in terms of this condition.     

Asymptotic Sequences over a Module

Let (R, 𝔪) be a Noetherian local ring and M be a submodule of the free module F = R ^r with height(I _r (M)) > 0. Asymptotic sequences over M will be defined analogous to Rees’ definition of asymptotic sequences over an ideal. It is then shown that all maximal asymptotic sequences over M have the same length. This length gives a bound on the analytic spread of M. Namely, if s is the length of a maximal asymptotic sequence over M then l(M) ≤dim R + rank M ? 1 ? s. Equality holds if R is quasi-unmixed.     

On a class of finite rings

In [7], Corbas determined all finite rings in which the product of any two zero-divisors is zero, and showed that they are of two types, one of characteristic p ²and the other of characteristic p².

The purpose of this paper is to address the problem of the classification of finite rings such that.

(i)the set of all zero-divisors form an ideal M.

(ii)M ³=(0); and.

(iii)M ³≠(0).

Because of (i), these rings are called completely primary and we shall call a finite completely primary ring R which satisfies conditions (i), (ii) and (iii), a ring with property(T). These rings are of three types, namely, of characteristic p p ² and p ³. The characteristic p ² case is subdivided into cases in which p?M ² p?ann(M)?M ² and p?M ?ann(M), where ann(M) denotes the two-sided annihilator of where M in R.     

Mod-Retractable Rings

A right module M over a ring R is said to be retractable if Hom _R (M, N) ≠ 0 for each nonzero submodule N of M. We show that M ? _R RG is a retractable RG-module if and only if M _R is retractable for every finite group G. The ring R is (finitely) mod-retractable if every (finitely generated) right R-module is retractable. Some comparisons between max rings, semiartinian rings, perfect rings, noetherian rings, nonsingular rings, and mod-retractable rings are investigated. In particular, we prove ring-theoretical criteria of right mod-retractability for classes of all commutative, left perfect, and right noetherian rings.     

On Fully Idempotent Modules

A submodule N of a module M is idempotent if N = Hom(M, N)N. The module M is fully idempotent if every submodule of M is idempotent. We prove that over a commutative ring, cyclic idempotent submodules of any module are direct summands. Counterexamples are given to show that this result is not true in general. It is shown that over commutative Noetherian rings, the fully idempotent modules are precisely the semisimple modules. We also show that the commutative rings over which every module is fully idempotent are exactly the semisimple rings. Idempotent submodules of free modules are characterized.     

An introduction to presentations of monoid acts: quotients and subacts

The purpose of this article is to introduce the theory of presentations of monoids acts. We aim to construct “nice” general presentations for various act constructions pertaining to subacts and Rees quotients. More precisely, given an M-act A and a subact B of A, on the one hand, we construct presentations for B and the Rees quotient A/B using a presentation for A, and on the other hand, we derive a presentation for A from presentations for B and A/B. We also construct a general presentation for the union of two subacts. From our general presentations, we deduce a number of finite presentability results. Finally, we consider the case where a subact B has a finite complement in an M-act A. We show that if M is a finitely generated monoid and B is finitely presented, then A is finitely presented. We also show that if M belongs to a wide class of monoids, including all finitely presented monoids, then the converse also holds.     

Virtually semisimple modules and a generalization of the Wedderburn-Artin theorem

A widely used result of Wedderburn and Artin states that “every left ideal of a ring R is a direct summand of R if and only if R has a unique decomposition as a finite direct product of matrix rings over division rings.” Motivated by this, we call a module M virtually semisimple if every submodule of M is isomorphic to a direct summand of M and M is called completely virtually semisimple if every submodule of M is virtually semisimple. We show that the left R-module R is completely virtually semisimple if and only if R has a unique decomposition as a finite direct product of matrix rings over principal left ideal domains. This shows that R is completely virtually semisimple on both sides if and only if every finitely generated (left and right) R-module is a direct sum of a singular module and a projective virtually semisimple module. The Wedderburn-Artin theorem follows as a corollary from our result.     

Taylor complexes for Koszul boundaries

For all boundary modules of the Koszul complex of a monomial sequence we construct complexes, which we call Taylor complexes. For a monomial d-sequences these complexes provide free resolutions of the boundary modules. Let M be the ideal generated by a monomial d-sequence. We use the Taylor complexes to construct minimal free resolutions of the Rees algebra and the associated graded ring of M. Received: 13 November 1997 / Revised version: 6 March 1998     

MORITA THEORY FOR ASSOCIATIVE RINGS

In this paper we develop a Morita theory for associative rings without identity using the categories CMod-R of modules M such that M ? Hom(R,M) and DMod-R of modules M such that M ? R ? M. This extends the main results of Morita theory to a wide class of rings, that properly includes the idempotent rings.     

On Semigroup Presentations and Efficiency

The purpose of this paper is twofold. First we determine some forms of the relations in a finite semigroup presentation with zero deficiency which does or does not define a group. Moreover, we conclude that a finite Rees matrix semigroup M [G; I, Λ; P] is efficient when G is efficient and the index sets I, Λ are finite.     

Rings of the Morita Contexts and Semihereditary Maximal V-Orders

Some necessary and sufficient conditions are given for rings of the Morita contexts to be semihereditary maximal V-orders, Prüfer rings and Dubrovin valuation rings.     

On right S-Noetherian rings and S-Noetherian modules

In this paper we study right S-Noetherian rings and modules, extending notions introduced by Anderson and Dumitrescu in commutative algebra to noncommutative rings. Two characterizations of right S-Noetherian rings are given in terms of completely prime right ideals and point annihilator sets. We also prove an existence result for completely prime point annihilators of certain S-Noetherian modules with the following consequence in commutative algebra: If a module M over a commutative ring is S-Noetherian with respect to a multiplicative set S that contains no zero-divisors for M, then M has an associated prime.     

F-rationality of certain Rees algebras and counterexamples to “Boutot's Theorem” for F-rational rings

F-rational rings are defined for rings of characteristic p > 0 using the Frobenius endomorphism and corresponds to rational singularities in characteristic 0. We study F-rationality of certain Rees algebras and prove that every Cohen-Macaulay local ring with isolated singularity and negative a-invariant has a Rees algebra which is F-rational. As a consequence, we find that “Boutot's Theorem” asserting that a pure subring of a rational singularity is a rational singularity is not true for a F-rational ring.     

Strongly Duo Modules and Rings

An R-module M is called strongly duo if Tr(N, M) = N for every N ≤ M _R . Several equivalent conditions to being strongly duo are given. If M _R is strongly duo and reduced, then End _R (M) is a strongly regular ring and the converse is true when R is a Dedekind domain and M _R is torsion. Over certain rings, nonsingular strongly duo modules are precisely regular duo modules. If R is a Dedekind domain, then M _R is strongly duo if and only if either M ≈ R or M _R is torsion and duo. Over a commutative ring, strongly duo modules are precisely pq-injective duo modules and every projective strongly duo module is a multiplication module. A ring R is called right strongly duo if R _R is strongly duo. Strongly regular rings are precisely reduced (right) strongly duo rings. A ring R is Noetherian and all of its factor rings are right strongly duo if and only if R is a serial Artinian right duo ring.     

Minimalities and Modules over Dedekind-Like Rings

We are interested in (right) modules M satisfying the following weak divisibility condition: If R is the underlying ring, then for every r ∈ R either Mr = 0 or Mr = M. Over a commutative ring, this is equivalent to say that M is connected with regular generics. Over arbitrary rings, modules which are “minimal” in several model theoretic senses satisfy this condition. In this article, we investigate modules with this weak divisibility property over Dedekind-like rings and over other related classes of rings.     

Principally quasi-injective modules

An R-module M is called principally quasi-injective if each R-hornomorphism from a principal submodule of M to M can be extended to an endomorphism of M. Many properties of principally injective rings and quasi-injective modules are extended to these modules. As one application, we show that, for a finite-dimensional quasi-injective module M in which every maximal uniform submodule is fully invariant, there is a bijection between the set of indecomposable summands of M and the maximal left ideals of the endomorphism ring of M

Throughout this paper all rings R are associative with unity, and all modules are unital. We denote the Jacobson radical, the socle and the singular submodule of a module M by J(M), soc(M) and Z(M), respectively, and we write J(M) = J. The notation N ?^ess M means that N is an essential submodule of M.     

Serre's Condition Rℓ for Affine Semigroup Rings

In this note we characterize the affine semigroup rings K[S] over an arbitrary field K that satisfy condition R_? of Serre. Our characterization is in terms of the face lattice of the positive cone pos(S) of S. We start by reviewing some basic facts about the faces of pos(S) and consequences for the monomial primes of K[S]. After proving our characterization we turn our attention to the Rees algebras of a special class of monomial ideals in a polynomial ring over a field. In this special case, some of the characterizing criteria are always satisfied. We give examples of non-normal affine semigroup rings that satisfy R₂.