On co-semihereditary rings

A ringR is left co-semihereditary (strongly left co-semihereditary) if every finitely cogenerated factor of a finitely cogenerated (arbitrary) injective leftR-module is injective. A left co-semihereditary ring, which is not strongly left co-semihereditary, is given to answer a question of Miller and Tumidge in the negative. If _R U _S defines a Morita duality,R is proved to be left co-semihereditary (left semihereditmy) if and only ifS is right semihereditary (right co-semihereditary). Assuming thatS⩾R is an almost excellent extension,S is shown to be (strongly) right co-semihereditary if and only ifR is (strongly) right co-semihereditary. Project supported by the National Natural Science Foundation of China.     

On the Countability of Noetherian Dimension of Modules

Abstract

It is shown that a module M has countable Noetherian dimension if and only if the lengths of ascending chains of submodules of M has a countable upper bound. This shows in particular that every submodule of a module with countable Noetherian dimension is countably generated. It is proved that modules with Noetherian dimension over locally Noetherian rings have countable Noetherian dimension. We also observe that ω^ω is a universal upper bound for the lengths of all chains in Artinian modules over commutative rings.     

Armendariz modules over skew PBW extensions

The aim of this article is to develop the theory of skew Armendariz and quasi-Armendariz modules over skew PBW extensions. We generalize the results of several works in the literature concerning these topics for the context of Ore extensions to another non-commutative rings which can not be expressed as iterated Ore extensions. As a consequence of our treatment, we extend and unify different results about the Armendariz, Baer, p.p., and p.q.-Baer properties for Ore extensions and skew PBW extensions.     

Extension closure of k-torsionfree modules

Let Λ be a left and right Noetherian ring. For a positive integer k, we give an equivalent condition that flat dimensions of the first k terms in the minimal injective resolution of Λ are less than or equal to k. In this case we show that the subcategory consisting of k-torsionfree modules is extension closed. Moreover we prove that for a Noetherian algebra every subcategory consisting of i-torsionfree modules is extension closed for any 1 ≤ i ≤ k if and only if every subcategory consisting of i-th syzygy modules is extension closed for any 1 ≤ i ≤ k. Our results generalize the main results in Auslander and Reiten [4].     

The rank of finitely generated modules over group algebras

We show the existence of a rank function on finitely generated modules over group algebras , where is an arbitrary field and is a finitely generated amenable group. This extends a result of W. Lück (1998).

     

Commutative rings whose proper ideals are direct sums of uniform modules

An interesting result, obtaining by some theorems of Asano, Köthe and Warfield, states that: “for a commutative ring R, every module is a direct sum of uniform modules if and only if R is an Artinian principal ideal ring.” Moreover, it is observed that: “every ideal of a commutative ring R is a direct sum of uniform modules if and only if R is a finite direct product of uniform rings.” These results raise a natural question: “What is the structure of commutative rings whose all proper ideals are direct sums of uniform modules?” The goal of this paper is to answer this question. We prove that for a commutative ring R, every proper ideal is a direct sum of uniform modules, if and only if, R is a finite direct product of uniform rings or R is a local ring with the unique maximal ideal ? of the form ? = U⊕S, where U is a uniform module and S is a semisimple module. Furthermore, we determine the structure of commutative rings R for which every proper ideal is a direct sum of cyclic uniform modules (resp., cocyclic modules). Examples which delineate the structures are provided.     

On extensions of matrix rings with skew Hochschild 2-cocycles

We study structures of Hochschild 2-cocycles related to endomorphisms and introduce a skew Hochschild 2-cocycle. We moreover define skew Hochschild extensions equipped with skew Hochschild 2-cocycles, and then we examine uniquely clean, Abelian, directly finite, symmetric, and reversible ring properties of skew Hochschild extensions and related ring systems. The results obtained here provide various kinds of examples of such rings. Especially, we give an answer negatively to the question of H. Lin and C. Xi for the corresponding Hochschild extensions of reversible (or semicommutative) rings. Finally, we establish three kinds of Hochschild extensions with Hochschild 2-cocycles and skew Hochschild 2-cocycles.     

On the equivalence of codes over rings and modules

In light of the result by Wood that codes over every finite Frobenius ring satisfy a version of the MacWilliams equivalence theorem, a proof for the converse is considered. A strategy is proposed that would reduce the question to problems dealing only with matrices over finite fields. Using this strategy, it is shown, among other things, that any left MacWilliams basic ring is Frobenius. The results and techniques in the paper also apply to related problems dealing with codes over modules.     

Some Homological Properties of Skew PBW Extensions

We prove that if R is a left Noetherian and left regular ring then the same is true for any bijective skew PBW extension A of R. From this we get Serre's Theorem for such extensions. We show that skew PBW extensions and its localizations include a wide variety of rings and algebras of interest for modern mathematical physics such as PBW extensions, well-known classes of Ore algebras, operator algebras, diffusion algebras, quantum algebras, quadratic algebras in 3-variables, skew quantum polynomials, among many others. We estimate the global, Krull and Goldie dimensions, and also Quillen's K-groups.     

Rings Over which the Krull Dimension and the Noetherian Dimension of All Modules Coincide

We denote by 𝒜(R) the class of all Artinian R-modules and by 𝒩(R) the class of all Noetherian R-modules. It is shown that 𝒜(R) ? 𝒩(R) (𝒩(R) ? 𝒜(R)) if and only if 𝒜(R/P) ? 𝒩(R/P) (𝒩(R/P) ? 𝒜(R/P)), for all centrally prime ideals P (i.e., ab ∈ P, a or b in the center of R, then a ∈ P or b ∈ P). Equivalently, if and only if 𝒜(R/P) ? 𝒩(R/P) (𝒩(R/P) ? 𝒜(R/P)) for all normal prime ideals P of R (i.e., ab ∈ P, a, b normalize R, then a ∈ P or b ∈ P). We observe that finitely embedded modules and Artinian modules coincide over Noetherian duo rings. Consequently, 𝒜(R) ? 𝒩(R) implies that 𝒩(R) = 𝒜(R), where R is a duo ring. For a ring R, we prove that 𝒩(R) = 𝒜(R) if and only if the coincidence in the title occurs. Finally, if Q is the quotient field of a discrete valuation domain R, it is shown that Q is the only R-module which is both α-atomic and β-critical for some ordinals α,β ≥ 1 and in fact α = β = 1.     

Toric rings generated by special stable sets of monomials

In this paper we consider some subalgebras of the d-th Veronese subring of a polynomial ring, generated by stable subsets of monomials. We prove that these algebras are Koszul, showing that the presentation ideals have Gröbner bases of quadrics with respect to suitable term orders. Since the initial monomials of the elements of these Gröbner bases are square- free, it follows by a result of STURMFELS [S, 13.15], that the algebras under consideration are normal, and thus Cohen-Macaulay.     

Congruences and ideals on Boolean modules: a heterogeneous point of view

Definitions for heterogeneous congruences and heterogeneous ideals on a Boolean module $\mathcal {M}$ are given and the respective lattices $\mathrm{Cong}\mathcal {M}$ and $\mathrm{Ide}\mathcal {M}$ are presented. A characterization of the simple bijective Boolean modules is achieved differing from that given by Brink in a homogeneous approach. We construct the smallest and the greatest modular congruence having the same Boolean part. The same is established for modular ideals. The notions of kernel of a modular congruence and the congruence induced by a modular ideal are introduced to describe an isomorphism between $\mathrm{Cong}\mathcal {M}$ and $\mathrm{Ide}\mathcal {M}$. This isomorphism leads us to conclude that the class of the Boolean module is ideal determined.