A note on invariant transversals for normal subgroups
The existence of invariant transversals for a normal subgroup $H$ in a group $G$ is investigated. This yields counterexamples to a conjecture in case $H$ is abelian and $G$ is finite.
arXiv subjects
Publications and source records attributed to Gerhard Hiss.
The existence of invariant transversals for a normal subgroup $H$ in a group $G$ is investigated. This yields counterexamples to a conjecture in case $H$ is abelian and $G$ is finite.
We prove a conjecture of Dekimpe, De Rock and Penninckx concerning the existence of eigenvalues one in certain elements of finite groups acting irreducibly on a real vector space of odd dimension. This yields a sufficient condition for a closed flat manifold to be an $R_{\infty}$-manifold.
This series of papers is a contribution to the program of classifying $p$-blocks of finite groups up to source algebra equivalence, starting with the case of cyclic blocks. To any $p$-block $\mathbf{B}$ of a finite group with cyclic defect group $D$, Linckelmann associated an invariant $W( \mathbf{B} )$, which is an indecomposable endo-permutation module over $D$, and which, together with the Brauer tree of~$\mathbf{B} $, essentially determines its source algebra equivalence class. In Part II of our series, assuming that $p$ is an odd prime, we reduced the classification of the invariants $W( \mathbf{B} )$ arising from cyclic $p$-blocks $\mathbf{B}$ of quasisimple classical groups to the classification for cyclic $p$-blocks of quasisimple quotients of special linear or unitary groups. This objective is achieved in the present Part III.
We prove a conjecture of Dekimpe, De Rock and Penninckx concerning the existence of eigenvalues one in certain elements of finite groups acting irreducibly on a real vector space of odd dimension. This yields a sufficient condition for a closed flat manifold to be an $R_{\infty}$-manifold.
This series of papers is a contribution to the program of classifying $p$-blocks of finite groups up to source algebra equivalence, starting with the case of cyclic blocks. To any $p$-block $\mathbf{B}$ of a finite group with cyclic defect group $D$, Linckelmann associated an invariant $W( \mathbf{B} )$, which is an indecomposable endo-permutation module over $D$, and which, together with the Brauer tree of $\mathbf{B}$, essentially determines its source algebra equivalence class. In Parts II-IV of our series of papers, we classify, for odd $p$, those endo-permutation modules of cyclic $p$-groups arising from $p$-blocks of quasisimple groups. In the present Part II, we reduce the desired classification for the quasisimple classical groups of Lie type $B$, $C$, and $D$ to the corresponding objective for the general linear and unitary groups; the classification is completed for the latter groups.
Using computational methods, we determine the irreducible Brauer characters of the automorphism group of the Chevalley group F_4(2), up to one parameter and one consistency issue.
We introduce a conjecture of Dekimpe, De Rock and Penninckx and sketch some major steps in its proof. This text presents an extended account of the talk of the first author given at the conference Ischia Group Theory 2024.
We investigate the source algebra class of a p-block with cyclic defect groups of the group algebra of a finite group. By the work of Linckelmann this class is parametrized by the Brauer tree of the block together with a sign function on its vertices and an endo-permutation module of a defect group. We prove that this endo-permutation module can be read off from the character table of the group. We also prove that this module is trivial for all cyclic p-blocks of quasisimple groups with a simple quotient which is a sporadic group, an alternating group, a group of Lie type in defining characteristic, or a group of Lie type in cross-characteristic for which the prime p is large enough in a certain sense.
We verify the inductive blockwise Alperin weight condition in odd characteristic $\ell$ for the finite exceptional Chevalley groups $F_4(q)$ for $q$ not divisible by $\ell$.
If a finite quasisimple group G with simple quotient S is embedded into a suitable classical group X through the smallest degree of a projective representation of S, then the normalizer of G in X is a maximal subgroup of X, up to two series of exceptions where S is a Ree group, and four exceptions where S is sporadic.
Relying on the classification of the indecomposable liftable modules in arbitrary blocks with non-trivial cyclic defect groups we give a complete classification of the trivial source modules lying in such blocks, describing in particular their associated path on the Brauer tree of the block in the sense of Janusz (1969). The appendix contains a description of the minimal distance from an arbitrary non-projective indecomposable liftable module to the boundary of the stable Auslander-Reiten quiver of the block.
We are interested in the question of the existence of flat manifolds for which all $\mathbb R$-irreducible components of the holonomy representation are either absolutely irreducible, of complex or of quaternionic type. In the first two cases such examples are well known. But the existence of the third type of flat manifolds was unknown to the authors. In this article we construct such an example. Moreover, we present a list of finite groups for which a construction of manifolds of quaternionic type is impossible.
Using computational methods, we complete the determination of the $3$-modular character table of the Chevalley group $F_4(2)$ and its covering group.
This book describes some computational methods to deal with modular characters of finite groups. It is the theoretical background of the MOC system of the same authors. This system was, and is still used, to compute the modular character tables of sporadic simple groups.
The right conjugacy closed loops of order 2p, where p is an odd prime, are classified up to isomorphism.
This work completes the classification of the imprimitive irreducible modules, over algebraically closed fields of characteristic 0, of the finite quasisimple groups.
We show that the modular branching rule (in the sense of Harish-Chandra) on unipotent modules for finite unitary groups is piecewise described by particular connected components of the crystal graph of well-chosen Fock spaces, under favourable conditions. Besides, we give the combinatorial formula to pass from one to the other in the case of modules arising from cuspidal modules of defect 0. This partly proves a recent conjecture of Jacon and the authors.
The distribution of the unipotent modules (in non-defining prime characteristic) of the finite unitary groups into Harish-Chandra series is investigated. We formulate a series of conjectures relating this distribution with the crystal graph of an integrable module for a certain quantum group. Evidence for our conjectures is presented, as well as proofs for some of their consequences for the crystal graphs involved. In the course of our work we also generalize Harish-Chandra theory for some of the finite classical groups, and we introduce their Harish-Chandra branching graphs.