Generalizations of injectivity based on finitely generated S-acts (Q6969131)

Let \( S \) be a monoid. The authors introduce a generalized definition of injectivity for \( S \)-acts, relative to two families of \( S \)-acts, denoted by \( \mathcal{C} \) and \( \mathcal{A} \). Unlike the standard definition of injectivity of an \( S \)-act \( B \), which requires the existence of an extension for every \( S \)-monomorphism \( C \rightarrow A \) and \( S \)-morphism \( C \rightarrow B \), their generalized definition considers only those monomorphisms where \( C \in \mathcal{C} \) and \( A \in \mathcal{A} \). This property is referred to as \(\mathcal{C}\)-\(\mathcal{A}\)-injectivity. Their definition encompasses several other known types of injectivity for \( S \)-acts. The authors extend the Skornjakov-Baer criterion to their generalized notion of injectivity and establish a corresponding criterion.\NThey also present a criterion for quasi-injective \( S \)-acts. With the aid of their generalized definition, the authors establish conditions under which subacts of a projective \( S \)-act are themselves projective.\N\NThe authors take \( \mathcal{C} \) to be the family of all subacts of a given \( S \)-act \( A \). In this case, \(\mathcal{C}\)-\(\mathcal{A}\)-injectivity coincides with \( A \)-injectivity when \(\mathcal{A} = \{A\}\). They prove that, for a Rees short exact sequence of \( S \)-acts \( A \rightarrow B \rightarrow C \), the \( B \)-injectivity of an \( S \)-act with zero implies its \( A \)-injectivity and \( C \)-injectivity. They show that, for a monoid \( S \) with a zero element and an \( S \)-act \( A \), the property that \( A \) is Rees locally Noetherian is equivalent to the condition that every direct sum of \( A \)-injective \( S \)-acts is again \( A \)-injective. Moreover, they provide some condition in which injectivity of a \( S \)-act is equivalent with other definitions of injectivity in the sense of their definition. Moreover, they establish conditions under which the injectivity of an \( S \)-act, as defined in their framework, coincides with other generalized notions of injectivity.\N\NFinally, the authors characterize \( FF \)-injectivity of \( S \)-acts through equivalent conditions, based on the solvability of systems of equations in finitely many variables, where \( FF \)-injectivity means \(\mathcal{F}\)-\(\mathcal{F}\)-injectivity with \(\mathcal{F}\) the family of finitely generated \( S \)-acts. Their result provides an updated proof for the finitely generated case of injectivity, originally established by \textit{V. Gould} [Semigroup Forum 32, 251--265 (1985; Zbl 0571.20067)]. Moreover, they provide conditions equivalent to the property that all \( S \)-acts are \( FF \)-injective, as well as for the case where all cyclic \( S \)-acts are \( FF \)-injective.