Kongruencje Reesa

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

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.