Trivial source character tables of small finite groups

  • Trivial source modules, also known as p-permutation modules, arise naturally in the representation theory of finite groups. They are the indecomposable direct summands of the permutation modules and have many interesting applications to modular representation theory. In order to do calculations with trivial source modules the ordinary characters of their lifts from positive characteristic p to characteristic zero are of particular interest. The "trivial source character tables" (also called "species tables of the trivial source ring") collect information about the character values of trivial source modules with all possible vertices, as well as those of their Brauer constructions. One of the focal points of the present thesis is the computational treatment of these tables. We develop an algorithm which computes the trivial source character tables of all finite groups for any given prime number. This algorithm is only limited by the capacity of the memory of the used computer. Implementations of this algorithm in the computer algebra systems GAP and MAGMA are given. In order to implement it in the open source system GAP, it was necessary to write a program that computes the projective indecomposable modules of a group algebra. This code is also included. The computed trivial source character tables are saved into a database. In the theoretical part of this thesis, we determine the trivial source characters of all block algebras of domestic representation type. Using this result, we work out the trivial source character tables of the infinite family D4v of dihedral groups of order 4v, where v is an odd integer, in characteristic 2. Moreover, we compute the trivial source character tables of the alternating groups A4 , A5 and the matrix groups SL2(11), PSL2(11), SL2(13), and PSL2(13) in characteristic 2 theoretically. An application of trivial source character tables is given by p-permutation equivalences, since they are induced by chain complexes consisting only of bimodules which are trivial source modules. These equivalences are connected to Broué’s abelian defect group conjecture which predicts a categorical equivalence between a block and its Brauer correspondent with isomorphic abelian defect groups. As the number of p-permutation equivalences between two blocks is always finite, it is feasable to calculate all p-permutation equivalences using computer algebra and we briefly present one possible computational approach.
  • In der Darstellungstheorie endlicher Gruppen sind sogenannte Moduln mit trivialen Quellen, auch bekannt als p-Permutationsmoduln, von weitreichendem Interesse. Moduln mit trivialen Quellen sind die unzerlegbaren direkten Summanden von Permutationsmoduln. Sie haben viele Anwendungen in der modularen Darstellungstheorie. Um mit diesen Moduln konkrete Berechnungen durchführen zu können, betrachtet man ihre "Lifts" von Charaktersitik p zu Charakteristik 0 sowie die zugehöhrigen gewöhnlichen Charaktere. Eine "Charaktertafel der Moduln mit trivialen Quellen" enthält in der ersten Blockspalte die Auswertungen der gewöhnlichen Charaktere der Moduln mit trivialen Quellen an den p- regulären Elementen. Die weiteren Blockspalten enthalten die Charakterwerte der Brauer-Konstruktionen. Eines der Hauptziele der vorliegenden Arbeit ist die computerbasierte Bestimmung dieser Charaktertafeln. Wir entwickeln einen Algorithmus zur Berechnung der Charaktertafeln der Moduln mit trivialen Quellen für beliebige endliche Gruppen und Primzahlen. Dieser Algorithmus ist nur durch die Speicherkapazität des verwendeten Computers beschränkt. Wir stellen unsere Implementierungen in den Computeralgebrasystemen GAP und MAGMA hiervon vor. Dafür war es bei dem quelloffenen Computeralgebrasystem GAP nötig, ein Programm zur Berechnung der projektiven unzerlegbaren Moduln einer Gruppenalgebra zu schreiben. Dieses ist ebenfalls Teil dieser Arbeit. Die berechneten Charaktertafeln der Moduln mit trivialen Quellen werden ferner in einer Datenbank ge- speichert. Im theoretischen Teil dieser Arbeit bestimmen wir die gewöhnlichen Charaktere der Moduln mit trivialen Quellen für alle domestizierten Blockalgebren. Dies verwenden wir, um die Charaktertafeln der Moduln mit trivialen Quellen für die unendliche Familie der Diedergruppen D4v von Ordnung 4v in Charakteristik 2 zu berechnen, wobei v eine ungerade natürliche Zahl ist. Weiterhin ermitteln wir die Charaktertafeln der Moduln mit trivialen Quellen für die alternierenden Gruppen A4 und A5 sowie für die Matrixgruppen SL2(11), PSL2(11), SL2(13) und PSL2(13) in Charakteristik 2. Eine Anwendung von Moduln mit trivialen Quellen sind sogenannte p-Permutationsäquivalenzen, welche von Kettenkomplexen induziert werden, die nur aus Bimoduln mit trivialen Quellen bestehen. Es besteht ein interessanter Zusammenhang zwischen diesen Äquivalenzen und Broués Vermutung über abelsche Defektgruppen. Diese Vermutung sagt eine kategorielle Äquivalenz zwischen einem Block und seinem Brauerkorrespondenten mit isomorphen abelschen Defektgruppen voraus. Da es immer nur endlich viele p- Permutationsäquivalenzen zwischen zwei fest gewählten Blockalgebren gibt, ist es möglich, alle p-Permutationsäquivalenzen konkret zu berechnen. Wir präsentieren einen Ansatz, wie dies mit einem Computeralgebrasystem realisiert werden kann.

Download full text files

Export metadata

Metadaten
Author:Bernhard Böhmler
URN:urn:nbn:de:hbz:386-kluedo-83568
DOI:https://doi.org/10.26204/KLUEDO/8356
Advisor:Caroline LassueurORCiD
Document Type:Doctoral Thesis
Cumulative document:No
Language of publication:English
Date of Publication (online):2024/08/27
Year of first Publication:2024
Publishing Institution:Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
Granting Institution:Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
Acceptance Date of the Thesis:2023/09/05
Date of the Publication (Server):2024/08/27
Page Number:X, 229
Faculties / Organisational entities:Kaiserslautern - Fachbereich Mathematik
DDC-Cassification:5 Naturwissenschaften und Mathematik / 510 Mathematik
MSC-Classification (mathematics):20-XX GROUP THEORY AND GENERALIZATIONS / 20Cxx Representation theory of groups [See also 19A22 (for representation rings and Burnside rings)] / 20C20 Modular representations and characters
Licence (German):Creative Commons 4.0 - Namensnennung, nicht kommerziell, keine Bearbeitung (CC BY-NC-ND 4.0)