Source author record

Andreas Bächle

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.RT math.GR math.RA math.NT

Catalog footprint

Research overview

11works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2021arXiv

Abelianization and fixed point properties of units in integral group rings

Let $G$ be a finite group and $\mathcal{U} (\mathbb{Z} G)$ the unit group of the integral group ring $\mathbb{Z} G$ . We prove a unit theorem, namely a characterization of when $\mathcal{U}(\mathbb{Z}G)$ satisfies Kazhdan's property $(\operatorname{T})$ , both in terms of the finite group $G$ and in terms of the simple components of the semisimple algebra $\mathbb{Q}G$ . Furthermore, it is shown that for $\mathcal{U}( \mathbb{Z} G)$ this property is equivalent to the weaker property $\operatorname{FAb}$ (i.e. every subgroup of finite index has finite abelianization), and in particular also to a hereditary version of Serre's property $\operatorname{FA}$ , denoted $\operatorname{HFA}$ . More precisely, it is described when all subgroups of finite index in $\mathcal{U} (\mathbb{Z} G)$ have both finite abelianization and are not a non-trivial amalgamated product. A crucial step for this is a reduction to arithmetic groups $\operatorname{SL}_n(\mathcal{O})$ , where $\mathcal{O}$ is an order in a finite dimensional semisimple $\mathbb{Q}$ -algebra $D$ , and finite groups $G$ which have the so-called cut property. For such groups $G$ we describe the simple epimorphic images of $\mathbb{Q} G$ . The proof of the unit theorem fundamentally relies on fixed point properties and the abelianization of the elementary subgroups $\operatorname{E}_n(D)$ of $\operatorname{SL}_n(D)$ . These groups are well understood except in the degenerate case of lower rank, i.e.\ for $\operatorname{SL}_2(\mathcal{O})$ with $\mathcal{O}$ an order in a division algebra $D$ with a finite number of units. In this setting we determine Serre's property \FA for $\operatorname{E}_2(\mathcal{O})$ and its subgroups of finite index. We construct a generic and computable exact sequence describing its abelianization, affording a closed formula for its $\mathbb{Z}$ -rank.

preprint2020arXiv

3 questions on cut groups

This short note collects three open questions on cut groups (a class of groups generalizing rational groups).

preprint2020arXiv

A dichotomy for integral group rings via higher modular groups as amalgamated products

We show that $\mathcal{U}(\mathbb{Z}G)$ , the unit group of the integral group ring $\mathbb{Z} G$ , either satisfies Kazhdan's property (T) or is, up to commensurability, a non-trivial amalgamated product, in case $G$ is a finite group satisfying some mild conditions. Crucial in the proof is the construction of amalgamated decompositions of the elementary group $\operatorname{E}_2(\mathcal{O})$ , where $\mathcal{O}$ is an order in a rational division algebra. A major step is to introduce subgroups $\operatorname{E}_2(Γ_n(\mathbb{Z}))$ inside the so-called higher modular groups $\operatorname{SL}_+(Γ_n(\mathbb{Z}))$ , which are discrete subgroups of certain $2 \times 2$ matrix groups with entries in a Clifford algebra. The groups $\operatorname{E}_2(Γ_n(\mathbb{Z}))$ mimic the elementary groups in linear groups over rings. We prove that $\operatorname{E}_2(Γ_n(\mathbb{Z}))$ has in general a non-trivial decomposition as a free product with amalgamated subgroup $\operatorname{E}_2(Γ_{n-1}(\mathbb{Z}))$ . From this we obtain that also the higher modular groups do have a very clearly structured amalgam decompositions in low dimensions.

preprint2020arXiv

From examples to methods: Two cases from the study of units in integral group rings

In this article, we review the proofs of the first Zassenhaus Conjecture on conjugacy of torsion units in integral group rings for the alternating groups of degree 5 and 6, by Luthar-Passi and Hertweck. We describe how the study of these examples led to the development of two methods -- the HeLP method and the lattice method. We exhibit these methods and summarize some results which were achieved using them. We then apply these methods to the study of the first Zassenhaus conjecture for the alternating group of degree 7 where only one critical case remains open for a full answer. Along the way we show in examples how recently obtained results can be combined with the methods presented and collect open problems some of which could be attacked using these methods.

preprint2019arXiv

An application of blocks to torsion units in group rings

We use the theory of blocks of cyclic defect to prove that under a certain condition on the principal p-block of a finite group G the normalized unit group of the integral group ring of G contains an element of order pq if and only if so does G, for q a prime different from p. Using this we verify the Prime Graph Question for all alternating and symmetric groups and also for two sporadic simple groups.

