Let $M$ be a free module over a noetherian ring. For ${\omega }_1,...,{\omega }_k\in M$, let $𝒜$ be the ideal generated by coefficients of ${\omega }_1\wedge ...\wedge {\omega }_k$. For an element $\omega \in {\bigwedge }^{p}M$ with $p\<\mathrm{prof}.𝒜$, if $\omega \wedge {\omega }_1\wedge ...\wedge {\omega }_k=0$, there exists ${\eta }_1,...,{\eta }_k\in {\bigwedge }^{p-1}M$ such that $\omega ={\sum }_{i=1}^k{\eta }_i\wedge {\omega }_i$.This is a generalization of a lemma on the division of forms due to de Rham (Comment. Math. Helv., 28 (1954)) and has some applications to the study of singularities.

The dual of a Gorenstein module is called a co-Gorenstein module, defined by Lingguang Li. In this paper, we prove that if R is a local U-ring and M is an Artinian R-module, then M is a co-Gorenstein R-module if and only if the complex $Ho{m}_{R̂}((,R̂),M)$ is a minimal flat resolution for M when we choose a suitable triangular subset on R̂. Moreover we characterize the co-Gorenstein modules over a local U-ring and Cohen-Macaulay local U-ring.

We prove that for a commutative ring $R$, every noetherian (artinian) $R$-module is quasi-injective if and only if every noetherian (artinian) $R$-module is quasi-projective if and only if the class of noetherian (artinian) $R$-modules is socle-fine if and only if the class of noetherian (artinian) $R$-modules is radical-fine if and only if every maximal ideal of $R$ is idempotent.

In this paper we study commutative rings $R$ whose prime ideals are direct sums of cyclic modules. In the case $R$ is a finite direct product of commutative local rings, the structure of such rings is completely described. In particular, it is shown that for a local ring $(R,ℳ)$, the following statements are equivalent: (1) Every prime ideal of $R$ is a direct sum of cyclic $R$-modules; (2) $ℳ={⨁}_{\lambda \in \Lambda }R{w}_{\lambda }$ where $\Lambda$ is an index set and $R/Ann\left(w_{\lambda }\right)$ is a principal ideal ring for each $\lambda \in \Lambda$; (3) Every prime ideal of $R$ is a direct sum of at most...

Let $R$ be a commutative ring, $M$ an $R$-module and $G$ a group of $R$-automorphisms of $M$, usually with some sort of rank restriction on $G$. We study the transfer of hypotheses between $M/C_M\left(G\right)$ and $[M,G]$ such as Noetherian or having finite composition length. In this we extend recent work of Dixon, Kurdachenko and Otal and of Kurdachenko, Subbotin and Chupordia. For example, suppose $[M,G]$ is $R$-Noetherian. If $G$ has finite rank, then $M/C_M\left(G\right)$ also is $R$-Noetherian. Further, if $[M,G]$ is $R$-Noetherian and if only certain abelian sections...

A ring extension $R\subseteq S$ is said to be strongly affine if each $R$-subalgebra of $S$ is a finite-type $R$-algebra. In this paper, several characterizations of strongly affine extensions are given. For instance, we establish that if $R$ is a quasi-local ring of finite dimension, then $R\subseteq S$ is integrally closed and strongly affine if and only if $R\subseteq S$ is a Prüfer extension (i.e. $(R,S)$ is a normal pair). As a consequence, the equivalence of strongly affine extensions, quasi-Prüfer extensions and INC-pairs is shown. Let $G$ be...

We study the Cantor-Bendixson rank of metabelian and virtually metabelian groups in the space of marked groups, and in particular, we exhibit a sequence $\left(G_n\right)$ of 2-generated, finitely presented, virtually metabelian groups of Cantor-Bendixson rank ${\omega }^n$.

Let $R$ be a commutative Noetherian ring, $I$ an ideal of $R$ and $M$ an $R$-module. We wish to investigate the relation between vanishing, finiteness, Artinianness, minimaxness and $𝒞$-minimaxness of local cohomology modules. We show that if $M$ is a minimax $R$-module, then the local-global principle is valid for minimaxness of local cohomology modules. This implies that if $n$ is a nonnegative integer such that ${\left(H_I^i\left(M\right)\right)}_{𝔪}$ is a minimax $R_{𝔪}$-module for all $𝔪\in \mathrm{Max}\left(R\right)$ and for all $i<n$, then the set ${\mathrm{Ass}}_R\left(H_I^n\left(M\right)\right)$ is finite. Also, if $H_I^i\left(M\right)$ is minimax for...