Nakayama's lemma for acts over monoids. (Q2634948)

Let \(S\) be a monoid and \(\mathfrak M=\{s\mid s\) is a right non-invertible element of \(S\}\) its (only) maximal right ideal. An \(S\)-act \(A\) is called \textit{quasi-strongly faithful} if for each nonzero element \(a\in A\), the equality \(as=a\) implies that \(s\not\in\mathfrak M\). Assuming that \(\mathfrak M\) is two-sided, the following two analogues of Nakayama's lemma are proved: 1) Let \(A\) be an \(S\)-act, \(B\) a maximal subact of \(A\) and there exists \(a\in A\setminus B\) such that \(\mathfrak M=\{s\in S\mid as\in B\}\); then \(AI\neq A\) for every proper ideal \(I\) of \(S\), 2) Let \(A\) be a finitely generated quasi-strongly faithful \(S\)-act with a unique zero element \(\theta\); if \(AI= A\) for some proper ideal \(I\) of \(S\), then \(A=\{\theta\}\). Quasi-strongly faithful monoids \(S\) (as \(S\)-acts) and quasi-strongly faithful \(S\)-acts are described. The results are applied in the cases of Noetherian monoids, epimorphisms of \(S\)-acts and projective covers of \(S\)-acts. For example, a commutative quasi-strongly faithful monoid having a single zero element \(\theta\) is Noetherian if and only if \(\bigcap_{n\in\mathbb N}\mathfrak M^n=\{\theta\}\) and \(\mathfrak M\) is a finitely generated ideal.