Pseudocomplements in groupoids

Abstract

AbstractThis paper is devoted to a study of pseudocomplements in groupoids. A characterization of an intraregular groupoid is obtained in terms of prime ideals. It is proved that the set of dense elements of an intraregular groupoid S with 0 is the intersection of all the maximal filters of S and that the set of normal elements of an intraregular groupoid closed for pseudocomplements forms a Boolean algebra under natural operations. It is shown that the pseudocomplement of an ideal of an intraregular groupoid with 0 is the intersection of all the minimal prime ideas not containing it.