The Dade group of a finite group. (Q1946086)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The Dade group of a finite group. |
scientific article |
Statements
The Dade group of a finite group. (English)
0 references
17 April 2013
0 references
Let \(kG\) be the group algebra of a finite group \(G\) over an algebraically closed field \(k\) of characteristic \(p>0\). The author introduces the Dade group \(D(G)\) of \(G\), a generalization of the well-known Dade group of a finite \(p\)-group. The elements of \(D(G)\) are equivalence classes of strongly capped endo-\(p\)-permutation \(kG\)-modules; an endo-\(p\)-permutation \(kG\)-module \(M\) is called strongly capped if \(\text{End}_k(M)\) is isomorphic to \(k\oplus N\) where \(N\) is a \(p\)-permutation \(kG\)-module all of whose indecomposable direct summands have vertices strictly contained in a Sylow \(p\)-subgroup \(P\) of \(G\). In this case \(M\) has a unique indecomposable direct summand \(\text{Cap}(M)\) with vertex \(P\), up to isomorphism, and two strongly capped endo-\(p\)-permutation \(kG\)-modules \(M,N\) are called equivalent if \(\text{Cap}(M)\) is isomorphic to \(\text{Cap}(N)\). The tensor product makes \(D(G)\) into a finitely generated Abelian group. Moreover, \(D(G)\) has a subgroup \(\Gamma(X(N_G(P)))\) coming from Green correspondents of one-dimensional \(kN_G(P)\)-modules, and a subgroup \(D^\Omega(G)\) generated by certain relative syzygies. The author proves that, in certain cases, one has \(D(G)=D^\Omega(G)+\Gamma(X(N_G(P)))\).
0 references
Dade groups
0 references
endopermutation modules
0 references
endotrivial modules
0 references
relative projectivity
0 references
relative syzygies
0 references
absolutely \(p\)-divisible modules
0 references
finite groups
0 references
group algebras
0 references
indecomposable direct summands
0 references
tensor products
0 references