1 Introduction

There are relations in algebra between the notions of: (1) projective cover; (2) superfluous submodule; (3) left vanishing indexed family of right ideals; (4) Jacobson radical of the endomorphism ring; (5) minimal set of generators; and (6) right T-nilpotence. The aim of this paper is to investigate these relations when the base ring R is local.

We describe the structure of projective covers of modules over a local ring (Theorem 3.1). Projective covers of a module \(M_R\) over a local ring, when they exist, exactly correspond to minimal sets of generators (Theorem 4.1). As proved by Chwe and Neggers [5][Theorem 2 and its proof, top two paragraphs of p. 376] , there is a real dichotomy in the behaviour of local rings that are right perfect and those that are not right perfect, i.e. in dealing with these notions there is a number of characterizations of right perfect rings among local rings (Theorem 4.3). For instance, a local ring is right perfect if and only if every right R-module has a minimal set of generators, if and only if any right R-module \(M_R\) has a set of generators of cardinality exactly \(\dim _{R/P}(M/MP)\).

The history of the main topics of this paper, that is, projective covers and minimal sets of generators, is classical and goes back to the 1960s and the 1970s. Rings over which every right module has a projective cover were characterized in the classical paper of Bass [3]; they are known as right perfect rings.

The story starts with a “dual” question: Can any linearly independent set of elements of a free module be extended to a basis? In 1970-1971, Chwe and Neggers [4, 5] proved that every linearly independent set of elements in a free right R-module can be extended to a basis by adjoining elements of a given basis if and only if the ring R is local and right perfect. At about the same time, Lenzing [18] obtained the same result, and additionally showed that the seemingly weaker property that every linearly independent set of elements in a free module can be extended to a basis (by adjoining arbitrary elements) holds for precisely the same class of rings R. Twenty years later, Nashier and Nichols [20] characterized the same class of rings by the property that any generating set of a free right module contains a basis. Assuming that R is local, it was also shown in [5] that R is right perfect if and only if any right R-module has a minimal generating set. In fact, the argument in [5] was proving more, namely that any generating set of a right module over a right perfect local ring contains a minimal generating set; this was noticed in [20]. Another 1991 paper of Nashier and Nichols [19] provided an example of a nonlocal, nonperfect commutative ring over which every module has a minimal generating set. In the same paper [19], the authors proved that if any set of generators of a right R-module contains a minimal set of generators, then R is perfect, and asked whether the converse implication holds.

Much more recently, abelian groups admitting a minimal generating set have been characterized by Hrbek and Růžička [13, 21], and this characterization has been extended to modules over Dedekind domains in the same authors’ paper [12]. A partial characterization of modules over Dedekind domains in which every generating set has a minimal generating subset was obtained by Hrbek and Růžička in [14]. In the same paper, it was also shown that if any generating set of a free right R-module contains a minimal generating set, then R is right perfect. In fact, the study of abelian groups in which every generating set has a minimal generating subset goes back to the 1961 paper of Dlab [6], who proved that this property characterizes primary groups of bounded order among all primary groups. The question whether torsion abelian groups of bounded order have this property remains unanswered to this day. It is a particular case of the above-mentioned question of Nashier and Nichols, which likewise remains unanswered. The latter question reduces to the following [14]: Given a module M over a classically semisimple ring (like a finite matrix ring over a division ring or a finite product of division rings), does every generating set of M contain a minimal generating set? This innocuously looking question, which turned out to be surprisingly difficult, is discussed by Herden, Hrbek and Růžička in [10].

Our paper was inspired from the article [8], written by Pavel Příhoda, Zahra Nazemian and the second author, and is heavily based on the three articles [12, 14] and [21] by Michal Hrbek and Pavel Růžička.

In our paper, all rings are associative rings with identity and modules are unital right modules. If R is a ring and X is a set, the symbol \(R_R^{(X)}\) denotes the free right R-module on the set X.

2 Notations and basic notions

2.1 Superfluous submodules of free modules.

Let R be a local ring with identity and X be a set. First of all, we will consider the endomorphism ring of the free right R-module \(F_R=R_R^{(X)}=\bigoplus _{x\in X}xR\). The endomorphism ring \(E{:}{=}{\text {End}}(F_R)\) of the module \(F_R\) is isomorphic to the ring of all column-finite \(X\times X\) matrices with entries in R. For any such matrix A, let \({\mathcal A}(A,x)\) denote the right ideal of R generated by all entries on the x-th row of A. An indexed family of right ideals \({\mathcal I}_x,\ x\in X\), of R is said to be left vanishing if for every sequence \(x_1,x_2,x_3,\dots\) of distinct elements of X and every sequence \(a_{i}\) of elements of \({\mathcal I}_{x_i}\) there exists a positive integer m such that \(a_ma_{m-1}\cdots a_2a_1=0\) [22]. Notice that if X is finite, all families of right ideals indexed in X are left vanishing.

The Jacobson radical of the endomorphism ring E of the module \(F_R\) was described in [22] by Sexauer and Warnock. They proved that the Jacobson radical J(E) of the ring E of column-finite matrices with entries in R consists of all column-finite \(X\times X\) matrices A with entries in J(R) and for which the indexed family of right ideals \({\mathcal A}(A,x),\ x\in X\), is a left vanishing family of proper right ideals of R.

Remark 2.1

Let \(\pi _x:R_R^{(X)}\rightarrow R_R\) denote the canonical projection of \(F_R\) onto the x-th direct summand of \(R_R^{(X)}\). For any column-finite matrix \(A\in E\), let \(\varphi _A\) indicate the endomorphism of \(F_R\) corresponding to the matrix A. Then \({\mathcal A}(A,x)=\pi _x(\varphi _A(F_R))\).

The remark allows us to state Sexauer and Warnock’s result for local rings as follows:

Theorem 2.2

(Sexauer and Warnock [22]) Let R be a local ring, X be a set, and \(F_R\) the free right R-module \(R_R^{(X)}=\bigoplus _{x\in X}xR\). Then an endomorphism \(\varphi\) of \(F_R\) belongs to the Jacobson radical \(J({\text {End}}(F_R))\) if and only if the family of right ideals \(\pi _x(\varphi (F_R))\), \(x\in X\), is a left vanishing family of proper right ideals of R.

We thus obtain a characterization of superfluous submodules of \(F_R\):

Proposition 2.3

