Die Mathe-Redaktion - 18.12.2017 07:56 - Registrieren/Login
Auswahl
ListenpunktHome
ListenpunktAktuell und Interessant ai
ListenpunktArtikelübersicht/-suche
ListenpunktAlle Links / Mathe-Links
ListenpunktFach- & Sachbücher
ListenpunktMitglieder / Karte
ListenpunktRegistrieren/Login
ListenpunktArbeitsgruppen
ListenpunktSchwätz / Top 15
ListenpunktWerde Mathe-Millionär!
ListenpunktFormeleditor fedgeo
Schwarzes Brett
Aktion im Forum
Suche
Stichwortsuche in Artikeln und Links von Matheplanet
Suchen im Forum
Suchtipps

Bücher
Englische Bücher
Software
Suchbegriffe:
Mathematik bei amazon
Naturwissenschaft & Technik
In Partnerschaft mit Amazon.de
Kontakt
Mail an Matroid
[Keine Übungsaufgaben!]
Impressum

Bitte beachten Sie unsere Nutzungsbedingungen, die Distanzierung, unsere Datenschutzerklärung und
die Forumregeln.

Sie können Mitglied werden oder den Newsletter bestellen.

Der Newsletter Okt. 2017

Für Mitglieder
Mathematisch für Anfänger
Wer ist Online
Aktuell sind 470 Gäste und 10 Mitglieder online.

Sie können Mitglied werden:
Klick hier.

Über Matheplanet
 
Mathematik: Gruppencamper brauchen Iso(morphie)matten
Freigegeben von matroid am Mi. 08. September 2004 20:02:08
Verfasst von Gockel -   14446 x gelesen [Gliederung] [Statistik] Druckbare Version Druckerfreundliche Version
Mathematik

\(\begingroup\)

 
Gruppenzwang IV



Hallo, Freunde der Gruppentheorie und -therapie!

