Definition
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.
Prinzip
Prinzip
Die Algebra lässt sich durch ihre endlichen Quotienten approximieren: Verschiedene Elemente bleiben in einem endlichen Quotienten verschieden, sodass globale Eigenschaften oft auf endliche Prüfungen reduziert werden können.
Demonstration
Demonstration
Die unendliche zyklische Gruppe Z ist residuell endlich, weil man für jedes nichtnullte n auf Z/mZ mit m>|n| projizieren kann, sodass verschiedene ganze Zahlen verschiedene Reste liefern; allgemein sind freie Gruppen und viele endlich erzeugte lineare Gruppen residuell endlich.
Fehlanwendung
Fehlanwendung
Aus der endlichen Erzeugbarkeit oder einer endlichen Präsentation auf Residualendlichkeit zu schließen; weder endliche Erzeugbarkeit noch endliche Präsentation garantieren, dass Elemente durch endliche Quotienten trennbar sind.
Konsequenz
Konsequenz
Residualendlichkeit führt häufig zur Lösbarkeit bestimmter Wort- oder Mitgliedschaftsprobleme, ermöglicht Einbettungen in profinite Komplettierungen und gestattet den Rücktransfer von Eigenschaften aus endlichen Quotienten, wenn Trennbarkeits-Hypothesen gelten.
Umkehrung
Umkehrung
Eine nicht residuell endliche Algebra besitzt verschiedene Elemente, die sich durch keinen endlichen Quotienten trennen lassen; endliche Approximationsmethoden versagen und bestimmte algorithmische oder strukturelle Reduktionen brechen zusammen.
Abgrenzung
Abgrenzung
Die Definition setzt eine Auffassung von endlichen Algebren und Homomorphismen in der betrachteten Signatur voraus; sie schließt Approximationen durch unendliche, aber wohlgeordnete Quotienten aus und macht keine Aussage über lokale Endlichkeit oder residuelle p-Endlichkeit ohne weitere Spezifikation.
Semantische Spannung
Semantische Spannung
Nahe verwandte Begriffe sind ‚lokal endlich‘ (jede endlich erzeugte Teilalgebra ist endlich) und ‚residuell p-endlich‘ (Trennung durch Quotienten mit p-Potenzordnung); Residualendlichkeit betrifft die Trennung von Punkten durch endliche Quotienten, nicht die Größengrenzen endlich erzeugter Teilstrukturen.
Synthese
Synthese
Eine residuell endliche Algebra ist durch ihre Familie endlicher homomorpher Bilder vollständig bestimmt: Je zwei verschiedenen Elemente bleiben in mindestens einem endlichen Quotienten unterscheidbar, sodass endliche Approximation möglich ist.