Essentiality and injectivity relative to sequential purity of acts. (Q731320): Difference between revisions

An \(S\)-subact \(A\) of an \(S\)-act \(B\) is defined to be sequentially pure if each system of equations \(\Sigma=\{xs=a_s\mid s\in S,\;a_s\in A\}\) is solvable in \(A\) whenever it is solvable in \(B\). The paper mainly discusses some properties of sequentially pure extensions, \(\mathcal M_p^*\), \(\mathcal M_p^{*w}\), \(\mathcal M_p^{*s}\), which are the classes of all sequentially pure, weak, strong, essential monomorphisms, respectively, and their relationships.