Kongruencje Reesa

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.

DefinicjaEdytuj

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.