preprint2019arXiv

Orders generated by character values

Let $K:=\mathbb{Q}(G)$ be the number field generated by the complex character values of a finite group $G$ . Let $\mathbb{Z}_K$ be the ring of integers of $K$ . In this paper we investigate the suborder $\mathbb{Z}[G]$ of $\mathbb{Z}_K$ generated by the character values of $G$ . We prove that every prime divisor of the order of the finite abelian group $\mathbb{Z}_K/\mathbb{Z}[G]$ divides $|G|$ . Moreover, if $G$ is nilpotent, we show that the exponent of $\mathbb{Z}_K/\mathbb{Z}[G]$ is a proper divisor of $|G|$ unless $G=1$ . We conjecture that this holds for arbitrary finite groups $G$ .

preprint2018arXiv

On the Prime Graph Question for Integral Group Rings of 4-primary groups II

In this article the study of the Prime Graph Question for the integral group ring of almost simple groups which have an order divisible by exactly $4$ different primes is continued. We provide more details on the recently developed "lattice method" which involves the calculation of Littlewood-Richardson coefficients. We apply the method obtaining results complementary to those previously obtained using the HeLP-method. In particular the "lattice method" is applied to infinite series of groups for the first time. We also prove the Zassenhaus Conjecture for four more simple groups. Furthermore we show that the Prime Graph Question has a positive answer around the vertex $3$ provided the Sylow $3$ -subgroup is of order $3$ .

preprint2016arXiv

Algorithmic aspects of units in group rings

We describe the main questions connected to torsion subgroups in the unit group of integral group rings of finite groups and algorithmic methods to attack these questions. We then prove the Zassenhaus Conjecture for Amitsur groups and prove that any normalized torsion subgroup in the unit group of an integral group of a Frobenius complement is isomorphic to a subgroup of the group base. Moreover we study the orders of torsion units in integral group rings of finite almost quasisimple groups and the existence of torsion-free normal subgroups of finite index in the unit group.

preprint2015arXiv

A classification of exceptional components in group algebras over abelian number fields

When considering the unit group of $\mathcal{O}_F G$ ( $\mathcal{O}_F$ the ring of integers of an abelian number field $F$ and a finite group $G$ ) certain components in the Wedderburn decomposition of $FG$ cause problems for known generic constructions of units; these components are called exceptional. Exceptional components are divided into two types: type 1 are division rings, type 2 are $2 \times 2$ -matrix rings. For exceptional components of type 1 we provide infinite classes of division rings by describing the seven cases of minimal groups (w.r.t. quotients) having those division rings in their Wedderburn decomposition over $F$ . We also classify the exceptional components of type 2 appearing in group algebras of a finite group over number fields $F$ by describing all 58 finite groups $G$ having a faithful exceptional Wedderburn component of this type in $FG$ .

preprint2015arXiv

Torsion subgroups in the units of the integral group ring of PSL(2,p^3)

We show that for every prime $r$ all $r$ -subgroups in the normalized units of the integral group ring of $\operatorname{PSL}(2,p^3)$ are isomorphic to subgroups of $\operatorname{PSL}(2,p^3)$ . This answers a question of M. Hertweck, C.R. Höfert and W. Kimmerle for this series of groups.

preprint2014arXiv

Rational conjugacy of torsion units in integral group rings of non-solvable groups

We introduce a new method to study rational conjugacy of torsion units in integral group rings using integral and modular representation theory. Employing this new method, we verify the first Zassenhaus Conjecture for the group $\operatorname{PSL}(2,19)$ . We also prove the Zassenhaus Conjecture for $\operatorname{PSL}(2,23)$ . In a second application we show that there are no normalized units of order $6$ in the integral group rings of $M_{10}$ and $\operatorname{PGL}(2,9)$ . This completes the proof of a theorem of W. Kimmerle and A. Konovalov that the Prime Graph Question has an affirmative answer for all groups having an order divisible by at most three different primes.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Andreas Bächle

Research overview

Is this your work?

11 publications

Abelianization and fixed point properties of units in integral group rings

3 questions on cut groups

A dichotomy for integral group rings via higher modular groups as amalgamated products

From examples to methods: Two cases from the study of units in integral group rings

An application of blocks to torsion units in group rings

Orders generated by character values

On the Prime Graph Question for Integral Group Rings of 4-primary groups II

Algorithmic aspects of units in group rings

A classification of exceptional components in group algebras over abelian number fields

Torsion subgroups in the units of the integral group ring of PSL(2,p^3)

Rational conjugacy of torsion units in integral group rings of non-solvable groups

See the researcher in context

Building this map preview