Relationships among quasivarieties induced by the min networks on inverse semigroups

Abstract: A congruence on an inverse semigroup

S

is determined uniquely by its kernel and trace. Denoting by

h o_{k}

and

h o_{t}

the least congruence on

S

having the same kernel and the same trace as

h o

, respectively, and denoting by

o m e g a

the universal congruence on

S

, we consider the sequence

o m e g a

,

o m e g a_{k}

,

o m e g a_{t}

,

(o m e g a_{k})_{t}

,

(o m e g a_{t})_{k}

,

((o m e g a_{k})_{t})_{k}

,

((o m e g a_{t})_{k})_{t}

,

c d o t s

. The quotients

S / o m e g a_{k}

,

S / o m e g a_{t}

,

S / (o m e g a_{k})_{t}

,

S / (o m e g a_{t})_{k}

,

S / ((o m e g a_{k})_{t})_{k}

,

S / ((o m e g a_{t})_{k})_{t}

,

c d o t s

, as

S

runs over all inverse semigroups, form quasivarieties. This article explores the relationships among these quasivarieties.

This page was built for publication: Relationships among quasivarieties induced by the min networks on inverse semigroups