INVARIANT SETS AND NORMAL SUBGROUPOIDS OF UNIVERSAL ÉTALE GROUPOIDS INDUCED BY CONGRUENCES OF INVERSE SEMIGROUPS

FUYUTA KOMURA
DOI: https://doi.org/10.1017/s1446788721000021
2021-04-13
Journal of the Australian Mathematical Society
Abstract:Abstract For a given inverse semigroup, one can associate an étale groupoid which is called the universal groupoid. Our motivation is studying the relation between inverse semigroups and associated étale groupoids. In this paper, we focus on congruences of inverse semigroups, which is a fundamental concept for considering quotients of inverse semigroups. We prove that a congruence of an inverse semigroup induces a closed invariant set and a normal subgroupoid of the universal groupoid. Then we show that the universal groupoid associated to a quotient inverse semigroup is described by the restriction and quotient of the original universal groupoid. Finally we compute invariant sets and normal subgroupoids induced by special congruences including abelianization.
mathematics
What problem does this paper attempt to address?