Return to search

On Double Inverse Semigroups

A double semigroup is a set equipped with two associative binary operations satisfying the middle-four interchange law. A double inverse semigroup is a double semigroup in which both operations are inverse semigroup operations. It is shown by Kock (2007) that all double inverse semigroups must be commutative. In this thesis, we define the notion of a double inductive groupoid which admits both a construction of double inverse semigroups given any double inductive groupoid, and vice-versa. These constructions are functorial and induce an isomorphism of categories between the category of double inductive groupoids with inductive functors and double inverse semigroups with double semigroup homomorphisms. By a further investigation of double inverse semigroups, we are able to show that the two operations of any double inverse semigroups must coincide and thus double inverse semigroups are commutative inverse semigroups.

Identiferoai:union.ndltd.org:LACETR/oai:collectionscanada.gc.ca:NSHD.ca#10222/35448
Date08 August 2013
CreatorsDeWolf, Darien
Source SetsLibrary and Archives Canada ETDs Repository / Centre d'archives des thèses électroniques de Bibliothèque et Archives Canada
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.0019 seconds