Cyclic Artinian Modules without a Composition Series

Let R be a ring (always understood to be associative with aunit element 1). It is well known that an R-module is Noetherianif and only if all its submodules are finitely generated andthat it has a finite composition series if and only if it isNoetherian and Artinian. This raises the question whether everyfinitely generated Artinian module is Noetherian; here it isenough to consider cyclic Artinian modules, by an inductionon the length. This question has been answered (negatively)by Brian Hartley [5], who gives a construction of an Artinianuniserial module of uncountable composition-length over thegroup algebra of a free group of countable rank. If we are justinterested in finding cyclic modules that are Artinian but notNoetherian, there is a very simple construction based on thefact that over a free algebra every countably generated Artinianmodule can be embedded in a cyclic module which is again Artinian.This is described in 2 below.     

Global Theory of Lattice-Finite Noetherian Rings

We introduce and study lattice-finite Noetherian rings and show that they form a onedimensional analogue of representation-finite Artinian rings. We prove that every lattice-finite Noetherian ring R has Krull dimension ≼ 1, and that R modulo its Artinian radical is an order in a semi-simple ring. Our main result states that maximal overorders of R exist and have to be Asano orders, while they need not be fully bounded. This will be achieved by means of an idempotent ideal I(R), an invariant or R which is new even for classical orders R. This ideal satisfies I(R) = R whenever R is maximal. Presented by H. Tachikawa     

Commutative Local Rings Whose Ideals are Direct Sums of Cyclic Modules

A well-known result of Köthe and Cohen-Kaplansky states that a commutative ring R has the property that every R-module is a direct sum of cyclic modules if and only if R is an Artinian principal ideal ring. This motivated us to study commutative rings for which every ideal is a direct sum of cyclic modules. Recently, in Behboodi et al. Commutative Noetherian local rings whose ideals are direct sums of cyclic modules (J. Algebra 345:257–265, 2011) the authors considered this question in the context of finite direct products of commutative Noetherian local rings. In this paper, we continue their study by dropping the Noetherian condition.     

Cofiniteness of Local Cohomology Modules Over Regular Local Rings

It is well known that for a Noetherian ring R, an ideal I ofR, and M a finitely generated R-module, the local cohomologymodules are not always finitely generated. On the other hand, if R is local and m is its maximalideal, then are Artinian modules, which is equivalent to the following two properties: (i) (ii) the vector space has finite dimension over k, where k = R/m. Taking these facts into account, Grothendieck [9] made the followingconjecture. 1991 Mathematics Subject Classification 13H05, 13H10,13D45.     

Gorenstein Injective Envelopes of Artinian Modules

Let R be a commutative Noetherian ring and A an Artinian R-module. We prove that if A has finite Gorenstein injective dimension, then A possesses a Gorenstein injective envelope which is special and Artinian. This, in particular, yields that over a Gorenstein ring any Artinian module possesses a Gorenstein injective envelope which is special and Artinian.     

Restricted left principal ideal rings

A ring is an LD-ring ifR is left bounded, ifR/J is a left Artinian left principal ideal ring for every proper idealJ inR, and ifR has finite left Goldie dimension. IfR is non-Artinian thenR is an order in a simple Artinian ringS. The ideal theory of LD-rings is investigated, and we discuss some conditions under which an LD-ring is an hereditary ring, and some under which an LD-ring is a Noetherian, bounded, maximal Asano order. A central localization of an LD-ring is an LD-ring, and the center of some LD-rings is a Krull-domain. This research was supported in part by the National Science Foundation Grant GP 23861.     

Krull–Remak–Schmidt Fails for Artinian Modules over Local Rings

Let R be a ring. Any R-module M which is Artinian or Noetherian can be written as the direct sum of a finite number of indecomposable R-modules. The theorem of Krull–Remak–Schmidt asserts that in the case where M is of finite length, such a decomposition is unique up to isomorphism. On the other hand, examples of Noetherian R-modules which have essentially different decompositions have been known for a long time. The first examples of Artinian R-modules with essentially different decompositions were published only in 1995 by Facchini, Herbera, Levy and Vámos. In order to construct such examples, one needs to deal with suitable rings R. Note that for R Noetherian or commutative, all the Artinian modules have the Krull–Remak–Schmidt property. In 1998, Facchini raised the problem of whether the same is true in the case where R is a local ring. The aim of this note is to show that this is not so: we are going to present a local ring R and Artinian R-modules M with essentially different direct decompositions into indecomposables. The military importance of these results has been discussed during the NATO meeting at Constantia (August 2000) which was organized by K. W. Roggenkamp.     

A new characterisation of hereditary pi rings

