## [Residuell Endliche Algebra](/de/node/62454) 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.