Es soll in diesem Kapitel um die sogenannten Isomorphiesätze gehen. Diese sind besonders interessant, wenn man (Na, was wohl?) Isomorphien von Gruppen nachweisen will (Na? Wen hat's überrascht?). Sie bieten einige Hilfsmittel und grundlegende Ideen zum Suchen und Finden von Isomorphien. Wir werden einige sehr nützliche Sätze und Lemmata kennenlernen, die vielseitig einsetzbar sind und ein tiefer gehendes Verständnis der Gruppen ermöglichen.

Die Isomorphiesätze werden in Büchern und Quellen verschieden angegeben. Manchmal sind es drei, manchmal zwei Isomorphiesätze, einmal wird der Homomorphiesatz (siehe dazu das vorhergehende Kapitel der Gruppenzwang-Reihe) als erster Isomorphiesatz betitelt und einmal nicht.

Ich werde hier drei Isomorphiesätze vorstellen, von denen die ersten zwei die beiden bekanntesten Isomorphiesätze sind, während der dritte Satz selten erwähnt wird, dafür aber sehr interessant und sein Beweis vielleicht auch lehrreich ist.


 
Hilfssätze und Konventionen



fed-Code einblenden

Wir wollen jetzt noch einige nützliche und auch anderweitig verwendbare Hilfsätze über Komplexprodukte beweisen, die für unsere Beweise (insbesondere vom dritten Isomorphiesatz) benötigt werden.

fed-Code einblenden

 
Der erste Isomorphiesatz



Dieser Satz ist relativ einfach zu beweisen. Er wird in einigen Quellen auch als der zweite Isomorphiesatz bezeichnet. Das sind i.d.R. die Quellen, die den Homomorphiesatz zu den Isomorphiesätzen hinzuzählen und für diesen dann die Nummer Eins reservieren. Der Homomorphiesatz wird in jedem Fall essentiell sein für die meisten der folgenden Beweise, daher sollte man ihn zur Not im vorangegangenen Artikel noch einmal nachlesen.

Zunächst beweisen wir ein kleines, aber feines Lemma, das sich immer wieder als nützlich erweist:
fed-Code einblenden

Auch der erste Isomorphiesatz dreht sich um Teilmengen der Form UV der Gruppe. Besonders interessant ist natürlich der Fall, wo dies nicht nur eine bloße Teilmenge ist (was der Allgemeinfall wäre), sondern sogar eine Untergruppe von G. Der erste Isomorphiesatz zeigt dann, dass die eben bewiesene Gleichung für die Kardinalitäten der auftretenden Teilmengen kein bloßer arithmetischer Zufall ist, sondern von einem Isomorphismus der Gruppe herkommt:

fed-Code einblenden

Isomorphe Gruppen sind insbesondere gleich groß, d.h. es ergibt sich aus dieser Isomorphie, wie schon erwähnt, ein neuer Beweis der Gleichung aus dem vorherigen Lemma:
fed-Code einblenden
Allerdings mussten wir für die Isomorphie mehr Voraussetzungen hineinstecken nämlich, dass N ein Normalteiler von G ist. Das obige Lemma setzt ja nur die Untergruppeneigenschaft voraus.

 
Der zweite Isomorphiesatz



Der zweite Isomorphiesatz (oder auch der dritte, das hängt, wie gesagt, von der Zählweise ab) gehört zu einer Reihe von Eigenschaften, die einen sehr engen Zusammenhang zwischen der Faktorgruppe G/N und der Gruppe G herstellen und ist damit unverzichtbar für das Verständnis der Gruppentheorie.

Es stellt sich nämlich heraus, dass viele der wichtigen Eigenschaften und Strukturen von G/N denen von G "oberhalb von N" gleichen. Wir werden gleich sehen, wie das genau zu verstehen ist. Der zweite Isomorphiesatz selbst ist eine Art "Kürzungsregel" für Faktorgruppen und stellt auf diese Weise einen Zusammenhang zwischen Quotienten von G und von G/N her.

Der Satz, der diesen Zusammenhang darstellt, hat keine einheitliche Bezeichnung in der Literatur und wird auch nicht immer in einem Satz zusammengefasst dargestellt. Manchmal wird er als Korrespondenzsatz bezeichnet. So werde ich das auch handhaben:
fed-Code einblenden
Der zweite Isomorphiesatz liefert also eine "Kürzungsregel" für Gruppenquotienten und somit eine weitere Rechtfertigung für die Verwendung dieser Schreibweise.

Wenn man noch mehr gruppentheoretische Strukturen kennt, dann stellt man immer wieder fest, dass noch mehr dieser Strukturen von dieser Korrespondenz erhalten werden. So werden z.B. Konjugationsklassen von Untergruppen bijektiv aufeinander abgebildet unter dieser Korrespondenz. Allerdings gibt es auch Grenzen, so werden beispielsweise Normalisatoren erhalten, Zentralisatoren jedoch i.A. nicht.

Kommen wir nun zum Beweis des Satzes:
fed-Code einblenden

Bisher ist nicht viel gewonnen, denn 1. sagt uns nur, dass die beiden Mengen gleich viele Elemente haben. Punkt 2. sagt uns hingegen, dass auch die Inklusionsbeziehungen erhalten bleiben:
fed-Code einblenden

fed-Code einblenden

Bisher wurde immer nur über Untergruppen geredet, jetzt kümmern wir uns auch einmal um Normalteiler.
fed-Code einblenden

fed-Code einblenden


fed-Code einblenden

 
Der dritte Isomorphiesatz



Das folgende Lemma werden wir für diverse Umformungen brauchen:
fed-Code einblenden

Die Dedekind-Identität werden wir jetzt anwenden beim Beweis des dritten Isomorphiesatzes, welcher auch Schmetterlingslemma oder Zassenhaus-Lemma genannt wird:
fed-Code einblenden
Es hilft, sich die Untergruppen - es sind ja doch ein paar mehr - in einem Hasse-Diagramm (siehe Abbildung) zu veranschaulichen, um zu erkennen, was in welcher anderen Gruppe enthalten ist. Die Anordnung der Untergruppen hat dem Satz den Namen Schmetterlingslemma gegeben.



Man möge verzeihen, dass dieses Mal entgegen der Konvention die größeren Gruppen weiter unten stehen als die kleineren, aber so kommt der Schmetterling einfach besser zur Geltung.

fed-Code einblenden

 
Eine Anwendung der Isomorphiesätze



Wir wollen nun eine der unzähligen Anwendungen dieser Isomorphiesätze vorstellen. Es soll uns um folgenden Satz gehen:

fed-Code einblenden

fed-Code einblenden

fed-Code einblenden

 
Abschluss



Isomorphiesätze sind eine sehr nützliche Angelegenheit, wenn man Isomorphien von Gruppen nachweisen will. Da sich die Gruppentheorie u.a. auch lange Zeit damit beschäftigt hat, alle endlichen einfachen Gruppen zu klassifizieren, waren Isomorphieuntersuchungen natürlich unverzichtbar. Da sind die Isomorphiesätze und insbesondere der Homomorphiesatz ein sehr wichtiges Werkzeug.

Ich hoffe, ich konnte euch ein wenig für dieses Werkzeug begeistern.

fed-Code einblenden

 
Die Gruppenzwang-Reihe



Teil 1: Wir rechnen mit allem
Teil 2: Anonyme Mathematiker bieten Gruppentherapie an
Teil 3: Sensation: Homo Morphismus ist ein Gruppentier
Teil 4: Gruppencamper brauchen Iso(morphie)matten
Teil 5: Dr.Cauchy und Dr.Sylow bitte zur GruppenOP
Teil 6: Randale: Gruppendemo musste aufgelöst werden
Teil 7: Gruppen sind immer noch top!
Teil 8: Konvois auf der A20: Autos nur noch in Gruppen unterwegs
Teil 9: Unfall im Genlabor: (Per)mutationen in der Bevölkerung
Teil 10: Jäger der verlorenen Gruppe - Special Xtended Version
Teil 11: Der Gruppentheorie-Adventskranz
Teil 12: Wegen guter Führung entlassen: Gruppen sind frei
Teil 13:  Amnestie: Auch Untergruppen frei

 
Dieser Artikel ist enthalten in unserem Buch

Mathematisch für fortgeschrittene Anfänger
Mathematisch für fortgeschrittene Anfänger

\(\endgroup\)
Link auf diesen Artikel Link auf diesen Artikel  Druckbare Version Druckerfreundliche Version  Einen Freund auf diesen Artikel aufmerksam machen Weitersagen Kommentare zeigen Kommentare  
pdfpdf-Datei zum Artikel öffnen, 299 KB, vom 03.10.2006 14:28:01, bisher 6880 Downloads


Arbeitsgruppe Alexandria Dieser Artikel ist im Verzeichnis der Arbeitsgruppe Alexandria eingetragen:
: Gruppentheorie :: Algebra :: Reine Mathematik :: Mathematik :
Gruppenzwang IV: Gruppencamper brauchen Iso(morphie)matten [von Gockel]  
Die 3 Isomorphiesätze werden hier bewiesen
[Die Arbeitsgruppe Alexandria katalogisiert die Artikel auf dem Matheplaneten]

 
Verwandte Links
 
Besucherzähler 14446
 
Aufrufstatistik des Artikels
Insgesamt 1672 externe Besuche zwischen 2017.12 und 2017.12 [Anzeigen]
DomainAnzahlProz
http://matheplanet.com110.7%0.7 %
http://de.wikipedia.org112667.3%67.3 %
http://google.de40524.2%24.2 %
http://de.m.wikipedia.org623.7%3.7 %
http://de.academic.ru90.5%0.5 %
http://hu.wikipedia.org70.4%0.4 %
http://gruppentheorie.de70.4%0.4 %
http://suche.web.de30.2%0.2 %
http://de.search.yahoo.com20.1%0.1 %
http://images.google.de30.2%0.2 %
http://google.dk20.1%0.1 %
http://www.ecosia.org30.2%0.2 %
http://de.cyclopaedia.net20.1%0.1 %
http://google.com20.1%0.1 %
http://www.bing.com110.7%0.7 %
http://de.yhs4.search.yahoo.com30.2%0.2 %
http://hu.m.wikipedia.org10.1%0.1 %
http://www.searchmobileonline.com10.1%0.1 %
http://images.google.fr10.1%0.1 %
http://ecosia.org20.1%0.1 %
http://r.duckduckgo.com10.1%0.1 %
http://search.babylon.com10.1%0.1 %
http://de.dbpedia.org10.1%0.1 %
http://search.chatzum.com10.1%0.1 %
http://backlinkwatch.com10.1%0.1 %
http://www1.delta-search.com10.1%0.1 %
http://www.gruppentheorie.de10.1%0.1 %
http://de.images.search.yahoo.com10.1%0.1 %
http://start.mysearchdial.com10.1%0.1 %

Häufige Aufrufer in früheren Monaten
Insgesamt 1599 häufige Aufrufer [Anzeigen]
DatumAufrufer-URL
2012-2016 (887x)http://de.wikipedia.org/wiki/Isomorphiesatz
2012-2015 (195x)http://de.wikipedia.org/wiki/Reihe_(Gruppentheorie)
2012-2017 (171x)http://google.de/url?sa=t&rct=j&q=
2012-2015 (59x)http://de.m.wikipedia.org/wiki/Isomorphiesatz
201201-06 (53x)http://google.de/url?sa=t&rct=j&q=zweiter isomorphiesatz beweis
2012.11 (32x)http://google.de/url?sa=t&source=web&cd=29&ved=0CF4QFjAIOBQ
2012.03 (21x)http://google.de/url?sa=t&rct=j&q=beweis erster isomorphiesatz
2013.01 (15x)http://google.de/url?sa=t&rct=j&q=Gruppenzwang Isomorphiesätze
2012-2014 (15x)http://de.wikipedia.org/wiki/Isomorphiesätze
2012.10 (15x)http://google.de/url?sa=t&rct=j&q=was ist der gruppenquotient
2012.04 (14x)http://google.de/url?sa=t&rct=j&q=zwei inklusionen beweisen komplexprodukt
2012.12 (13x)http://google.de/imgres?um=1&tbo=d&biw=1024&bih=499&tbm=isch&tbnid=z0LpD1ZY8P...
2013.05 (12x)http://google.de/url?sa=t&rct=j&q=satz komplexprodukt mächtigkeit beweis
2012.05 (11x)http://google.de/url?sa=t&rct=j&q=matroid einheitswurzel gruppenzwang
2012.02 (10x)http://google.de/url?sa=t&rct=j&q=schmetterlingslemma
2013.03 (8x)http://google.de/url?sa=t&rct=j&q=zählweise einheitswurzel
2012-2013 (8x)http://de.wikipedia.org/wiki/Zweiter_Isomorphiesatz
2012-2014 (8x)http://de.wikipedia.org/wiki/Erster_Isomorphiesatz
2013.07 (8x)http://google.de/url?sa=t&rct=j&q=platonischen körper hasse diagramm
2012-2013 (7x)http://de.academic.ru/dic.nsf/dewiki/353779
2012-2015 (7x)http://hu.wikipedia.org/wiki/Izomorfizmustételek
2012-2015 (7x)http://gruppentheorie.de/
2013.04 (6x)http://google.de/imgres?um=1&sa=N&channel=fflb&biw=1166&bih=705&tbm=isch&tbni...
2012.08 (5x)http://google.de/imgres?safe=off&sa=X&channel=suggest&tbm=isch&prmd=imvnsb&tb...
2012-2013 (4x)http://de.wikipedia.org/wiki/Satz_von_Jordan-Hölder
2012.07 (4x)http://google.de/url?sa=t&rct=j&q=zassenhaus lemma proof
2013.08 (4x)http://google.de/imgres?sa=X&rlz=1Y1XIUG_deDE540DE540&tbm=isch&tbnid=z0LpD1ZY...

[Seitenanfang]

" Mathematik: Gruppencamper brauchen Iso(morphie)matten" | 5 Kommentare
 
Für den Inhalt der Kommentare sind die Verfasser verantwortlich.

Re: Gruppencamper brauchen Iso(morphie)matten
von Martin_Infinite am Fr. 10. September 2004 14:58:19

\(\begingroup\)
Hi Gockel,
 
weil ja sonst keiner seinen Senf dazugeben will wink will ich das hier mal tun. Ich hatte ja schon beim Probelesen bemerkt, wie klasse ich diesen Artikel finde smile und der Titel erst! biggrin
 
Er strahlt vor Übersichtlichkeit, durch Layout, Farben und Schrifttyp. Aber das Highlight ist (mE) dein Beweis zum 3. Isomorphiesatz. Wer von uns hätte gedacht, dass sich der Beweis schließlich doch auf nur 2 Browser-Seiten fassen lässt, und dann auch noch mit solch genialen Beweisgedanken.
 
Deine Anwendung ist nicht nur ein Zusammenspiel der Isomorphiesätze und des Homomorphiesatzes, sondern auch eine Demonstration davon, dass die Gruppentheorie nicht in ihren Formeln stecken bleiben muss, sondern auch in die Geometrie übergehen kann und dort einen Teil ihrer Bedeutung findet.
 
 Gruß
Martin
 
PS: Ist der Isomorphismus von Gockel auf Johannes kanonisch? wink\(\endgroup\)

 [Bearbeiten]

Re: Gruppencamper brauchen Iso(morphie)matten
von Zaos am Di. 28. September 2004 10:01:24

\(\begingroup\)
Hi Gockel,

sehr saubere und klare Darstellung.

Da kann sich ein ungeübter ein Beispiel nehmen, wie man den Homomorphiesatz anwendet.

Ich stimme Martin zu, vor allem seine Aussage über den Zusammenhang zwischen Geometrie und Gruppentheorie, den Du in deinen Artikeln angdeutet hast.

Gruß
Zaos\(\endgroup\)

 [Bearbeiten]

Re: Gruppencamper brauchen Iso(morphie)matten
von Martin_Infinite am Fr. 02. September 2005 19:36:27

\(\begingroup\)
Hi,
 
vielleicht noch eine Anmerkung zum 3. Isomorphiesatz:
 
Üblichere Namen sind Schmetterlingslemma smile (engl. butterfly lemma) und Zassenhaus Lemma. Siehe auch bei Mathworld und bei Wikipedia.
 
Man hat dann das folgende kommutative Diagramm:
 
Bild
 
 Gruß
Martin

\(\endgroup\)

 [Bearbeiten]

Re: Gruppencamper brauchen Iso(morphie)matten
von Gockel am Do. 16. Dezember 2010 20:15:26

\(\begingroup\)
Bemerkung:
Dieser Artikel ist Mitte Dezember 2010 durch überarbeitete und erweiterte Version ersetzt worden (nämlich die Version, die sich jetzt auch im neuen MP-Buch findet). Neu ist unter anderem der viel allgemeinere Zugang zum zweiten Isomorphiesatz. Alle Kommentare vor diesem Datum beziehen sich auf die sechs Jahre ältere Version des Artikels.

mfg Gockel.\(\endgroup\)

 [Bearbeiten]

Re: Gruppencamper brauchen Iso(morphie)matten
von Martin_Infinite am So. 16. Dezember 2012 10:33:35

\(\begingroup\)
Eine schöne Verallgemeinerung von dem, was hier der erste Isomorphiesatz genannt wurde, ist der Diamant-Isomorphiesatz für modulare Gitter.\(\endgroup\)

 [Bearbeiten]

 
All logos and trademarks in this site are property of their respective owner. The comments are property of their posters, all the rest © 2001-2017 by Matroids Matheplanet
This web site was made with PHP-Nuke, a web portal system written in PHP. PHP-Nuke is Free Software released under the GNU/GPL license.
Ich distanziere mich von rechtswidrigen oder anstößigen Inhalten, die sich trotz aufmerksamer Prüfung hinter hier verwendeten Links verbergen mögen.
Lesen Sie die Nutzungsbedingungen, die Distanzierung, die Datenschutzerklärung und das Impressum.
[Seitenanfang]