Complex algebras of semigroups

Thumbnail Image
Reich, Pamela
Major Professor
Clifford Bergman
Committee Member
Journal Title
Journal ISSN
Volume Title
Research Projects
Organizational Units
Organizational Unit
Welcome to the exciting world of mathematics at Iowa State University. From cracking codes to modeling the spread of diseases, our program offers something for everyone. With a wide range of courses and research opportunities, you will have the chance to delve deep into the world of mathematics and discover your own unique talents and interests. Whether you dream of working for a top tech company, teaching at a prestigious university, or pursuing cutting-edge research, join us and discover the limitless potential of mathematics at Iowa State University!
Journal Issue
Is Version Of

The notion of a Boolean algebra with operators (BAO) was first defined by Jonsson and Tarski in 1951. Since that time, many varieties of BAOs, including modal algebras, closure algebras, monadic algebras, and of course relation algebras, have been studied. With the exception of relation algebras, these varieties each have one unary operator. This paper investigates a variety of BAOs with one binary operator. Begin with a semigroup S = (S,·). The complex algebra of S, denoted S+, is a Boolean algebra whose underlying set is the power set of S with set union, intersection and complementation as the Boolean algebra operations. The multiplication operation defined on the semigroup induces a normal, associative binary operation, '*', on the complex algebra as follows: for all subsets A and B contained in S, A * B= a· b:a ϵ A, b ϵ B . Hence, the complex algebra of a semigroup is a BAO with one normal binary associative operator;Let S+ be the class of all complex algebras of semigroups and consider the variety generated by the class S+, denoted V(S+). The tools required to study this variety are developed, including the duality between BAOs and relational structures as it applies to V(S+). A closure operator is defined which is used to determine homomorphic images of members of V(S+). Theorems on the subdirectly irreducible and simples algebras in V(S+) are proved;Next, the structure of V(S+) is analyzed. The general problem of representing a BAO with one binary, normal, associative operator as a member of V(S+) is discussed. Several examples and theorems concerning representation are presented. It is shown that the quasivariety generated by S+ is strictly contained in V(S+). Lastly, the structure of the lattice of subvarieties of V(S+) is investigated. There are precisely two atoms in this lattice; each atom is generated by a two element algebra. Two infinite chains of varieties exist, with the smallest element in each chain a cover of exactly one atom. This leads to a discussion of certain splitting algebras and conjugate varieties. Finally, equations characterizing some important subvarieties are developed.

Subject Categories
Mon Jan 01 00:00:00 UTC 1996