Torsion units of integral group rings

Projektinformationen

ZC

ID Finanzhilfevereinbarung: 705112

DOI

10.3030/705112

Projekt abgeschlossen

EK-Unterschriftsdatum 24 Februar 2016

Startdatum 1 Mai 2016

Enddatum 31 Oktober 2017

Finanziert unter

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Gesamtkosten

€ 118 591,20

EU-Beitrag

€ 118 591,20

Koordiniert durch

UNIVERSIDAD DE MURCIA
Spain

Periodic Reporting for period 1 - ZC (Torsion units of integral group rings)

Berichtszeitraum: 2016-05-01 bis 2017-10-31

Zusammenfassung vom Kontext und den Gesamtzielen des Projekts

The problem studied in this project was the so-called Zassenhaus Conjecture. Hans Julius Zassenhaus (1912-1991) made important contributions to algebra. Group rings were introduced in the late 19th century as a tool to study symmetries, matrices and other algebraic objects. The group ring RG of a group G over a ring R can be defined as a vector space over R where the base is given by the elements of the group G. This provides an additive structure and the multiplicative structure on RG is given by extending the multiplications on G and R and declaring elements of G and R to commute.

From the middle of the 20th century the group ring became an object of interest in itself. It can be seen as a structure joining in an elegant manner the algebraic theories on rings and group. When R=Z, the ring of integers number theory enters the picture and makes the closest connection to the group base G, since it keeps the arithmetic information which would be lost when one is allowed to divide by some primes. The first to study particularly the unit group of the integral group ring was Graham Higman in his PhD thesis in 1940 who proved that for abelian G the units of finite order in ZG are, up to sign, exactly the elements of the group base G. This gave support to a conjecture that was probably mentioned by the specialist during that years and that was publised formally by Zassenhaus in 1974. This conjecture stated that if G is a finite group then a unit of finite order in ZG should be should be conjugate in the rational group algebra, up to sign, to an element of the group base. This conjecture inspired many research carried out during the following decade and it became one of the central problems in the study of integral group rings.

The impact of mathematics on society is manifold and often comes at a later stage in a very surprising manner. For example the ideal of groups rings now play a role in cryptography, but were originally studied as an object of pure scientific interest. It is hence impossible to predict, as mostly with fundamental research, which could be the consequences and practically useful implementations of this research.

Concretely the objectives of this project were to study the Zassenhaus Conjeture for several new classes of groups, which were more concretely the class of metabelian groups and the projective special linear groups PSL(2,q). Also the project included the study of a weaker version of the Zassenhaus Conjeture, the so-called Prime Graph Question, introduced by Wolfgang Kimmerle in 2006.

Arbeit, die ab Beginn des Projekts bis zum Ende des durch den Bericht erfassten Berichtszeitraums geleistet wurde, und die wichtigsten bis dahin erzielten Ergebnisse

We were able to achieve far reaching results regarding the Zassehaus Conjecture and in the end even to give a general negative answer to the conjecture by providing a specific counterexample to it.

In a project in collaboration with Andreas Bächle (VUB, Belgium), Allen Herman and Gurmail Singh (University of Regina, Canada) and Alexander Konovalov (University of St Andrews, UK) we proved the conjecture for groups of order at most 143. We studied the conjecture for metabelian groups using ideas inspired by research of Cliff and Weiss and Hertweck to obtain the exact limits of what was possible using our methods. It then turned out that these limits correspond quite closely to the limits of the validity of the conjecture in this class of groups, as found in the research constituting the counterexample for the Zassenhaus Conjecture in collaboration with Florian Eisele (City University, London, UK).

Regarding non-solvable groups we proved the conjecture for the projective special linear groups PSL(2,p), if p is a Fermat or Mersenne prime. This was done in collaboration with the local PhD student Mariano Serrano who then continued to prove the conjecture for the special linear groups SL(2,p), for any prime p, thus obtaining more mathematical independence.

Regarding the Prime Graph Question it was studied for alternating and symmetric groups in collaboration with Andreas Bächle and Mauricio Caicedo (VUB, Belgium) and Eugenio Giannelli (Technical University, Kaiserslautern, Germany/ University of Cambridge, UK). Moreover it was studied for sporadic simple groups.

In collaboration with Ofir Schnabel (University of Stuttgart, Germany) twisted group rings were investigated and a new line of research was started.

We provide a full list of publications related to the project below. Most of them are still in the process of being peer-reviewed, but they appeared already in an OpenSource repository.

The results of this project were also at various stages presented to specialized audiences at conferences and in seminars. The experienced researcher gave 8 talks, the supervisor and his PhD student 6 talks and other collaborators of the project 7 talks. The project was presented to the general public at two occasions during the European Research Night in Murcia.



- A. Bächle, A. Herman, A. Konovalov, L. Margolis, and G. Singh, The status of the
Zassenhaus conjecture for small groups, Experimental Mathematics (2017), 6 pages,
doi:10.1080/10586458.2017.1306814.

- A. Bächle, W. Kimmerle, and L. Margolis, Algorithmic aspects of units in group
rings, to be published in a proceedings volume of the DFG priorety program 1489,
arxiv.org/abs/1612.06171 (2016), 21 pages.

- A. Bächle and L. Margolis, On the Prime Graph Question for Integral Group Rings of
4-primary groups II, preprint, arxiv.org/abs/1606.01506 (2016), 17 pages.

- A. Bächle and L. Margolis, On the prime graph question for integral group rings
of 4-primary groups I, Internat. J. Algebra Comput. 27 (2017), no. 6, 731–767.

- F. Eisele and L Margolis, A counterexample to the first zassenhaus conjecture,
2017, 32 pages.

- L. Margolis, A Theorem of Hertweck on p-adic conjugacy,
2017, 11 pages.

- L. Margolis and Á. del Río, An algorithm to construct candidates to counterexamples to the Zassenhaus Conjecture
of integral group rings, preprint, arxiv.org/abs/1710.05629 (2017), 21 pages.

- L. Margolis and Á. del Río, Cliff-Weiss inequalities and the Zassenhaus Conjecture, preprint,
arxiv.org/abs/1706.02483 (2017), 21 pages.

- L. Margolis and Á. del Río, Partial augmentations power property: A Zassenhaus Conjecture related problem,
preprint, arxiv.org/abs/1706.04787 (2017), 13 pages.

- L. Margolis, Á. del Río, and M. Serrano, Zassenhaus conjecture on torsion units holds for
PSL(2, p) with p a Fermat or Mersenne prime, preprint, arxiv.org/abs/arXiv:1608.05797 (2016), 32 pages.

- L. Margolis and O. Schnabel, Twisted group ring isomorphism problem,
2016, 22 pages.

Fortschritte, die über den aktuellen Stand der Technik hinausgehen und voraussichtliche potenzielle Auswirkungen (einschließlich der bis dato erzielten sozioökonomischen Auswirkungen und weiter gefassten gesellschaftlichen Auswirkungen des Projekts)

All work mentioned above goes beyond the state of art, mostly because a relevant conjecture that was asked formally in 1974 has been answered negatively.
The conjecture pretended to decide how are the torsion units of an integral group ring. The fact that we now know that the conjecture is false opens new possibilities for the correct answer which should be analyze in future work.
On the other hand the answer suggests ideas to to decide when the conjecture holds. This will give insize on what should be the correct answer to the main question.

By the nature of the project one cannot expect short term socio-economic and societal implications of the project but as it usually happens in mathematics the implications on long term are difficult to predict.

zassenhaus.jpeg