Kongruencje Reesa

typ relacji binarnej w półgrupie zdefiniowany ideałami

Kongruencje Reesa – rodzaj kongruencji w teorii półgrup. Nazwa pochodzi od nazwiska Davida Reesa. Kongruencje Reesa zadawane są przez ideały półgrupy, podobnie jak kongruencje w pierścieniach. Jednak nie wszystkie kongruencje w półgrupach są kongruencjami Reesa.

Definicja edytuj

Niech   będzie półgrupą, a   jej ideałem. Konguencją Reesa zadaną przez   jest

 

Homomorfizm   jest homomorfizmem Reesa, jeżeli jądro   jest kongruencją Reesa.