Searcharxiv⌕ Search

arXiv subjects

Leo Margolis

Publications and source records attributed to Leo Margolis.

35 records · Page 2Linked to original sources
arXiv2018

Partial Augmentations Power property: A Zassenhaus Conjecture related problem

Zassenhaus conjectured that any unit of finite order in the integral group ring $\mathbb{Z}G$ of a finite group $G$ is conjugate in the rational group algebra of $G$ to an element in $\pm G$. We review the known weaker versions of this conjecture and introduce a new condition, on the partial augmentations of the powers of a unit of finite order in $\mathbb{Z}G$, which is weaker than the Zassenhaus Conjecture but stronger than its other weaker versions. We prove that this condition is satisfied for units mapping to the identity modulo a nilpotent normal subgroup of $G$. Moreover, we show that if the condition holds then the HeLP Method adopts a more friendly form and use this to prove the Zassenhaus Conjecture for a special class of groups.

math.RA↗
arXiv2018

Zassenhaus Conjecture on torsion units holds for $\operatorname{PSL}(2,p)$ with $p$ a Fermat or Mersenne prime

H.J. Zassenhaus conjectured that any unit of finite order in the integral group ring $\mathbb{Z}G$ of a finite group $G$ is conjugate in the rational group algebra $\mathbb{Q}G$ to an element of the form $\pm g$ with $g \in G$. Though known for some series of solvable groups, the conjecture has been proved only for thirteen non-abelian simple groups. We prove the Zassenhaus Conjecture for the groups $\operatorname{PSL}(2,p)$, where $p$ is a Fermat or Mersenne prime. This increases the list of non-abelian simple groups for which the conjecture is known by probably infinitely many, but at least by 49, groups. Our result is an easy consequence of known results and our main theorem which states that the Zassenhaus Conjecture holds for a unit in $\mathbb{Z}\operatorname{PSL}(2,q)$ of order coprime with $2q$, for some prime power $q$.

math.RA↗
arXiv2018

The Herzog-Schönheim Conjecture for small groups and harmonic subgroups

We prove that the Herzog-Schönheim Conjecture holds for any group $G$ of order smaller than $1440$. In other words we show that in any non-trivial coset partition $\{g_i U_i\}_{i=1}^n $ of $G$ there exist distinct $1 \leq i, j \leq n$ such that $[G:U_i]=[G:U_j]$. We also study interaction between the indices of subgroups having cosets with pairwise trivial intersection and harmonic integers. We prove that if $U_1$,...,$U_n$ are subgroups of $G$ which have pairwise trivially intersecting cosets and $n \leq 4$ then $[G:U_1]$,...,$[G:U_n]$ are harmonic integers.

math.GR↗
arXiv2018

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$.

math.RT↗
arXiv2017

An algorithm to construct candidates to counterexamples to the Zassenhaus Conjecture

Let $G$ be a finite group, $N$ a nilpotent normal subgroup of $G$ and let $\mathrm{V}(\mathbb{\Z} G, N)$ denote the group formed by the units of the integral group ring $\mathbb{\Z} G$ of $G$ which map to the identity under the natural homomorphism $\mathbb{\Z} G \rightarrow \mathbb{\Z} (G/N)$. Sehgal asked whether any torsion element of $\mathrm{V}(\mathbb{\Z} G, N)$ is conjugate in the rational group algebra of $G$ to an element of $G$. This is a special case of the Zassenhaus Conjecture. By results of Cliff and Weiss and Hertweck, Sehgal's Problem has a positive solution if $N$ has at most one non-cyclic Sylow subgroup. We present some algorithms to study Sehgal's Problem when $N$ has at most one non-abelian Sylow subgroup. They are based on the Cliff-Weiss inequalities introduced by the authors in a previous paper. With the help of these algorithms we obtain some positive answers to Sehgal's Problem and use them to show that for units in $\mathrm{V}(\mathbb{\Z} G,N)$ our method is strictly stronger than the well known HeLP Method. We then present a method to use the output of one of the algorithms to construct explicit metabelian groups which are candidates to a negative solution to Sehgal's Problem. Recently Eisele and Margolis showed that some of the examples proposed in this paper are indeed counterexamples to the Zassenhaus Conjecture. These are the first known counterexamples. Moreover, we prove that every metabelian negative solution of Sehgal's Problem satisfying some minimal conditions is given by our construction.

math.RA↗
arXiv2017

A Counterexample to the First Zassenhaus Conjecture

Hans J. Zassenhaus conjectured that for any unit $u$ of finite order in the integral group ring of a finite group $G$ there exists a unit $a$ in the rational group algebra of $G$ such that $a^{-1}\cdot u \cdot a=\pm g$ for some $g\in G$. We disprove this conjecture by first proving general results that help identify counterexamples and then providing an infinite number of examples where these results apply. Our smallest example is a metabelian group of order $2^7 \cdot 3^2 \cdot 5 \cdot 7^2 \cdot 19^2$ whose integral group ring contains a unit of order $7 \cdot 19$ which, in the rational group algebra, is not conjugate to any element of the form $\pm g$.