A submodule of the free right module \(F_R=R_R^{(X)}=\bigoplus _{x\in X}xR\) over a local ring R is a superfluous submodule of \(F_R\) if and only if it is contained in a submodule of \(F_R\) of the form \(\bigoplus _{x\in X}x{\mathcal I}_x\) for some left vanishing indexed family \(\{\,{\mathcal I}_x\mid x\in X\,\}\) of proper right ideals of R.

Proof

\((\Rightarrow )\) Let S be a superfluous submodule of \(F_R\). Let \(\pi _x:R_R^{(X)}\rightarrow R_R\) denote the canonical projection of \(F_R\) onto the x-th direct summand of \(R_R^{(X)}\). Then \({\mathcal I}_x{:}{=}\pi _x(S)\) is a superfluous submodule of \(R_R\), that is, it is a proper right ideal of R. Clearly, \(S\subseteq \bigoplus _{x\in X}x{\mathcal I}_x\). It remains to show that the indexed family \(\{\,{\mathcal I}_x\mid x\in X\,\}\) is left vanishing. Suppose the contrary, i.e. that there exist a sequence \(x_1,x_2,x_3,\dots\) of distinct elements of X and a sequence \(a_{i}\) of elements of \({\mathcal I}_{x_i}\) such that \(a_ma_{m-1}\cdots a_2a_1\ne 0\) for every positive integer m. For every \(n\ge 1\) there exists \(s_n\in S\) such that \(\pi _{x_n}(s_n)=a_n\). The mapping \(\varphi :X\rightarrow F_R\), defined by

