On \(C\)-injective generalized hyper \(S\)-acts (Q6589708)

In the classical theory, the quotient of a group by a normal subgroup is a group. In 1934, \textit{F. Marty} [in: 8. Skand. Mat.-Kongr., Stockholm 1934, 45--49 (1935; Zbl 0012.05303)] stated that the quotient of a group by any subgroup is a hypergroup. More precisely, if \(G\) is a group and \(H\) is a subgroup of \(G\), then the set of all left cosets of \(H\) in \(G\) is a hypergroup with the multiplication \N\[\NxH\cdot yH:=\{zH|\ z=xhy,\ h\in H\}.\N\]\NClearly, if \(H\) is normal in \(G\), then the set of cosets turns into the quotient group \(G/H\). Hyperstructures are generalizations of the usual algebraic structures, where the composition of two elements is allowed to result in a non-empty set, instead of a single element.\N\NIn the paper under review, the generalized hyper \(S\)-acts (\(GHS\)-acts) over a hypermonoid \(S\), as a generalization of actions of monoids on sets, are studied. An \(S\)-act \(A\) is called \(C\)-injective, if it is injective relative to all inclusions with cyclic domains. In this paper, the definition of \(C\)-injectivity is extended to \(GHS\)-acts. Also, some of their homological properties are discussed.