Counting submodules of a module over a noetherian commutative ring

We count the number of submodules of an arbitrary module over a countable noetherian commutative ring. We give, along the way, a structural description of meager modules, which are defined as those that do not have the square of a simple module as subquotient. We deduce in particular a characterization of uniserial modules over commutative noetherian rings.Comment: 34 pages. v2: expanded introduction and preliminarie

Finite injective dimension over rings with Noetherian cohomology

We study rings which have Noetherian cohomology under the action of a ring of cohomology operators. The main result is a criterion for a complex of modules over such a ring to have finite injective dimension. This criterion generalizes, by removing finiteness conditions, and unifies several previous results. In particular we show that for a module over a ring with Noetherian cohomology, if all higher self-extensions of the module vanish then it must have finite injective dimension. Examples of rings with Noetherian cohomology include commutative complete intersection rings and finite dimensional cocommutative Hopf algebras over a field.Comment: 10 page

Rings Over Which Cyclics are Direct Sums of Projective and CS or Noetherian

R is called a right WV -ring if each simple right R-module is injective relative to proper cyclics. If R is a right WV -ring, then R is right uniform or a right V -ring. It is shown that for a right WV-ring R, R is right noetherian if and only if each right cyclic module is a direct sum of a projective module and a CS or noetherian module. For a finitely generated module M with projective socle over a V -ring R such that every subfactor of M is a direct sum of a projective module and a CS or noetherian module, we show M = X \oplus T, where X is semisimple and T is noetherian with zero socle. In the case that M = R, we get R = S \oplus T, where S is a semisimple artinian ring, and T is a direct sum of right noetherian simple rings with zero socle. In addition, if R is a von Neumann regular ring, then it is semisimple artinian.Comment: A Para\^itre Glasgow Mathematical Journa

Power series rings and projectivity

We show that a formal power series ring $A[[X]]$ over a noetherian ring $A$ is not a projective module unless $A$ is artinian. However, if $(A,{\mathfrak m})$ is local, then $A[[X]]$ behaves like a projective module in the sense that $Ext^p_A(A[[X]], M)=0$ for all ${\mathfrak m}$-adically complete $A$-modules. The latter result is shown more generally for any flat $A$-module $B$ instead of $A[[X]]$. We apply the results to the (analytic) Hochschild cohomology over complete noetherian rings.Comment: Mainly thanks to remarks and pointers by L.L.Avramov and S.Iyengar, we added further context and references. To appear in Manuscripta Mathematica. 7 page