The torsion group of endotrivial modules. (Q2342189)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The torsion group of endotrivial modules. |
scientific article |
Statements
The torsion group of endotrivial modules. (English)
0 references
11 May 2015
0 references
Let \(k\) be an algebraically closed field of characteristic \(p>0\), and let \(G\) be a finite group with Sylow \(p\)-subgroup \(S\neq 1\). Moreover, let \(T(G)\) be the abelian group of equivalence classes of endotrivial \(kG\)-modules, and let \(K(G)\) be the kernel of the restriction map \(T(G)\to T(S)\). Whenever \(S\) is neither cyclic nor generalized quaternion nor semidihedral, \(K(G)\) is the torsion subgroup of \(T(G)\). In general, \(K(G)\) is isomorphic to the dual group of \(N/J\) where \(N=N_G(S)\) and \(J\) is the intersection of the kernels of all one-dimensional \(kN\)-modules whose Green correspondent is an endotrivial \(kG\)-module. For any nontrivial subgroup \(Q\) of \(S\), the authors define, in purely group-theoretical terms, a chain \(\varrho^1(Q)\subseteq\varrho^2(Q)\subseteq\cdots\) of subgroups of \(N_G(Q)\). Moreover, they ask whether \(J=\varrho^\infty (S):=\bigcup_{i=1}^\infty\varrho^i(S)\). Their main result shows that this is the case when \(S\) is abelian; in this case one even has \(\varrho^\infty(S)=\varrho^2(S)\). A main ingredient in the proof is \textit{P. Balmer}'s description of \(K(G)\) in terms of weak homomorphisms [J. Eur. Math. Soc. (JEMS) 15, No. 6, 2061-2079 (2013; Zbl 1291.20009)].
0 references
finite groups
0 references
Sylow subgroups
0 references
groups of endotrivial modules
0 references
Green correspondence
0 references
weak homomorphisms
0 references