Schreier split epimorphisms between monoids. (Q741662)

A split epimorphism \(A@>f>>B@>s>>A\), \(fs=1_B\) between monoids \(A,B\) (shortly \((A,B,f,s)\)) is a Schreier split epimorphism iff for any \(a\in A\) there exists a unique \(\alpha\in K[f]=f^{-1}(1)\) such that \(a=\alpha\cdot sf(a)\). Here are explored properties of Schreier split epimorphisms between monoids, e.g. for them holds the short five lemma. An internal relation \(R\) on \(B\), i.e. a subalgebra of the product \(B\times B\) is reflexive if projections \(d_0(xRy)=x\), \(d_1(xRy)=y\) have a common section \(s_0\colon B\to R\), \(s_0(b)=bRb\) for any \(b\in B\). It is proved that any Schreier reflexive relation (i.e. the split epimorphism \((R,B,d_0,s_0)\) is a Schreier one) is transitive; it is an equivalence relation iff \(K[d_0]\) is a group.