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.

Prinzip

Residualität nach der Endlichkeit bedeutet Trennbarkeit durch endliche Quotienten: der Durchschnitt aller Kongruenzen endlichen Index ist die Identitätskongruenz, sodass Elemente durch Abbildungen in endliche Faktoralgebren unterschieden werden können.

Demonstration

Beispiel: Die unendliche zyklische Gruppe Z ist residuell endlich, denn zu einem nicht‑nullen n findet man m mit Projektion Z→Z/mZ, die n vom Neutralen trennt; freie Gruppen und viele lineare Gruppen sind klassische Beispiele residuell endlicher Strukturen.

Fehlanwendung

Residuell endlich mit endlich zu verwechseln (eine residuell endliche Algebra muss nicht endlich sein), oder mit lokaler Endlichkeit zu verwechseln, oder anzunehmen, sie ließe sich in eine einzelne endliche Algebra einbetten statt in ein Produkt endlicher Algebren.

Konsequenz

Residuale Endlichkeit ermöglicht oft Approximation durch endliche Strukturen, Einbettung in profinite Komplettierungen und kann Entscheidbarkeitsfolgen haben (z. B. löst vielerorts das Wortproblem in Gruppen); sie schränkt zudem das Verhalten von Kongruenzen und Quotienten ein.

Umkehrung

Das Gegenteil ist eine Algebra ohne nichttriviale endliche Quotienten (oder in der verschiedene Elemente nicht durch endliche Quotienten getrennt werden können); eine solche Algebra ist nicht residuell endlich — gewisse unendliche einfache Strukturen oder Torsionsphänomene können die Residualität verhindern.

Abgrenzung

Die Definition setzt das Vorhandensein endlicher Quotienten voraus und ist nur für Signaturen und Klassen sinnvoll, in denen endliche homomorphe Bilder existieren; residuale Endlichkeit garantiert keine effektive Trennbarkeit in algorithmischer Hinsicht und impliziert nicht andere Endlichkeitsbedingungen wie lokale Endlichkeit oder endliche Erzeugbarkeit.

Semantische Spannung

Spannung zwischen residualer Endlichkeit und anderen endlichen Approximationen wie LEF (lokal in endliche Strukturen einbettbar) oder Sofizität: Diese Begriffe hängen zusammen, unterscheiden sich jedoch in Quantifikation und Ziel (Einbettungen vs. homomorphe Trennungen), weshalb klar zu unterscheiden ist, welche Form der Annäherung gemeint ist.

Synthese

Eine residuell endliche Algebra ist genau eine, deren verschiedene Elemente durch Abbildungen in endliche Algebren erkannt werden können; äquivalent dazu lässt sie sich in ein Produkt endlicher Faktoren einbetten, was endliche Approximationen, profinite Komplettierungen und algorithmische Folgen ermöglicht.