Residuell Endliche Algebra

Eine Algebra, für die sich zwei verschiedene Elemente durch einen Homomorphismus auf eine endliche Algebra trennen lassen; äquivalent dazu: der Durchschnitt aller Kongruenzen endlichen Index ist die triviale Kongruenz.

Eine Algebra heißt residuell endlich, wenn für je zwei verschiedene Elemente ein Homomorphismus in eine endliche Algebra existiert, der sie trennt (ihre Bilder sind verschieden); äquivalent dazu lässt sich die Algebra in ein direktes Produkt endlicher Algebren einbetten.