## [Schreier‑Verfeinerungsmethode](/de/node/62420) Definition Ein Verfahren, zwei subnormale (Unter-)Ketten von Untergruppen einer Gruppe zu verfeinern und durch Einflechten ihrer Glieder eine gemeinsame Verfeinerung zu erzeugen, um die Faktorgruppen der ursprünglichen Reihen vergleichbar zu machen. ## Prinzip Prinzip Jede Reihe wird durch Einfügen geeigneter Schnitte (Schnittmengen) und Zwischenuntergruppen verfeinert, so dass jeder Faktor einer Verfeinerung bis auf Permutation isomorph zu einem Faktor der anderen ist; die Methode nutzt Gitteridentitäten für Schnitt und Produkt von Untergruppen und die erforderliche Normalität benachbarter Faktoren. ## Demonstration Demonstration Aus zwei subnormalen Reihen einer endlichen Gruppe G werden durch Einfügen aller Schnitte der zugehörigen Glieder feinere Ketten gebildet; Schreiers Argument paart dann die aufeinanderfolgenden Faktoren der beiden verfeinerten Ketten und zeigt ihre Isomorphie, wodurch eine gemeinsame Verfeinerung entsteht, die dieselbe Multimenge von Faktortypen aufzeigt. ## Fehlanwendung Fehlanwendung Die Prozedur auf Ketten anzuwenden, die nicht subnormal sind (damit die benötigte Normalität fehlt), oder zu versäumen, zu prüfen, welche Schnitte in den entsprechenden Übergruppen normal sind, kann zu falschen Isomorphieaussagen führen. ## Konsequenz Konsequenz Man erhält einen kanonischen Vergleich der Kompositionsfaktoren zweier subnormaler Reihen; zusammen mit Jordan–Hölder-Aussagen ergibt sich die Eindeutigkeit der Faktoren bis auf Reihenfolge und Isomorphie und eine Erklärung, wie verschiedene Reihen einander verfeinern. ## Umkehrung Umkehrung Anstatt zu verfeinern (Zwischenglieder einzufügen), könnte man Ketten vergröbern, indem man Produkte oder Quotienten aufeinanderfolgender Glieder bildet; Vergröberung vernichtet Informationen über einzelne Faktoren und zerstört normalerweise die durch Verfeinerung gewährte Isomorphie-Bijektion. ## Abgrenzung Abgrenzung Gilt für Ketten von Untergruppen, bei denen die Normalitätsanforderungen an Faktoren bzw. die Subnormalität erfüllt sind; direkt anwendbar ist die Methode nicht auf beliebige Filtrationen in Nicht‑Gruppen‑Verbänden ohne analoge Normalitäts- und Schnitt/Produkt‑Identitäten. ## Semantische Spannung Semantische Spannung Wird leicht mit dem Jordan–Hölder‑Theorem verwechselt: Schreier‑Verfeinerung ist eine konstruktive Prozedur zur Erzeugung gemeinsamer Verfeinerungen, Jordan–Hölder die Unikatsaussage zu Kompositionsfaktoren; beide hängen zusammen, sind aber verschieden. ## Synthese Synthese Die Schreier‑Verfeinerungsmethode ist das systematische Einflechten von Schnitten und Zwischenuntergruppen in zwei subnormalen Reihen, so dass sich ihre Faktoren paaren und vergleichen lassen; sie liefert die operative Grundlage zur Erklärung der Stabilität der Faktortypen unter Wechsel der Reihe.