Konkrete Charaktertafeln und kompatible Charaktere

Vorlesungen aus dem Fachbereich Mathematik der Universität Essen ; 30

Dateibereich 10569

2,01 MB in 6 Dateien, zuletzt geändert am 09.04.2004

Dateiliste / Details

DateiDateien geändert amGröße
ccs.gap31.01.2002 00:00:0036 KB
ccs.mag31.01.2002 00:00:0042 KB
diss.pdf23.01.2002 00:00:001,88 MB
gnugpl.txt31.01.2002 00:00:0017,6 KB
_index.htm31.01.2002 00:00:003,4 KB
scp.mag31.01.2002 00:00:0028,5 KB

Dateibereich 10570

1,60 MB in 5 Dateien, zuletzt geändert am 09.04.2004

Dateiliste / Details

DateiDateien geändert amGröße
ccs.gap31.01.2002 00:00:0036 KB
ccs.mag31.01.2002 00:00:0042 KB
diss.ps23.01.2002 00:00:001,48 MB
gnugpl.txt31.01.2002 00:00:0017,6 KB
scp.mag31.01.2002 00:00:0028,5 KB

Dateibereich 10571

889,7 KB in 11 Dateien, zuletzt geändert am 09.04.2004

Dateiliste / Details

DateiDateien geändert amGröße
abstract.txt23.01.2002 00:00:003,3 KB
ccs.gap23.01.2002 00:00:0036 KB
ccs.mag23.01.2002 00:00:0042 KB
clgraph.eps23.01.2002 00:00:008 KB
diss.dvi23.01.2002 00:00:00570 KB
gnugpl.txt23.01.2002 00:00:0017,6 KB
keywords.txt23.01.2002 00:00:00373 Bytes
ktrees.eps23.01.2002 00:00:0012,1 KB
myru_ct.eps23.01.2002 00:00:00160,5 KB
scp.mag23.01.2002 00:00:0028,5 KB
wordtree.eps23.01.2002 00:00:0011,2 KB
Sämtliche der in Kapitel 3 und 4 entwickelten Verfahren wurden vom Autor in den systemeigenen Sprachen gängiger Computeralgebrapakete - GAP4 oder / und MAGMA - implementiert und getestet. Die entsprechenden Funktionen und Prozeduren sind gemäß den Richtlinien der GNU General Public License (Version 2, Juni 1991) frei verfügbar und stehen in Form der drei Dateien ccs.gap (c_onjugacy c_lass s_ystems unter GAP4), ccs.mag (c_onjugacy c_lass s_ystems unter MAGMA), scp.mag (s_earch c_ompatible p_airs unter MAGMA) jeweils im ASCII-Format zum Download bereit (siehe unter "Details"). (Anm.: Unter Win xx: die txt-, gap-, und mag-Dateien am besten mit WordPad öffnen!)
Im Bezug auf ihr Hauptergebnis, einen neuen EXISTENZBEWEIS FÜR DIE RUDVALIS-GRUPPE, lässt sich die vorliegende Arbeit als Beitrag zur Revision der Literatur über die sporadischen einfachen Gruppen verstehen. Tatsächlich würde eine derartige Einordnung mehr als die Hälfte des Inhalts thematisch unterschlagen; genau diesem Effekt entgegenwirken soll der alles andere als direkt auf das Klassifikationsprojekt der einfachen endlichen Gruppen hinweisende Titel "Konkrete Charakter- tafeln und kompatible Charaktere". Kapitel 2 beschreibt einen Algorithmus von Gerhard O. Michler, welcher prinzipiell die Möglichkeit der uniformen Konstruktion aller 26 be- kannten und laut Klassifikationssatz einzigen sporadischen einfachen Gruppen in sich birgt. Von zwei Gruppen G und H mit isomorphen Untergruppen U <= G und V <= H ist dabei an einem gewissen Punkt zu entscheiden, ob sie innerhalb einer gemeinsamen Obergruppe mit zu U bzw. zu V isomorphem Schnitt auftreten können. Eine darstellungstheoretische Umformulierung dieser Frage führt auf den allgemeinen Begriff der KOMPATIBILITÄT ZWISCHEN CHARAKTEREN zweier verschiedener Gruppen. Wie sich herausstellt, reicht es für einen Test auf Kompatibilität aber nicht aus, Charaktere als von der ihnen zugrunde liegenden Gruppe losgelöste, abstrakte mathematische Objekte aufzufassen. Wesentliche Faktoren sind vielmehr die konsistente Identifikation der irreduziblen Charaktere von U mit denen von V sowie die Fusion der Konjugierten- klassen von U in G bzw. von V in H. Kapitel 3 behandelt Konzepte und Methoden, um eine einmal bestimmte KONKRETE CHARAKTERTAFEL durch die Bindung an ein lexikographisch standardisiertes Repräsentantensystem für die Konjugiertenklassen der jeweiligen Gruppe G problemlos auf isomorphe Kopien von G übertragen zu können und die funktionelle Verbindung zwischen Tafel und Gruppe unabhängig von der verwendeten Computeralgebra-Software dauerhaft zu fixieren. Die mit Abstand effizienteste Strategie bei der SUCHE NACH ALLEN PAAREN kompatibler Charaktere, deren Grad eine gegebene Schranke nicht übersteigt, ist ohne Zweifel ihre planmäßige Konstruktion aus irredu- ziblen Bestandteilen. Da sich dieses Vorhaben jedoch als echte kombinatorische Herausforde- rung erweist, wird in Kapitel 4 zunächst ein graphentheoretisches Mo- dell des Kompatibilitätsbegriffs kreiert, welches die ursprünglich rein verbale Aufgabenstellung einer formalen Spezifikation zugänglich macht und obendrein auch noch den adäquaten Lösungsweg aufzeigt: einen Backtracking-Algorithmus. Sämtliche der in Kapitel 3 und 4 entwickelten Verfahren wurden vom Autor in den systemeigenen Sprachen gängiger Computeralgebrapakete --- GAP4 oder/und MAGMA --- implementiert und getestet. Die entsprechenden Funktionen und Prozeduren sind gemäß den Richtlinien der GNU General Public License (Version 2, Jun 1991) frei verfügbar und stehen in Form der drei Dateien ccs.gap (c_onjugacy c_lass s_ystems unter GAP4), ccs.mag (c_onjugacy c_lass s_ystems unter MAGMA), scp.mag (s_earch c_ompatible p_airs unter MAGMA) jeweils im ASCII-Format zum Download bereit. Ein komplexes ANWENDUNGSBEISPIEL dokumentiert schließlich Kapitel 5 mit dem schon erwähnten Existenzbeweis für die Rudvalis-Gruppe.
Lesezeichen:
Permalink | Teilen/Speichern
Dokumententyp:
Wissenschaftliche Abschlussarbeiten » Dissertation
Fakultät / Institut:
Fakultät für Mathematik
Zentrale wissenschaftliche Einrichtungen » Institut für Experimentelle Mathematik (IEM) Essen
Dewey Dezimal-Klassifikation:
500 Naturwissenschaften und Mathematik » 510 Mathematik
Stichwörter:
Charakter, Charaktertafel, Charaktertheorie, Darstellung, Darstellungstheorie, Existenz, Existenzbeweis, GAP, Gruppentheorie, kompatibel, kompatible Charaktere, kompatible Paare, Kompatibilität, Konjugiertenklassen, konkret, konkrete Charaktertafel, MAGMA, Michler-Algorithmus, Rudvalisgruppe, Rudvalis-Gruppe, sporadisch, Standardrepraesentanten, Standardrepraesentantensystem, Vernetzungsgraph
Sprache:
Deutsch
Kollektion / Status:
Dissertationen / Dokument veröffentlicht
Datum der Promotion:
22.10.2001
Dokument erstellt am:
22.10.2001
Promotionsantrag am:
11.12.2000
Dateien geändert am:
22.10.2001
Medientyp:
Text