An e-pseudovariety is a class of finite regular semigroups closed under the taking of homomorphic images, regular subsemigroups and finite direct products. Chapter One consists of a survey of those results from algebraic semigroup theory, universal algebra and lattice theory which are used in the following two chapters. In Chapter Two, a theory of generalised existence varieties is developed. A generalised existence variety is a class of regular semigroups closed under the taking of homomorphic images, regular subsemigroups, finite direct products and arbitrary powers. Equivalently, a generalised e-variety is the union of a directed family of existence varieties. It is demonstrated that a class of finite regular semigroups is an e-pseudovariety if and only if the class consists only of the finite members of some generalised existence variety. The relationship between certain lattices of e-pseudovarieties and generalised existence varieties is explored and a usefu l complete surjective lattice homomorphism is found. A study of complete congruences on lattices of existence varieties and e-pseudovarieties forms Chapter Three. In particular it is shown that a certain meet congruence, whose description is relatively simple, can be extended to yield a complete congruence on a lattice of e-pseudovarieties of finite regular semigroups. Ultimately, theorems describing the method of construction of all complete congruences of lattices of e-pseudovarieties whose members are finite E-solid or locally inverse regular semigroups are proved.
Identifer | oai:union.ndltd.org:ADTP/210426 |
Date | January 2007 |
Creators | Rodgers, James David, jdr@cgs.vic.edu.au |
Publisher | RMIT University. Mathematical and Geospatial Sciences |
Source Sets | Australiasian Digital Theses Program |
Language | English |
Detected Language | English |
Rights | http://www.rmit.edu.au/help/disclaimer, Copyright James David Rodgers |
Page generated in 0.0013 seconds