
doi: 10.1007/bf02572660
An orthogroup is a union of groups in which the idempotents form a subsemigroup (orthodox union of groups). If in addition the idempotents form a regular band, the semigroup is a regular orthogroup. These semigroups form a variety when considered as semigroups with an inverse. The main result of the present paper is a description of the lattice of all subvarieties of this variety (modulo the variety of groups which is a subvariety). This is done by relating the fully invariant congruences on the free regular orthogroup to fully invariant congruences on free regular bands and free groups. The lattice is then studied in some detail. Various subdirect decompositions of it are obtained. A ''min-max'' network is described and bases for the identities in the various subvarieties is given.
subdirect decompositions, union of groups, Varieties and pseudovarieties of semigroups, Lattices of varieties, regular orthogroup, subvarieties, Mappings of semigroups, idempotents, bases for the identities, General structure theory for semigroups, fully invariant congruences
subdirect decompositions, union of groups, Varieties and pseudovarieties of semigroups, Lattices of varieties, regular orthogroup, subvarieties, Mappings of semigroups, idempotents, bases for the identities, General structure theory for semigroups, fully invariant congruences
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 13 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
