Cancellative conjugation semigroups and monoids (Q2182457)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Cancellative conjugation semigroups and monoids |
scientific article |
Statements
Cancellative conjugation semigroups and monoids (English)
0 references
23 May 2020
0 references
A \textit{conjugation semigroup} \((S, +,\overline{()})\) is defined as a semigroup \((S,+)\) equipped with a unary operation \(\overline{()}\) such that the following identities are satisfied: \begin{itemize} \item[1)] \(\overline{x}+x =x+\overline{x}\), \item[2)] \(x+\overline{y}+y=y+\overline{y}+x\), \item[3)] \(\overline{x+y}=\overline{y}+\overline{x}\). \end{itemize} Let \(A \xrightarrow{f} B\xleftarrow{g} C\) and \(A\xleftarrow{r} B\xrightarrow{s} C\) together with homomorphisms \(\alpha: A\to D\), \(\beta:B\to D\), \(\gamma: C\to D\) be a diagram such that \(fr=1_B=gs\) and \(\alpha r=\beta=\gamma s\). Then this diagram is called \textit{admissible} if there exists a unique morphism \(\varphi: A\times_B C\to D\) such that \(\varphi e_1=\alpha\) and \(\varphi e_2=\beta\), where \(e_1=\langle 1_A, sf\rangle\) and \(e_2=\langle rg, 1_C\rangle\). A finitely complete category \(\mathcal C\) is called \textit{weakly Mal'tsev} if the morphisms \(e_1\) and \(e_2\) are jointly epimorphic. A split epimorphism \((f,r)\), \(f: A\to B\), \(fr=1_B,\) is called a \textit{Schreier split epimorphism} if there exists a unique set-theoretical map \(q: A\to X\) (\(X\) -- the kernel of \(f\)) such that, for every \(a\in A\), \(a=kq(a)+rf(a)\), where \(k: X\to A\) is the kernel morphism. Admissible diagrams in the category \(\mathcal S\) of cancelative conjugation semigroups as well as Schreier split epimorphisms in the category \(\mathcal M\) of cancellative conjugation monoids are described. The category \(\mathcal S\) turnes out to be weakly Mal'tsev. Conditions are found under which for a given Schreier split epimorphism, a morphism \(X\to B\) induces a reflexive graph, an internal category or an internal groupoid. Two Schreier equivalence relations on an object in \(\mathcal M\) commute if and only if their normalizations commute.
0 references
admissibility diagrams
0 references
weakly Mal'tsev category
0 references
conjugation semigroups
0 references
internal category
0 references
internal groupoid
0 references