$$\begin{aligned} \varphi (x)=\left\{ \begin{array}{ll}s_n&{} \text{ if } x=x_n\ \text{ for } \text{ some } n\ge 1,\\ 0 &{} \text{ if } x\in X\setminus \{\,x_n\mid n\ge 1\,\}, \end{array} \right. \end{aligned}$$

can be extended to an endomorphism \(\varphi\) of \(F_R\), and \(\varphi (F_R)\subseteq S\). Therefore\(\varphi \in J({\text {End}}(F_R))\) [1, Proposition 17.11]. Let A be the column-finite matrix associated with \(\varphi\). Then \(a_n\in {\mathcal A}(A,x_n)\), so that the indexed family of right ideals \({\mathcal A}(A,x),\ x\in X\), is not left vanishing, which contradicts Theorem 2.2.

\((\Leftarrow )\) It suffices to prove that if \(\{\,{\mathcal I}_x\mid x\in X\,\}\) is a left vanishing indexed family of proper right ideals of R, then \(\bigoplus _{x\in X}x{\mathcal I}_x\) is a superfluous submodule of \(R_R^{(X)}\). To this end, it is sufficient to show that the canonical projection \(\pi :R_R^{(X)}\rightarrow \bigoplus _{x\in X}xR/x{\mathcal I}_x\) is a projective cover. Moreover, for this, we must only prove that if \(\varphi\) is an endomorphism of \(F_R\) and \(\pi \varphi =\pi\), then \(\varphi\) is an automorphism of \(F_R\) [23, Theorem 1.2.12]. Now \(\pi \varphi =\pi\) implies that \(\pi (\varphi -1)=0\), so that the image of the endomorphism \(\varphi -1\) of \(F_R\) is contained in \(\ker \pi =\bigoplus _{x\in X}x{\mathcal I}_x\). By the result by Sexauer and Warnock [22], it follows that \(\varphi -1\in J({\text {End}}(F_R))\). Thus \(\varphi\) is an automorphism of \(F_R\). This concludes the proof. \(\square\)

2.2 Minimal sets of generators

In this subsection, dedicated to minimal sets of generators of modules, we have chosen to be extremely elementary, to stress some easy concepts that maybe are not so clear to everybody, for instance that maximal free (=linearly independent) subsets of a module can have different cardinalities even for finitely generated modules over a commutative local artinian ring.

Consider the following three conditions on a subset B of a right module \(M_R\) over a ring R:

  1. (1)

    B is a free set of generators for \(M_R\).

  2. (2)

    B is a maximal free subset of \(M_R\), that is, the submodule \(\langle B\rangle\) of \(M_R\) generated by B is a free module with free set of generators B, but for every \(x\in M_R\setminus B\) the set \(B\cup \{x\}\) is linearly dependent (i.e. either \({\text {r.ann}}_R(x)\ne 0\), or \(xR\cap \langle B\rangle \ne 0\)).

  3. (3)

    B is a minimal set of generators for \(M_R\), that is, B is a set of generators for \(M_R\) and, if \(b\in B\), then \(B\setminus \{b\}\) generates a proper submodule of \(M_R\).

It is well known that if R is a division ring, then, for every \(B\subseteq M_R\), the properties (1), (2) and (3) are equivalent, and they are equivalent to B being a basis for the right vector space \(M_R\). Moreover, for R a division ring, bases of a vector space \(M_R\) always exist and are equipotent, and every set of generators contains a minimal set of generators.

As is well known, the situation is completely different for a module \(M_R\) over an arbitrary ring R. Modules \(M_R\) with a subset B satisfying (1) are called free modules. All right R-modules are free if and only if R is a division ring. If \(M_R\) is a free right module over an arbitrary ring R and B is a subset of \(M_R\) satisfying (1), then B also satisfies (2) and (3). It is not true that all free sets of generators of \(M_R\) are equipotent. (Rings with this property are called IBN rings. For instance, for every infinite dimensional vector space \(V_k\) over a division ring k, \({\text {End}}(V_k)\) is not an IBN ring. Every commutative ring is an IBN ring.)

Let us pass to consider subsets B of a module satisfying (2). They always exist:

Proposition 2.4

Let \(M_R\) be any right module over an arbitrary ring R. Then there exists a subset B of \(M_R\) that is a maximal free subset of \(M_R\), that is, B is linearly independent, but for every \(x\in M_R\setminus B\) the set \(B\cup \{x\}\) is linearly dependent.

Proof

Notice that a subset B of \(M_R\) is free, that is, is linearly independent, if and only if B is a free set of generators of the R-module \(\langle B\rangle\), the submodule of \(M_R\) generated by B. Equivalently, if the unique right R-module morphism \(\varphi :R_R^{(B)}\rightarrow M_R\) that extends the inclusion \(B\hookrightarrow M_R\) is an injective morphism. Let \({\mathcal F}\) be the set of all free subsets of \(M_R\). The set \({\mathcal F}\) is non-empty, because \(\emptyset \in {\mathcal F}\). Partially order \({\mathcal F}\) by set inclusion. We must show that \({\mathcal F}\) has maximal elements, and we will prove this using Zorn’s lemma. Therefore it suffices to show that if \({\mathcal C}\subseteq {\mathcal F}\) is a chain in \({\mathcal F}\), that is, a subset of \({\mathcal F}\) linearly ordered by set inclusion, then \(\bigcup {\mathcal C}\in {\mathcal F}\). Suppose \(x_1,\dots , x_n\) are distinct elements of \(\bigcup {\mathcal C}\), \(r_1,\dots , r_n\in R\) and \(\sum _ix_ir_i=0\). Since \({\mathcal C}\) is linearly ordered by set inclusion, there exists \(C\in {\mathcal C}\) with \(x_1,\dots , x_n\in C\). Then C is linearly independent, so that \(r_1=\dots =r_n=0\), as desired.\(\square\)

For modules, condition (2) does not imply (1) and condition (2) does not imply (3). For example, the only independent subset of the \({\mathbb {Z}}\)-module \({\mathbb {Z}}/2{\mathbb {Z}}\) is the empty subset. Therefore \(B{:}{=}\emptyset\) satisfies (2), but does not satisfy (1) and does not satisfy (3).

Subsets of \(M_R\) satisfying (2) are not necessarily equipotent. As an example, take a suitable finitely generated free module over a ring that is not IBN. For an example over a commutative local artinian ring R, fix a field k and the ring \(R{:}{=}k[x,y]/(x,y)^2\). Then the R-module \(R^3/(({\overline{x}},0, {\overline{x}}),({\overline{y}},{\overline{x}},0))\) has a maximal free set consisting of the singleton \(\{ (1,0,0) \}\) and a free subset \(\{ (0,1,0), (0,0,1) \}\) [17].

One of the aims of this paper is to study modules satisfying (3). Again we find that (3) does not imply (1) and does not imply (2). For instance, let \(R{:}{=}{\mathbb {Z}}\) be the ring of integers and \(M_{{\mathbb {Z}}}{:}{=}{\mathbb {Z}}/6{\mathbb {Z}}\), the cyclic group of order 6. Consider the two subsets \(B{:}{=}\{{\overline{1}}\}\) and \(B'{:}{=}\{{\overline{2}},{\overline{3}}\}\) of \(M_R\). Then B and \(B'\) are both minimal sets of generators of \(M_{{\mathbb {Z}}}\); hence they satisfy (3), but have different cardinalities 1 and 2. Moreover, B and \(B'\) are sets of generators that are not free sets of generators, therefore they do not satisfy (1) and (2).

Thus, we have that among conditions (1), (2) and (3), only the implications (1)\({}\Rightarrow {}\)(2) and (1)\({}\Rightarrow {}\)(3) hold, and no other implication holds.

2.3 Right T-nilpotence.

The notion of left vanishing family of right ideals is clearly related to right T-nilpotence and its generalizations. Recall that a subset I of a ring R is right T-nilpotent if for each sequence \(a_1,a_2,\dots\) of elements of I there exists an index t such that \(a_t\dots a_1=0\). A family of right R-modules \(\{\,M_x\mid {x\in X\,}\}\) is said to be locally semi-T-nilpotent if, for every sequence \(x_1,x_2,x_3,\dots\) of distinct elements of X, every sequence of non-isomorphisms \(M_{x_1}{\mathop {\longrightarrow }\limits ^{f_1}} M_{x_2}{\mathop {\longrightarrow }\limits ^{f_2}} M_{x_3} {\mathop {\longrightarrow }\limits ^{f_3}} \cdots\), and every element \(m \in M_{x_1}\), there exists an index \(t\ge 1\) such that \(f_tf_{t-1}\dots f_1(m) = 0\) [2]. If the same condition is also satisfied when we allow repetitions in the sequence of indices \(x_1,x_2,x_3,\dots\), then the family \(\{\,M_x\mid {x \in X}\,\}\) is said to be locally T-nilpotent.

Recall that if J is a right ideal of a ring R, then J is right T-nilpotent if and only if \(MJ\ne M\) for every nonzero right R-module M, if and only if \(\text{ ann}_L(J)\ne 0\) for every nonzero left R-module \(_RL\), if and only if MJ is superfluous in M for every right R-module M, if and only if FJ is superfluous in F for the countably generated free right R-module \(F=R_R^{(\aleph _0)}\) ( [1, Lemma 28.3], [16, Theorem 23.16]).

3 Main result

Theorem 3.1

The following conditions are equivalent for a right module \(M_R\) over a local ring R:

  1. (1)

    The module \(M_R\) has a projective cover.

  2. (2)

    The module \(M_R\)is isomorphic to \(F_R/S\), where \(F_R=R_R^{(X)}=\bigoplus _{x\in X}xR\) is a free R-module, \(\{\,I_x\mid x\in X\,\}\) is a left vanishing indexed family of proper right ideals of R, and S is a submodule of \(\bigoplus _{x\in X}xI_x\).

  3. (3)

    The module \(M_R\) has a minimal set of generators X and there exists a left vanishing indexed family \(\{\,I_x\mid x\in X\}\) of proper right ideals of R such that the canonical epimorphism \(\varphi :R_R^{(X)}\rightarrow M_R\) induces an isomorphism \(\bigoplus _{x\in X}xR_R/xI_x\rightarrow M_R/\sum _{x\in X}xI_x\).

  4. (4)

    The module \(M_R\) has a minimal set of generators X and the indexed family of right ideals \(\{\,((\sum _{x\in X\setminus \{y\}}xR):_Ry)\mid y\in X\,\}\) is left vanishing. Here, for every \(y\in X\), \(((\sum _{x\in X\setminus \{y\}}xR):_Ry){:}{=}\{\,r\in R\mid yr\in \sum _{x\in X\setminus \{y\}}xR\,\}\).

Proof

(1)\(\,\Rightarrow \,\)(2) If \(M_R\) has a projective cover \(\pi :P_R\rightarrow M_R\), then \(P_R\) is free because R is local [15]. Hence \(M_R\cong R_R^{(X)}/S\) for some set X and some superfluous submodule S of \(R_R^{(X)}\). Proposition 2.3 allows us to conclude.

(2)\(\,\Rightarrow \,\)(3) If (2) holds, there is an epimorphism \(\varphi :R_R^{(X)}\rightarrow M_R\) with superfluous kernel S (Proposition 2.3), so that \(\varphi\) is a projective cover. Let us show that the elements \(\varphi (x)\in M_R\), \(x\in X\), which clearly form a set of generators for \(M_R\), form a minimal set of generators. Fix \(x_0\in X\). We must show that \(M_R\ne \sum _{x\in X\setminus \{x_0\}}\varphi (x)R\) or, equivalently, that \(R_R^{(X)}\ne R_R^{(X\setminus \{x_0\})}+S\). This follows from the fact that S is superfluous in \(R_R^{(X)}\).

Now the epimorphism \(\varphi\) induces an isomorphism \(R_R^{(X)}/S\rightarrow M_R\), which maps the submodule \(\left( \bigoplus _{x\in X}xI_x\right) /S\) of \(R_R^{(X)}/S\) onto the submodule \(\sum _{x\in X}xI_x\) of \(M_R\). Hence \(R_R^{(X)}/\left( \bigoplus _{x\in X}xI_x\right) \cong \bigoplus _{x\in X}xR_R/xI_x\) is isomorphic to \(M_R/\sum _{x\in X}xI_x\).

(3)\(\,\Rightarrow \,\)(4) It is enough to show that if (3) holds, then \(((\sum _{x\in X\setminus \{y\}}xR):y)\subseteq I_y\) for every \(y\in X\). Hence, suppose \(yr\in \sum _{x\in X\setminus \{y\}}xR\). Then \(yr=\sum _{i=1}^nx_ir_i\), where \(y,x_1,\dots x_n\) are distinct elements of X and \(r_1,\dots ,r_n\) are in R. Thus the element \(yr-\sum _{i=1}^nx_ir_i\) of \(F_R\) is in the kernel of the canonical epimorphism \(\varphi\). A fortiori, the element \(y(r+I_y)-\sum _{i=1}^nx_i(r_i+I_{x_i})\) of \(\bigoplus _{x\in X}xR_R/xI_x\) is sent to zero by the induced morphism \(\bigoplus _{x\in X}xR_R/xI_x\rightarrow M_R/\sum _{x\in X}xI_x\), which is an isomorphism, so \(y(r+I_y)-\sum _{i=1}^nx_i(r_i+I_{x_i})\) is the zero element of \(\bigoplus _{x\in X}xR_R/xI_x\). In particular, \(r\in I_y\), as desired.

(4)\(\,\Rightarrow \,\)(1) Suppose that (4) holds. We will show that the mapping \(\varphi :R_R^{(X)}\rightarrow M_R\), \(\varphi :x\mapsto x\), is a projective cover. Now \(\varphi\) is onto because X generates \(M_R\). Hence it suffices to show that \(\ker \varphi\) is superfluous in \(F_R\). By Proposition 2.3, it is enough to prove that \(\ker \varphi \subseteq \bigoplus _{y\in X}y((\sum _{x\in X\setminus \{y\}}xR):y)\) and that each \(((\sum _{x\in X\setminus \{y\}}xR):y)\) is a proper right ideal of R. It is a proper right ideal because X is a minimal set of generators. Finally, if \((yr_y)_{y\in X}\) is an element of \(F_R\) that is in the kernel of \(\varphi\), where the elements \(r_y\) of R are almost all zero, then \(\sum _{y\in X}yr_y\) is the zero element of \(M_R\), and clearly \(r_y\in ((\sum _{x\in X\setminus \{y\}}xR):y)\). This concludes the proof. \(\square\)

Notice that Theorem 3.1 is trivial when the right module \(M_R\) over the local ring R is finitely generated. For \(M_R\) finitely generated, the module \(M_R\) always has a projective cover and minimal sets of generators, and all families of right ideals in the statement of the theorem are finite, hence left vanishing.

Remark 3.2

Theorem 3.1 implies that every module with a projective cover over a local ring has a minimal set of generators. (This fact already appears in [5].) The stronger property “For a module \(M_R\) with a projective cover over a local ring, every set of generators of \(M_R\) contains a minimal set of generators” does not hold in general. For instance, let R be a local ring that is not right perfect, and consider the projective module \(M_R{:}{=}R_R^{({\mathbb {N}})}\), which trivially has a projective cover. Then \(M_R\) has sets of generators that don’t contain minimal sets of generators [11, Proposition 5.22].

Corollary 3.3

A module over a local integral domain R has a projective cover if and only if it is the direct sum of a finitely generated module and a free module.

Proof

\((\Leftarrow )\) Every finitely generated module has a projective cover, because local rings are semiperfect [7, Theorem 3.6]. Trivially, free modules have a projective cover. Finally, the direct sum of two modules with a projective cover has a projective cover [23, Remark 1.4.2].

\((\Rightarrow )\) Assume that \(M_R\) has a projective cover, where R is a local integral domain. By Theorem 3.1, the module \(M_R\) is isomorphic to \(F_R/S\), where \(F_R=R_R^{(X)}=\bigoplus _{x\in X}xR\) is a free R-module, \(\{\,I_x\mid x\in X\,\}\) is a left vanishing indexed family of proper right ideals of R, and S is a submodule of \(\bigoplus _{x\in X}xI_x\). Now over an integral domain R, an indexed family of right ideals \(I_x,\ x\in X\), is left vanishing if and only if \(I_x=0\) for almost all indices \(x\in X\). Hence there exists a finite subset F of X such that \(I_x=0\) for every \(x\in X\setminus F\). Thus \(S\subseteq \bigoplus _{x\in F}xI_x\). Then \(M_R\) is isomorphic to the direct sum of the finitely generated module \((\bigoplus _{x\in F}xR)/S\) and the free module \(\bigoplus _{x\in X\setminus F}xR\). \(\square\)

Remark 3.4

In [11, Theorem 5.27], Hrbek characterizes the modules \(M_R\) over a DVR R (a local Dedekind domain) for which every set of generators contains a minimal set of generators, as the R-modules that are a direct sum of a finitely generated free R-module and a bounded torsion R-module. This allows us to easily construct:

  1. (1)

    An R-module \(M_R\) such that every set of generators of \(M_R\) contains a minimal set of generators, but \(M_R\) does not have a projective cover. (Take \(M_R\) any bounded torsion R-module that is not finitely generated.) And

  2. (2)

    An R-module \(M_R\) with a projective cover and with a set of generators that does not contain minimal sets of generators. (Take as \(M_R\) any free R-module that is not finitely generated.)

4 Local rings, perfect rings, almost perfect rings.

In this paper, we have restricted our attention to modules over a local ring R. This hypothesis considerably simplifies the setting we are considering, because:

  1. (1)

    Every local ring is IBN, so that free R-modules have a unique rank.

  2. (2)

    It is possible to attach to every right R-module \(M_R\) two cardinal numbers:

  3. (a)

    \({{\,\mathrm{gen}\,}}(M_R)\), the smallest of the cardinalities |X| of the sets X of generators of \(M_R\). It is well known that if \(M_{R}\) has a minimal set X of generators and X is infinite, then \({{\,\mathrm{gen}\,}}(M_R)=|X|\).

  4. (b)

    The dimension \(\dim _{R/P}(M/MP)\), where P is the maximal ideal of R.

Clearly, for any right module over a local ring R, one has that \({{\,\mathrm{gen}\,}}(M_R)\ge \dim _{R/P}(M/MP)\).

In the proof of Theorem 3.1, we saw that if R is a local ring and \(M_R\) is an R-module with a projective cover, then we can suppose that the projective cover is of the form \(\varphi _X:R^{(X)}\rightarrow M_R\), where X is a suitable minimal set of generators for \(M_R\) and \(\varphi _X\) is the unique right R-module morphism that extends the inclusion \(X\hookrightarrow M_R\). Let us prove that, in this case, any minimal set of generators yields a projective cover:

Theorem 4.1

Let R be a local ring and \(M_R\) be a right R-module with a projective cover. Let Y be any minimal set of generators of \(M_R\). Then the canonical epimorphism \(\varphi _Y:R^{(Y)}\rightarrow M_R\) is a projective cover for \(M_R\).

Proof

Let \(M_R\) be a right module with a projective cover over a local ring R. Then as we have said in the paragraph before the statement of the theorem, we can suppose that the projective cover is \(\varphi _X:R^{(X)}\rightarrow M_R\), where X is a suitable minimal set of generators for \(M_R\).

First case: \(M_R\) is a free right R-module. If we also suppose that the module \(M_R\) over the local ring R is free, then we can assume \(M_R=R^{(X)}_R\) and that \(\varphi _X\) is the identity \(1_{M_R}\) of \(M_R\). Let Y be a minimal set of generators of \(R^{(X)}_R\), so that we have the canonical epimorphism \(\varphi _Y:R^{(Y)}_R\rightarrow R^{(X)}_R\) induced by the inclusion \(Y\hookrightarrow R^{(X)}_R\). Then \(\varphi _Y\) is a split epi, that is, there is a direct-sum decomposition \(R^{(Y)}_R=A\oplus B\), where \(\varphi _Y|_A:A\rightarrow R^{(X)}_R\) is an isomorphism, and B is the kernel of \(\varphi _Y\). The minimality of the set of generators Y corresponds to the fact that \(\varphi _Y(R^{(Y\setminus \{y\})}_R)\subset R^{(X)}_R\) for every \(y\in Y\), or, equivalently, that \(R^{(Y\setminus \{y\})}_R+B\subset R^{(Y)}_R\) for every \(y\in Y\).

Let P be the maximal ideal of R. Applying to the split epi \(\varphi _Y:R^{(Y)}_R=A\oplus B\rightarrow R^{(X)}_R\) the additive right exact functor \(-\otimes _RR/P:{\text {Mod-\!}}R\rightarrow {\text {Mod-\!}}R/P\), which is naturally isomorphic to the functor \(X_R\mapsto X_R/X_RP\), we get a split epi

$$\begin{aligned} \overline{\varphi _Y}:R^{(Y)}_R/R^{(Y)}_RP=(A+R^{(Y)}_RP)/R^{(Y)}_RP\oplus (B+R^{(Y)}_RP)/R^{(Y)}_RP\rightarrow R^{(X)}_R/R^{(X)}_RP, \end{aligned}$$

whose kernel is \((B+R^{(Y)}_RP)/R^{(Y)}_RP\) and whose restriction to \((A+R^{(Y)}_RP)/R^{(Y)}_RP\) is an isomorphism. From \(R^{(Y\setminus \{y\})}_R+B\subset R^{(Y)}_R\) for every \(y\in Y\), we get that \(B\subseteq P^{(Y)}_R\), because if \(B\nsubseteq P^{(Y)}_R\), there exist an element \(y_0\in Y\) and an element \(b=\sum _{y\in Y}yr_y\in B\subseteq R^{(Y)}_R\) with \(r_y=0\) for almost all y and \(r_{y_0}\in R\setminus P\), so \(y_0=br_{y_0}^{-1}+(y_0-br_{y_0}^{-1})=br_{y_0}^{-1}-\sum _{y\in Y\setminus \{y_0\}}yr_yr_{y_0}^{-1} \in B+R^{(Y\setminus \{y_0\})}_R\), hence \(B+R^{(Y\setminus \{y_0\})}_R=R^{(Y)}_R\), a contradiction. The contradiction shows that \(B\subseteq P^{(Y)}_R\), so that the direct summand \((B+R^{(Y)}_RP)/R^{(Y)}_RP\) of \(R^{(Y)}_R/R^{(Y)}_RP\) is zero. Equivalently \(B/BP=0\). Since B is a projective R-module, it follows that \(B=0\) [1, Proposition 17.14]. Therefore \(\varphi _Y:R^{(Y)}\rightarrow R^{(X)}_R\) is an isomorphism, hence a projective cover of \(R^{(X)}_R\).

Second case (general case): \(M_R\) is an arbitrary module with a projective cover. Let \(\varphi _X:R^{(X)}\rightarrow M_R\) be a projective cover of \(M_R\) and Y a minimal set of generators of \(M_R\). We can suppose that \(M_R=R^{(X)}/S\) for some superfluous submodule S of \(R^{(X)}_R\) and that \(\varphi _X\) is the canonical projection \(\pi :R^{(X)}\rightarrow R^{(X)}/S\). Since Y is a minimal set of generators of \(R^{(X)}/S\), we have the canonical epimorphism \(\varphi _Y:R^{(Y)}_R\rightarrow R^{(X)}/S\), \(y\mapsto y\) for every \(y\in Y\). By the projectivity of \(R^{(Y)}_R\), there exists a morphism \(\psi :R^{(Y)}_R\rightarrow R^{(X)}_R\) such that \(\pi \psi =\varphi _Y\). From the surjectivity of \(\varphi _Y\), we get that \(\psi (R^{(Y)}_R)+S=R^{(X)}_R\). But S is superfluous in \(R^{(X)}_R\), so \(\psi\) is surjective. Thus \(\{\,\psi (y)\mid y\in Y\,\}\) is a set of generators for \(R^{(X)}_R\). Let us prove that it is a minimal set of generators for \(R^{(X)}_R\). We must show that, for every \(y_0\in Y\), the set \(\{\,\psi (y)\mid y\in Y,\ y\ne y_0\,\}\) does not generate \(R^{(X)}_R\). To this end, it suffices to prove that, for every \(y_0\in Y\), the set \(\{\,\pi \psi (y)\mid y\in Y,\ y\ne y_0\,\}\) does not generate \(\pi (R^{(X)}_R)\). But we know that \(\{\,\varphi _Y(y)\mid y\in Y,\ y\ne y_0\,\}\) does not generate \(R^{(X)}_R/S\). This proves that \(\{\,\psi (y)\mid y\in Y\,\}\) is a minimal set of generators for \(R^{(X)}_R\). By the first case above, \(\psi :R^{(Y)}_R\rightarrow R^{(X)}_R\) is a projective cover, i.e. an isomorphism. Therefore \(\varphi _Y=\pi \psi :R^{(Y)}_R\rightarrow M_R\) is a projective cover of \(M_R\), as desired.\(\square\)

Remark 4.2

Our discussion has lead us to consider, for a fixed local ring R with maximal ideal P, four classes of right R-modules:

  1. (a)

    The class \({\mathcal A}\) of R-modules with a projective cover.

  2. (b)

    The class \({\mathcal B}\) of R-modules for which every set of generators contains a minimal set of generators.

  3. (c)

    The class \({\mathcal C}\) of R-modules with a minimal set of generators.

  4. (d)

    The class \({\mathcal D}\) of R-modules \(M_R\) for which \({{\,\mathrm{gen}\,}}(M_R)=\dim _{R/P}(M/MP)\). Let us prove that \({\mathcal A}\cup {\mathcal B}\subseteq {\mathcal C}\subseteq {\mathcal D}\).

Proof

The inclusion \({\mathcal A}\subseteq {\mathcal C}\) follows from Theorem 3.1, and the inclusion \({\mathcal B}\subseteq {\mathcal C}\) is trivial. The inclusion \({\mathcal C}\subseteq {\mathcal D}\) follows from [12, Corollary 3.3] and from (2) in the first paragraph of this Section.\(\square\)

In our setting, there is a real dichotomy between the behaviour of perfect rings and that of nonperfect rings, as the next Theorem 4.3 shows. Most of it already appears in [5], but we prefer to give here an extremely elementary self-contained proof for completeness. See Remark 4.4.

Theorem 4.3

The following conditions are equivalent for a local ring R with maximal ideal P:

  1. (1)

    The ring R is right perfect.

  2. (2)

    For every subset X of any right R-module \(M_R\), X generates \(M_R\) if and only if \(\{\,x+MP\mid x\in X\,\}\) generates M/MP.

  3. (3)

    For every right R-module \(M_R\), every set of generators of \(M_R\) contains a minimal set of generators of \(M_R\).

  4. (4)

    Every right R-module has a minimal set of generators.

  5. (5)

    Every right R-module has a minimal set of generators Y, and for any such set Y the canonical mapping \(\varphi _Y:R_R^{(Y)}\rightarrow M_R\) is a projective cover.

  6. (6)

    For every right R-module \(M_R\) with a projective cover and every subset Y of \(M_R\) such that the indexed set \(\{\,y+MP\mid y\in Y\,\}\) is a basis of the right vector space M/MP over the division ring R/P, the canonical mapping \(\varphi _Y:R^{(Y)}\rightarrow M_R\) is a projective cover for \(M_R\).

  7. (7)

    \({{\,\mathrm{gen}\,}}(M_R)=\dim _{R/P}(M/MP)\) for every right R-module \(M_R\).

Proof

(1)\({}\Leftrightarrow {}\)(2). Condition (2) can be restated as “for the submodule \(\langle X\rangle\) of \(M_R\) generated by X, \(\langle X\rangle =M_R\) if and only if \(\langle X\rangle +M_RP=M_R\)”, which is equivalent to “\(M_RP\) is a superfluous submodule in any module \(M_R\)”. This is equivalent to the condition “P is right T-nilpotent” [1, Lemma 28.3], that is, to (1).

(2)\({}\Rightarrow {}\)(3). If (2) holds, then (3) is true, because (3) is true for any vector space.

(3)\({}\Rightarrow {}\)(4) is trivial.

(4)\({}\Rightarrow {}\)(7) follows from the inclusion \({\mathcal C}\subseteq {\mathcal D}\) in Remark 4.2.

(7)\({}\Rightarrow {}\)(1). Suppose that (1) does not hold, so that there exists a nonzero right R-module \(M_R\) without maximal submodules [1, Theorem 28.4, (a)\({}\Leftrightarrow {}\)(c)]. Then \(M_RP=M_R\), whence \({{\,\mathrm{gen}\,}}(M_R)\ne 0\) and \(\dim _{R/P}(M/MP)=0\). Therefore (7) does not hold.

(1)\({}\Rightarrow {}\)(5). If R is right perfect, then every module has minimal sets of generators Y, and for any such set Y the canonical mapping \(\varphi _Y:R_R^{(Y)}\rightarrow M_R\) is a projective cover (Theorem 4.1.)

(5)\({}\Rightarrow {}\)(1). Suppose that (5) holds, and apply (5) to the right R-module \(M_R{:}{=}(R/P)^{(\aleph _0)}\). Then the canonical basis of the R/P-vector space \(M_R\) is a minimal set X of generators and, by (5), the canonical mapping \(\varphi :R^{(\aleph _0)}\rightarrow (R/P)^{(\aleph _0)}\) is a projective cover. Thus \(P^{(\aleph _0)}\) is superfluous in \(R^{(\aleph _0)}\), so \(\{\,P_n\mid n\ge 1\,\}\), where \(P_n=P\) for every n, is a left vanishing family, i.e. P is right T-nilpotent. Hence R is right perfect.

(1)\({}\Rightarrow {}\)(6). Suppose that (1) holds, so that (2) and (5) also hold. Let Y be a subset of module \(M_R\) such that the indexed set \(\{\,y+MP\mid y\in Y\,\}\) is a basis of the right vector space M/MP over the division ring R/P. By (2), Y is a minimal set of generators of \(M_R\), so that applying (5) we get (6).

(6)\({}\Rightarrow {}\)(1). Suppose that (1) does not hold, so that R is not right perfect. Let X be an infinite set and consider the projective right R-module \(M_R{:}{=}R^{(X)}_R\). The identity is a projective cover \(\varphi _X:R^{(X)}\rightarrow R^{(X)}\). The module \(R^{(X)}\) has the property that not all its sets of generators contain a minimal set of generators [14, Lemma 2.2]. Let T be a set of generators of \(R^{(X)}\) that does not contain minimal sets of generators. The image \({\overline{T}}\) of T via the mapping \(\pi :R^{(X)}_R\rightarrow R^{(X)}_R/R^{(X)}_RP\) generates the vector space \(R^{(X)}_R/R^{(X)}_RP\), hence contains a basis of \(R^{(X)}_R/R^{(X)}_RP\). Thus there is a subset Y of T whose image \({\overline{Y}}\) via the mapping \(\pi\) is a basis of \(R^{(X)}_R/R^{(X)}_RP\). But Y is not a minimal set of generators for \(R^{(X)}_R\), so that a fortiori the mapping \(\varphi _Y:R^{(Y)}\rightarrow R^{(X)}\) is not a projective cover, and (6) does not hold for the module \(M_R\). \(\square\)

Remark 4.4

Different proofs of (1)\({}\Rightarrow {}\)(3), (3)\({}\Rightarrow {}\)(1) and (1)\({}\Leftrightarrow {}\)(4) in the previous theorem already appear in [19, 20] and [5], respectively. For instance, in [5, Theorem 2 and its proof, top two paragraphs of p. 376], Chwe and Neggers prove the following. Assume that a right R-module M has a minimal set of generators. Then, as explained in [5, second paragraph on p. 376], one has \(MP\ne M\) if \(M\ne 0\). As this holds for every R-module M, one can conclude that the ideal P is right T-nilpotent [5, Theorem 1, (1)\({}\Leftrightarrow {}\)(4)]. Conversely, assume that P is right T-nilpotent; so \(LP\ne P\) for any nonzero right R-module L. Let M be a right R-module. Following [5, first paragraph on p. 376], choose a basis of the vector space M/MP over R/P and lift it to a subset X of M. Let \(N\subseteq M\) be the submodule generated by X; then \(M = N + MP\), so \((M/N)P = M/N\), hence \(N = M\). Any proper subset of X wouldn’t even generate M/MP; so X is a minimal generating set of M whose cardinality equals \(\dim _{R/P} (M/MP)\). Moreover, the assertion that every set of generators of a module M has cardinality \(\ge \dim _{R/P} (M/MP)\) clearly holds for any module over any local ring R. Finally, if \(M\ne 0\) has a set of generators of cardinality \(\dim _{R/P} (M/MP)\), then \(M\ne MP\); if this holds for every M, then P is right T-nilpotent.

In the notation of Remark 4.2, for a local right perfect ring R, Theorem 4.3 asserts that \({\mathcal A}={\mathcal B}={\mathcal C}={\mathcal D}={\text {Mod-\!}}R\). The following proposition shows that if the ring R is not right perfect, then the situation is completely different.

Proposition 4.5

In the notation of Remark4.2 , for any local, not right perfect ring R one has that \({\mathcal A}\nsubseteq {\mathcal B}\), \({\mathcal B}\nsubseteq {\mathcal A}\), \({\mathcal A}\cup {\mathcal B}\subset {\mathcal C}\) and \({\mathcal D}\subset {\text {Mod-\!}}R\).

Proof

Assume R local with maximal ideal P and R not right perfect. To show that \({\mathcal A}\nsubseteq {\mathcal B}\) consider the free right R-module \(R_R^{(X)}\) for an infinite set X. Then \(R_R^{(X)}\) trivially belongs to \({\mathcal A}\) because it is projective, and \(R_R^{(X)}\in \!\!\!\!\!/{\mathcal B}\) by [14, Lemma 2.2].

To prove that \({\mathcal B}\nsubseteq {\mathcal A}\) consider the right R-module \(M_R{:}{=}(R/P)^{(X)}\) for some infinite set X. Then \(M_R\in \!\!\!\!\!/{\mathcal A}\) by Theorem 3.1, and \(M_R\in {\mathcal B}\) because the sets of generators of the R-module \(M_R\) are exactly the sets of generators of the vector space M over the division ring R/P.

In order to see that \({\mathcal A}\cup {\mathcal B}\subset {\mathcal C}\), consider the module \(M_R{:}{=}R_R^{(X)}\oplus (R/P)^{(X)}\) for some infinite set X. Clearly, \(M_R\in {\mathcal C}\). Also, \(M_R\in \!\!\!\!\!/{\mathcal B}\), because \({\mathcal B}\) is closed under direct summands [14, p. 368]. Finally, in order to prove that \(M_R\in \!\!\!\!\!/{\mathcal A}\), notice that an infinite indexed family of copies of P is not left vanishing because P is not right T-nilpotent. If \(M_R\) has a projective cover, then any minimal set of generators of \(M_R\) leads to a projective cover (Theorem 4.1). The R-module \(M_R = R^{(X)}_R\oplus (R/P)^{(X)}\) has a natural minimal set of generators, indexed by the disjoint union of two copies of X. If this particular set of generators of \(M_R\) leads to a projective cover, then the infinite X-indexed family of copies of P is left vanishing by Theorem 3.1, a contradiction.

Finally, \({\mathcal D}\subset {\text {Mod-\!}}R\) by Theorem 4.3, (7)\({}\Rightarrow {}\)(1).\(\square\)

We are not able to prove, in general, that \({\mathcal C}\subset {\mathcal D}\) for every local, not right perfect ring R. We can prove it only under the further hypothesis that R is a left chain domain.

Proposition 4.6

Let R be a left chain domain that is not a right perfect ring (equivalently, a left chain domain that is not a division ring). Then, in the notation of Remark 4.2, \({\mathcal C}\subset {\mathcal D}\).

(Notice that a left chain domain is right perfect if and only if it is a division ring. In fact, if R is a left chain domain that is not a division ring, then there is in P a nonzero element p. Then \(p^n\ne 0\) for every n implies that P is not T-nilpotent.)

Proof

Let R be a left chain domain that is not a division ring. Then its maximal ideal P contains a nonzero element p. Consider the direct system

$$\begin{aligned} R_R{\mathop {\longrightarrow }\limits ^{\lambda _{p}}}R_R{\mathop {\longrightarrow }\limits ^{\lambda _p}}R_R{\mathop {\longrightarrow }\limits ^{\lambda _{p}}}\dots , \end{aligned}$$

where \(\lambda _{p}:R_R\rightarrow R_R\) is left multiplication by p, and let \(\displaystyle M_R{:}{=} \lim _{\longrightarrow }R_R\) be the direct limit. Equivalently, \(M_R\) is the homomorphic image of a free right R-module with a countable free set of generators \(x_t,\ t\ge 1\), modulo the submodule generated by all the elements \(x_t-x_{t+1}p,\ t\ge 1\) (Bass module). Let \(\overline{x_t}\) denote the image of any \(x_t\) in \(M_R\).

Let us show that \(\overline{x_2}\in \!\!\!\!\!/\overline{x_1}R\). We have that \(\overline{x_2}\in \overline{x_1}R\) implies \(\overline{x_2}= \overline{x_1}r\) for some \(r\in R\), so that \((\lambda _p)^n(1)=(\lambda _p)^{n+1}(r)\) for some \(n\ge 0\), whence \(p^n=p^{n+1}r\). Thus we get that p is right invertible, a contradiction. Hence \(\overline{x_2}\in \!\!\!\!\!/\overline{x_1}R\).

Notice that \(M_RP=M_R\), because \(\overline{x_t}=\overline{x_{t+1}}p\in M_RP\) for every t.

Consider the module \(N_R{:}{=}R_R^{(\aleph _0)}\oplus (M_R/\overline{x_1}R)\), so that \(N/NP\cong (R/P)^{(\aleph _0)}\). Clearly, \({{\,\mathrm{gen}\,}}(N_R)=\aleph _0\) and \(\dim _{R/P}(N/NP)=\aleph _0\). Hence \(N_R\in {\mathcal D}\). Let us show that \(N_R\in \!\!\!\!\!/{\mathcal C}\). Suppose the contrary. Then \(N_R\) has a countable minimal set of generators, \(\{\, g_n\mid n\ge 1\,\}\) say. Every element \(g_n\) can be written as \(g_n=f_n+h_n\), with \(f_n\in R_R^{(\aleph _0)}\) and \(h_n\in M_R/\overline{x_1}R\). The set \(\{\, f_n+NP\mid n\ge 1\,\}\) is a basis of the vector space N/NP [12, Corollary 3.3]. Now the nonzero element \(\overline{x_2}+\overline{x_1}R\) of \(M_R/\overline{x_1}R\) is annihilated by p, because \(\overline{x_2}p=\overline{x_1}\). Moreover the nonzero element \(\overline{x_2}+\overline{x_1}R\) can be written as a linear combination of the elements of the minimal set of generators:

$$\begin{aligned} \overline{x_2}+\overline{x_1}R=\sum _ng_nr_n, \end{aligned}$$
(1)

with \(r_n=0\) for almost all n, but not \(r_n=0\) for all n. The set of principal left ideals \(\{\,Rr_n\mid n\ge 1\,\}\) (almost all zero), has a greatest element \(Rr_{{\overline{n}}}\ne 0\). From \(Rr_{{\overline{n}}}\supseteq Rr_n\) for every \(n\ge 1\), it follows that \(r_n=s_nr_{{\overline{n}}}\) for all n, with \(s_n=0\) for almost all n and \(s_{{\overline{n}}}=1\). Now right multiplication by \(r_{{\overline{n}}}p\) is an endomorphism of the abelian group N whose restriction to \(R^{(\aleph _0)}\) is an injective endomorphism of \(R^{(\aleph _0)}\) and whose restriction to \(M_R/\overline{x_1}R\) is an endomorphism of \(M_R/\overline{x_1}R\). Applying right multiplication by \(r_{{\overline{n}}}p\) to the element \(\sum _ng_ns_n\) of \(N_R\), we get from (1) that \((\sum _ng_ns_n)r_{{\overline{n}}}p=0\). Thus \((\sum _nf_ns_n)r_{{\overline{n}}}p=0\) and \((\sum _nh_ns_n)r_{{\overline{n}}}p=0\). Hence \(\sum _nf_ns_n=0\), so \(\sum _n(f_n+NP)(s_n+P)=0\) in N/NP, where \(s_{{\overline{n}}}+P=1_{R/P}\). This contradicts the fact that \(\{\, f_n+NP\mid n\ge 1\,\}\) is a basis of the vector space N/NP.\(\square\)

Hrbek’s characterization [11, Theorem 5.27], which we cited in Remark 3.4, is partially generalized in the next proposition. A ring R is right almost perfect if R/I is a right perfect ring for every proper two-sided ideal \(I\ne 0\) of R [9]. Every right almost perfect ring is either a prime ring or a right perfect ring. Right almost perfect rings have a number of characterizations [9, Theorem 4.6 and Proposition 4.8]. For every prime right almost perfect ring R, there is a natural topology on R with basis of neighbourhoods of 0 all nonzero two-sided ideals of R. Correspondingly, there is a hereditary torsion theory on \({\text {Mod-\!}}R\) whose torsion modules are all semiartinian modules \(A_R\) such that every nonzero homomorphic image of \(A_R\) contains a simple submodule that is not faithful. The torsion-free modules are all modules \(B_R\) whose simple submodules are all faithful. For a local prime right almost perfect ring R, the maximal ideal P turns out to be right topologically T-nilpotent, in the sense that for every sequence \(a_1,a_2,\dots\) of elements of P and every neighbourhood U of zero there exists an index t such that \(a_t\dots a_1\in U\).

Proposition 4.7

Let R be a local right almost perfect ring. Let \(M_R\) be a right R-module and suppose that there exists a nonzero element \(r\in R\) such that Mr is contained in a finitely generated submodule of \(M_R\) . Then every set of generators of \(M_R\) contains a minimal set of generators.

Proof

Let N be a finitely generated R-submodule of \(M_R\) such that \(Mr\subseteq N\), where \(r\in R\), \(r\ne 0\). Then the right R-module M/N is annihilated by the two-sided ideal RrR of R, hence is a right R/RrR-module, and R/RrR is a local right perfect ring. By [20], every set of generators of the right R/RrR-module M/N contains a minimal set of generators. Hence the same is true for M/N as a right R-module. Therefore it is possible to conclude by [14, Lemma 3.1].\(\square\)

As a corollary, if R is a local right almost perfect ring and \(M_R\) is a right R-module that is the direct sum of a finitely generated module and a module with a nonzero annihilator, then every set of generators of \(M_R\) contains a minimal set of generators. This extends one of the two implications in [14, Corollary 4.7], because discrete valuation rings are local right almost perfect rings.

The authors are very grateful to Michal Hrbek for several useful suggestions. In particular, Remarks 3.2 and 3.4 are essentially due to him.