In this paper we prove a new characterisation of hereditary PI rings, namely we show that a Noetherian, but not Artinian, PI ringR that is an order in an Artinian ring splits into a direct sum of an Artinian ring of finite representation type and hereditary semiprime rings if and only if all its proper Artinian factor rings are of finite representation type. We also show, through examples, that the above characterisation does not hold for some more general settings. Supported by the EC via TMR-Fellowship ERB4001GT63713.     

Almost slender rings and compact rings

Classical results concerning slenderness for commutative integral domains are generalized to commutative rings with zero divisors. This is done by extending the methods from the domain case and bringing them in connection with results on the linear topologies associated to non-discrete Hausdorff filtrations. In many cases a weakened notion “almost slenderness” of slenderness is appropriate for rings with zero divisors. Special results for countable rings are extended to rings said to be of “bounded type” (including countable rings, ‘small’ rings, and, for instance, rings that are countably generated as algebras over an Artinian ring).More precisely, for a ring R of bounded type it is proved that R is slender if R is reduced and has no simple ideals, or if R is Noetherian and has no simple ideals; moreover, R is almost slender if R is not perfect (in the sense of H. Bass). We use our methods to study various special classes of rings, for instance von Neumann regular rings and valuation rings. Among other results we show that the following two rings are slender: the ring of Puiseux series over a field and the von Neumann regular ring $k^{\mathbb{N}}/k^{(\mathbb{N})}$ over a von Neumann regular ring k.For a Noetherian ring R we prove that R is a finite product of local complete rings iff R satisfies one of several (equivalent) conditions of algebraic compactness. A 1-dimensional Noetherian ring is outside this ‘compact’ class precisely when it is almost slender. For the rings of classical algebraic geometry we prove that a localization of an algebra finitely generated over a field is either Artinian or almost slender. Finally, we show that a Noetherian ring R is a finite product of local complete rings with finite residue fields exactly when there exists a map of R-algebras $R^{\mathbb{N}}\to R$ vanishing on $R^{(\mathbb{N})}$.     

Artinian Semigroup-Graded Rings

Let S be a semigroup with no infinite subgroups and let R bea right Artinian S-graded ring. We prove that R necessarilyhas finite support.     

Weakly o-minimal expansions of ordered fields of finite transcendence degree

Using a work of Diaz concerning algebraic independence of certainsequences of numbers, we prove that if K is a field of finitetranscendence degree over the rationals, then every weakly o-minimalexpansion of (K,,+,·) is polynomially bounded. In thespecial case where K is the field of all real algebraic numbers,we give a proof which makes use of a much weaker result fromtranscendental number theory, namely, the Gelfond–Schneidertheorem. Apart from this we make a couple of observations concerningweakly o-minimal expansions of arbitrary ordered fields of finitetranscendence degree over the rationals. The strongest resultwe prove says that if K is a field of finite transcendence degreeover the rationals, then all weakly o-minimal non-valuationalexpansions of (K,,+,·) are power bounded.     

Commutative Non-Noetherian Rings with the Diamond Property

A ring R is said to have property (◇) if the injective hull of every simple R-module is locally Artinian. By landmark results of Matlis and Vamos, every commutative Noetherian ring has (◇). We give a systematic study of commutative rings with (◇), We give several general characterizations in terms of co-finite topologies on R and completions of R. We show that they have many properties of Noetherian rings, such as Krull intersection property, and recover several classical results of commutative Noetherian algebra, including some of Matlis and Vamos. Moreover, we show that a complete rings has (◇) if and only if it is Noetherian. We also give a few results relating the (◇) property of a local ring with that of its associated graded rings, and construct a series of examples.

     

Auslander-Regular Algebras and Maximal Orders

Let R be an Auslander-regular, Cohen-Macaulay, Noetherian ringthat is stably free. Then, we prove that R is a domain and amaximal order in its division ring of fractions. In particular,this applies to the Sklyanin algebra S and shows that, whenS satisfies a polynomial identity, it is actually a finite moduleover its centre.     

Semiperfect Prüfer rings and FPF rings

