Die Mathe-Redaktion - 19.10.2017 16:19 - Registrieren/Login
Auswahl
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 826 Gäste und 25 Mitglieder online.

Sie können Mitglied werden:
Klick hier.

Über Matheplanet
 
Mathematik: Konvois auf der A20: Exkurs
Freigegeben von matroid am Mi. 19. April 2006 23:33:57
Verfasst von Gockel -   1775 x gelesen [Gliederung] [Statistik] Druckbare Version Druckerfreundliche Version
Mathematik

 
Gruppenzwang VIII - Exkurs



 
Die Automorphismen der endlich erzeugten, abelschen Gruppen



Nachdem wir bereits die Automorphismen der zyklischen Gruppen untersucht haben, wollen wir uns nun auf alle endlich erzeugten, abelschen Gruppen auf einmal stürzen. Das wichtigste Werkzeug dafür bilden die beiden Zerlegungslemmata und der Struktursatz aus dem Hauptartikel, denn sie erlauben es uns, nur p-Gruppen zu betrachten. (Das heißt auch, dass p ab sofort immer eine Primzahl ist) und diese in einer handlicheren Form zu betrachten.


fed-Code einblenden

 
Freie Moduln über Zpn



fed-Code einblenden


fed-Code einblenden

Wie man nun die Mächtigkeit der allgemeinen linearen Gruppe über endlichen Körpern bestimmt, das wissen wir (z.B. aus dem Forum). Damit können wir also schon die Automorphismen solcher Gruppen zählen und haben mit der Matrixdarstellung auch eine recht handhabbare äußere Form.
Ein analoges, verallgemeinertes Verfahren kann man in meinem Notizbuch finden.

 
Allgemeine p-Gruppen


Komplizierter ist da die Situation, wenn man keine freien Moduln mehr hat:

fed-Code einblenden



Stellt man die Elemente dann als Spaltenvektoren dar, dann kann man die Endomorphismen einer solchen Gruppe als ganzzahlige Matrix notieren. Dies geht mit dem üblichen Verfahren: Wir nehmen die Vektoren der Form (...0,1,0,...)T. Diese bilden ein minimales Erzeugendsystem für die Gruppe und jedes Element kann als Linearkombination dieser Elemente dargestellt werden, die beinahe eindeutig ist.

Wir betrachten dann also die Bildvektoren und schreiben in die Matrix in die entsprechende Spalte die Koeffizienten des Bildes.
Wir erhalten immer noch mehrere Matrizen für einen Endomorphismus, da die Darstellung als Linearkombination nicht ganz eindeutig ist.

Wir wollen nun genauer untersuchen, welche ganzzahligen Matrizen wirklich Endomorphismen definieren. Da die Matrixmultiplikation die Homomorphie-Eigenschaften von vorn herein hat, ist der einzig interessante Aspekt noch die Wohldefiniertheit.

fed-Code einblenden


fed-Code einblenden

fed-Code einblenden

Der Endomorphismenring einer abelschen Gruppe ist also genau durch diesen Faktorring gegeben, bzw. er ist isomorph zu diesem.




Mit dieser Darstellung der Endomorphismen als Restklassen können wir die Automorphismen besser bestimmen.

fed-Code einblenden

Wir haben damit eine handliche Form der Endo- und Automorphismen von A gefunden. Kurzes Abzählen liefert uns auch die Anzahl der Automorphismen:
fed-Code einblenden

 
"Es wird immer noch ein wenig komplizierter."

by matroid



Mit einem Trick können wir noch allgemeinere Resultate erzielen und von den endlichen zu den endlich erzeugten abelschen Gruppen vorstoßen. Wir wollen in diesem Abschnitt folgenden Satz beweisen:

fed-Code einblenden



fed-Code einblenden

Zunächst zeigen wir:
fed-Code einblenden


fed-Code einblenden

 
Anwendungen



fed-Code einblenden


fed-Code einblenden


Link auf diesen Artikel Link auf diesen Artikel  Druckbare Version Druckerfreundliche Version  Einen Freund auf diesen Artikel aufmerksam machen Weitersagen Kommentare zeigen Kommentare  
pdfFür diesen Artikel gibt es keine pdf-Datei


Arbeitsgruppe Alexandria Dieser Artikel ist im Verzeichnis der Arbeitsgruppe Alexandria eingetragen:
: Gruppentheorie :: Reine Mathematik :: Algebra :
Gruppenzwang VIII: Konvois auf der A20: Exkurs [von Gockel]  
Gruppenzwang VIII - Exkurs
Ein ausgelagerter Satz des achten Teils der Gruppenzwangreihe, der die Automorphismengruppen endlicher und endlich erzeugter abelscher Gruppen klassifiziert.
[Die Arbeitsgruppe Alexandria katalogisiert die Artikel auf dem Matheplaneten]

 
Verwandte Links
 
Besucherzähler 1775
 
Aufrufstatistik des Artikels
Insgesamt 27 externe Besuche in 2013 [Anzeigen]
DomainAnzahlProz
http://gruppentheorie.de1244.4%44.4 %
http://google.de1451.9%51.9 %
http://www.bing.com13.7%3.7 %

Häufige Aufrufer in früheren Monaten
Insgesamt 23 häufige Aufrufer [Anzeigen]
DatumAufrufer-URL
2012-2015 (12x)http://gruppentheorie.de/
2013-2015 (6x)http://google.de/url?sa=t&rct=j&q=
2012.06 (5x)http://google.de/url?sa=t&rct=j&q=forum zeigen sie dass auch al modul über d...

[Seitenanfang]

" Mathematik: Konvois auf der A20: Exkurs" | 4 Kommentare
 
Für den Inhalt der Kommentare sind die Verfasser verantwortlich.

Re: Konvois auf der A20: Exkurs
von Martin_Infinite am So. 22. März 2009 21:55:19


siehe auch www.msri.org/people/members/chillar/files/autabeliangrps.pdf

 [Bearbeiten]

Re: Konvois auf der A20: Exkurs
von Dune am Di. 01. Januar 2013 21:00:39


Schöner Artikel! smile

Kann man die Gruppenstruktur der Automorphismen jetzt noch genau klassifizieren oder ist die Darstellung über jenen Quotientenring das Beste, was man kennt?

 [Bearbeiten]

Re: Konvois auf der A20: Exkurs
von Gockel am Mo. 21. Januar 2013 16:19:49


Was meinst du denn mit "genau klassifizieren"? Ich hab die Gruppe doch völlig explizit angegeben. Wie viel genauer willst du es denn noch wissen?

mfg Gockel.

 [Bearbeiten]

Re: Konvois auf der A20: Exkurs
von Dune am Mi. 23. Januar 2013 17:50:49


Ich wollte damit fragen, ob man diese Gruppen noch in einfachere Bestandteile zerlegen kann - etwa wie bei den Automorphismen zyklischer Gruppen.

 [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]