Kongruencje Reesa
Wygląd
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 | edytuj kod]
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.