The Asano-Michler theorem states that a 2-sided order R in a simple Artinian ringO is hereditary provided thatR satisfies the three requirements: (AM1) Noetherian; (AM2) nonzero ideals are invertible; (AM3) bounded. We generalize this in one direction by specializing to a semiperfect bounded orderR, and prove thatR is semihereditary assuming only that finitely generated nonzero ideals are invertible (=R is Prüfer). In this case,R ≈ a fulln ×n matrix ringD _n over a valuation domainD. More generally, we study a ringR, called right FPF, over which finitely generated faithful right modules generate the category mod-R of all rightR-modules. We completely determine all semiperfect Noetherian FPF rings: they are finite products of semiperfect Dedekind prime rings and Quasi-Frobenius rings. (For semiprime right FPF rings, we do not require the Noetherian or semiperfect hypothesis in order to obtain a decom-position into prime rings: the acc on direct summands suffices. The “theorem” with “semiperfect” delected is an open problem.     

Noetherian rings with almost injective simple modules

We characterize right Noetherian rings over which all simple modules are almost injective. It is proved that R is such a ring, if and only if, the complements of semisimple submodules of every R-module M are direct summands of M, if and only if, R is a finite direct sum of right ideals I_r, where I_r is either a Noetherian V-module with zero socle, or a simple module, or an injective module of length 2. A commutative Noetherian ring for which all simple modules are almost injective is precisely a finite direct product of rings R_i, where R_i is either a field or a quasi-Frobenius ring of length 2. We show that for commutative rings whose all simple modules are almost injective, the properties of Kasch, (semi)perfect, semilocal, quasi-Frobenius, Artinian, and Noetherian coincide.     

On Finitely Annihilated Modules and Artinian Rings

Let R be a ring. An R-module M is finitely annihilated if the annihilator of M is the annihilator of a finite subset of M. It is proved that if R has right socle S then the ring R/S is right Artinian if and only if every singular right R-module is finitely annihilated. Moreover, a right Noetherian ring R is right Artinian if and only if every uniform right R-module is finitely annihilated. In addition, a (right and left) Noetherian ring is (right and left) Artinian if and only if every injective right R-module is finitely annihilated. This paper will form part of the Ph.D. thesis at the University of Glasgow of the second author. He would like to thank the EPSRC for their financial support     

Invariants of Lie superalgebras acting on associative algebras

LetR be a semiprime algebra over a fieldK acted on by a finite-dimensional Lie superalgebraL. The purpose of this paper is to prove a series of going-up results showing how the structure of the subalgebra of invariantsR ^Lis related to that ofR. Combining several of our main results we have: Theorem: Let R be a semiprime K-algebra acted on by a finite-dimensional nilpotent Lie superalgebra L such that if characteristic K=p then L is restricted and if characteristic, K=0 then L acts on R as algebraic derivations and algebraic superderivations.

1. If R^L is right Noetherian, then R is a Noetherian right R^L-module. In particular, R is right Noetherian and is a finitely generated right R^L-module.
2. If R^L is right Artinian, then R is an Artinian right R^L-module. In particular, R is right Artinian and is a finitely generated right R^L-module.
3. If R^L is finite-dimensional over K then R is also finite-dimensional over K.
4. If R^L has finite Goldie dimension as a right R^L-module, then R has finite Goldie dimension as a right R-module.
5. If R^L has Krull dimension α as a right R^L-module, then R has Krull dimension α as a right R^L-module. Thus R has Krull dimension at most α as a right R-module.
6. If R is prime and R^L is central, then R satisfies a polynomial identity.
7. If L is a Lie algebra and R^L is central, then R satisfies a polynomial identity.

We also provide counterexamples to many questions which arise in view of the results in this paper.     

Indecomposable flat cotorsion modules

An additive functor from the category of flat right R-modulesto the category of abelian groups is continuous if it is isomorphicto a functor of the form–_R M, where M is a left R-module.It is shown that for any simple subfunctor A of– M thereis a unique indecomposable flat cotorsion module U_R for whichA(U)0. It is also proved that every subfunctor of a continuousfunctor contains a simple subfunctor. This implies that everyflat right R-module may be purely embedded into a product ofindecomposable flat cotorsion modules. If CE(R) is the cotorsion envelope of R_R and S= End;_R CE(R),then a local ring monomorphism is constructed from R/J(R) toS/J(S). This local morphism of rings is used to associate asemiperfect ring to any semilocal ring. It also proved thatif R is a semilocal ring and M a simple left R-module, thenthe functor–_R M on the category of flat right R-modulesis uniform, and therefore contains a unique simple subfunctor.     

On S-duo rings

A unital left R-module R M is said to have property (S) if every surjective endomorphism of R M is an automorphism, the ring R is called left (right) S-ring if every left (right) R-module with property (S) is Noetherian, R is called S-ring if it is both a left and a right S-ring. In this note we show that a duo ring is a left S-ring if and only if it is left Artinian left principal ideal ring. To do this we shall construct on every non distributive Artinian local ring with radical square zero a non-finitely generated module with property (S). And we give an example of left duo left Artinian left principal ideal ring which is not a left S-ring, showing the necessity of the ring to be duo in the above result.     

Intersections of Symbolic Powers of Prime Ideals

Let (R,m) be a local ring with prime ideals p and q such that. If R is regular and containsa field, and dim(R/p)+dim(R/q)=dim(R), then it is proved thatp^(m) q⁽ⁿ⁾ m^m+n for all positive integers m and n. This isproved using a generalization of Serre's Intersection Theoremwhich is applied to a hypersurface R/fR. The generalizationgives conditions that guarantee that Serre's bound on the intersectiondimension (R/p)+(R/q)dim(R) holds when R is nonregular.