Two-sided networks for completely simple semigroups
Let \(S\) be a completely simple semigroup. Define the equivalence relation \({\mathcal T}_\ell\) on the congruence lattice \({\mathcal C}(S)\) of \(S\) by: for \(\rho,\lambda\in{\mathcal C}(S)\), put \(\rho{\mathcal T}_\ell\lambda\) if and only if \(\rho\vee{\mathcal L}\) and \(\lambda\vee{\mathcal L}\) have the same trace. The relation \({\mathcal T}_r\) on \({\mathcal C}(S)\) is defined in a dual way. The equivalence relation \(\mathcal K\) on \({\mathcal C}(S)\) is defined by: for \(\rho,\lambda\in{\mathcal C}(S)\), \(\rho{\mathcal K}\lambda\) if and only if \(\rho\) and \(\lambda\) have the same kernel. The \({\mathcal T}_\ell\)-, \({\mathcal T}_r\)- and \(\mathcal K\)-classes are intervals: for \(\rho\in{\mathcal C}(S)\), \(\rho{\mathcal T}_\ell=[\rho t_\ell,\rho T_\ell]\), \(\rho{\mathcal T}_r= [\rho t_r,\rho T_r]\) and \(\rho{\mathcal K}=[\rho k,\rho K]\). The author is interested in the semigroup generated by the transformations \(t_\ell\), \(T_\ell\), \(t_r\), \(T_r\), \(k\), \(K\) on \({\mathcal C}(S)\). Let \(\Gamma=\{t_\ell,T_\ell,t_r,T_r,k,K\}\). A set \(\Sigma\) of defining relations is introduced on the semigroup \(\Gamma^+\) freely generated by \(\Gamma\), the congruence on \(\Gamma^+\) generated by the relations of \(\Sigma\) is denoted by \(\mu\), and a transversal of the \(\mu\)-classes is found. The main theorem of the paper states that for every completely simple semigroup \(S\) the semigroup generated by the transformations \(t_\ell\), \(T_\ell\), \(t_r\), \(T_r\), \(k\), \(K\) on \({\mathcal C}(S)\) is a homomorphic image of \(\langle\Gamma,\Sigma\rangle\cong\Gamma^+/\mu\) and that no proper homomorphic image of this semigroup has this property.
This page was built for publication: Two-sided networks for completely simple semigroups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4500808)
