Satz von Poincaré (Gruppentheorie)

Zu den zahlreichen Resultaten, die Henri Poincaré in verschiedenen Teilgebieten der Mathematik beigetragen hat, gehört in der Gruppentheorie ein als Satz von Poincaré bezeichneter Lehrsatz, in dem Poincaré eine grundlegende Fragestellung zu Indizes von Untergruppen behandelt.

Formulierung

Der Satz lässt sich zusammengefasst formulieren wie folgt:

Gegeben seien eine Gruppe $G$ und darin endlich viele Untergruppen $U_{1},\ldots ,U_{n}\leq G\;(n\in \mathbb {N} )$.

Dann gelten folgende Aussagen:

(i) $(G\colon \bigcap _{i=1}^{n}{U_{i}})\leq \prod _{i=1}^{n}(G\colon U_{i})$

(ii) Haben die $U_{i}\;(i=1,\ldots ,n)$ in $G$ sämtlich endlichen Index, so hat ihr Durchschnitt $\bigcap _{i=1}^{n}{U_{i}}$ selbst endlichen Index.

Anmerkungen

• Die grundlegende Abschätzung bei (i) ergibt sich unmittelbar daraus, dass für zwei Untergruppen $U_{1},U_{2}\leq G$ und $x\in G$ jede $U_{1}\cap U_{2}$-Nebenklasse die Gleichung $\left(U_{1}\cap U_{2}\right)x={U_{1}}x\cap {U_{2}}x$ erfüllt. Damit gewinnt man für den Fall $n=2$ sogleich die genannte Abschätzung, die sich dann auf den allgemeinen Fall durch vollständige Induktion ausdehnen lässt.
• Unter gewissen Bedingungen gilt oben bei (i) sogar das Gleichheitszeichen. Liegen etwa zwei Untergruppen $U_{1},U_{2}\leq G$ vor, deren Indizes in $G$ beide endlich und dabei teilerfremd sind, so gilt sogar $(G\colon U_{1}\cap U_{2})=(G\colon U_{1})\cdot (G\colon U_{2})$.

Literatur

• A. G. Kurosch: Gruppentheorie I. In deutscher Sprache herausgegeben von Dr. Reinhard Strecker (= Mathematische Lehrbücher und Monographien, I. Abteilung, Mathematische Lehrbücher. Band III/I). 2., überarbeitete und erweiterte Auflage. Akademie-Verlag, Berlin 1970 (MR0266978). 
• Kurt Meyberg: Algebra. Teil 1 (= Mathematische Grundlagen für Mathematiker, Physiker und Ingenieure.). Carl Hanser Verlag, München, Wien 1975, ISBN 3-446-11965-5 (MR0460010). 
• Hans Schwerdtfeger: Introduction to Group Theory. Noordhoff International Publishing, Leyden 1976, ISBN 90-286-0495-2 (MR0435190).