math.RA↗
arXiv2017

Cliff-Weiss Inequalities and the Zassenhaus Conjecture

Let $N$ be a nilpotent normal subgroup of the finite group $G$. Assume that $u$ is a unit of finite order in the integral group ring $\mathbb{Z} G$ of $G$ which maps to the identity under the linear extension of the natural homomorphism $G \rightarrow G/N$. We show how a result of Cliff and Weiss can be used to derive linear inequalities on the partial augmentations of $u$ and apply this to the study of the Zassenhaus Conjecture. This conjecture states that any unit of finite order in $\mathbb{Z} G$ is conjugate in the rational group algebra of $G$ to an element in $\pm G$.

math.GR↗
arXiv2017

A theorem of Hertweck on $p$-adic conjugacy of $p$-torsion units in group rings

A proof of a theorem of M. Hertweck presented during a seminar in January 2013 in Stuttgart is given. The proof is based on a preprint given to me by Hertweck. Let $R$ be a commutative ring, $G$ a finite group, $N$ a normal $p$-subgroup of $G$ and denote by $RG$ the group ring of $G$ over $R$. It is shown that a torsion unit $u$ in $\mathbb{Z}G$ mapping to the identity under the natural homomorphism $\mathbb{Z}G \rightarrow \mathbb{Z}G/N$ is conjugate in the unit group of $\mathbb{Z}_pG$ to an element in $N$. Here $\mathbb{Z}_p$ denotes the $p$-adic integers. The result is achieved proving a result in the context of the so-called double action formalism for group rings over $p$-adic rings. This widely generalizes a theorem of Hertweck and a related theorem by Caicedo-Margolis-del Río and has consequences for the study of the Zassenhaus Conjecture for integral group rings.

math.RA↗
arXiv2016

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.

math.RT↗
arXiv2016

The status of the Zassenhaus conjecture for small groups

We identify all small groups of order up to 288 in the GAP Library for which the Zassenhaus conjecture on rational conjugacy of units of finite order in the integral group ring cannot be established by an existing method. The groups must first survive all theoretical sieves and all known restrictions on partial augmentations (the HeLP$^+$ method). Then two new computational methods for verifying the Zassenhaus conjecture are applied to the unresolved cases, which we call the quotient method and the partially central unit construction method. To the cases that remain we attempt an assortment of special arguments available for units of certain orders and the lattice method. In the end, the Zassenhaus conjecture is verified for all groups of order less than 144 and we give a list of all remaining cases among groups of orders 144 to 287.

math.RA↗
arXiv2016

Subgroup Isomorphism Problem for Units of Integral Group Rings

The Subgroup Isomorphism Problem for Integral Group Rings asks for which finite groups U it is true that if U is isomorphic to a subgroup of V(ZG), the group of normalized units of the integral group ring of the finite group G, it must be isomorphic to a subgroup of G. The smallest groups known not to satisfy this property are the counterexamples to the Isomorphism Problem constructed by M. Hertweck. However the only groups known to satisfy it are cyclic groups of prime power order and elementary-abelian p-groups of rank 2. We prove the Subgroup Isomorphism Problem for C_4 x C_2. Moreover we prove that if the Sylow 2-subgroup of G is a dihedral group, any 2-subgroup of V(ZG) is isomorphic to a subgroup of G.

math.RA↗
arXiv2016

$p$-subgroups of units in $\mathbb{Z}G$

We consider the question whether a Sylow like theorem is valid in the normalized units of integral group rings of finite groups. After a short survey on the known results we show that this is the case for integral group rings of Frobenius groups. This completes work of M.A. Dokuchaev, S.O. Juriaans and V. Bovdi and M. Hertweck. We analyze projective linear simple groups and show what can be achieved for p-subgroups with known methods.

math.RA↗
arXiv2015

A Sylow theorem for the integral group ring of PSL(2,q)

For G = PSL(2,p^f) denote by ZG the integral group ring, by V(ZG) the group of normalized units of ZG and let r be a prime different from p. Using the so called HeLP-method we prove, that units of r-power order in V(ZG) are rationally conjugate to elements of G. As a consequence we prove, that subgroups of prime power order in V(ZG) are rationally conjugate to subgroups of G, provided p = 2 or f =1.

math.RA↗
arXiv2015

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.

math.GR↗
arXiv2014

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.

math.RT↗
arXiv2012

Zassenhaus conjecture for cyclic-by-abelian groups

Zassenhaus Conjecture for torsion units states that every augmentation one torsion unit of the integral group ring of a finite group G is conjugate to an element of G in the units of rational group algebra QG. This conjecture has been proved for nilpotent groups, metacyclic groups and some other families of groups. We prove the conjecture for cyclic-by-abelian groups.

math.RT↗