The author constructs a (necessarily infinite) example of a band with a properly epimorphically embedded subband, thus proving the existence of non-surjective epimorphisms in the categories of bands and regular semigroups. This contrasts with the categories of finite bands, finite regular semigroups and inverse semigroups, for which epis are onto. The construction is based on a construction of this reviewer of a band epimorphically embedded in a semigroup [Bull. Aust. Math. Soc. 27, 231- 242 (1983; Zbl 0505.20043)]. The author begins with a free semigroup \(F_ Z\) where Z is the union of three countably infinite sets, X, Y and A. One then considers \(F_ Z/\rho\) where \(\rho\supset \tau\), the least band congruence on \(F_ Z\), together with sufficient zigzag relations in order to ensure that \(<A>/\rho\) is epimorphically embedded in \(F_ Z/\rho\). The problem in this approach lies in showing that the inclusion is proper, which the author proves after a difficult word argument.
- A semigroup with an epimorphically embedded subband
- Amalgamation and Inverse and Regular Semigroups
- An essay on free products of groups with amalgamations
- Epimorphisms and dominions. II
- Epimorphisms and dominions. V
- scientific article; zbMATH DE number 3552814 (Why is no real title available?)
- scientific article; zbMATH DE number 3557867 (Why is no real title available?)
- On epics and dominions of bands
- The category of semilattices
- Epimorphisms, dominions and semigroups
- Dense subsets of some common classes of semigroups
- Dominions in varieties generated by simple groups.
- Epis from locally inverse semigroups are onto
- Epimorphisms, dominions and varieties of bands
- Closed and saturated varieties of semigroups
- Exploring some saturated and closed varieties of semigroups
- Epimorphisms and pseudovarieties of semigroups
This page was built for publication: A non-surjective epimorphism of bands
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1083552)
