Complexity and elementary Abelian p-groups
Let G be a finite group and k a field of characteristic \(p>0\). If M is a finitely generated kG-module and \(...\to P_ m\to P_{m-1}\to...\to P_ 0\to M\to 0\) a minimal projective resolution of M, then the complexity, \(c_ G(M)\), of M is the least integer \(s\geq 0\) such that \(\lim_{m\to \infty}\dim_ kP_ m/m^ s=0.\) \textit{J. L. Alperin} and \textit{L. Evens} [in J. Pure Appl. Algebra 22, 1-9 (1981; Zbl 0469.20008)] proved that \(c_ G(M)=\max_{E}(c_ E(M_ E))\) as E runs over the elementary abelian p-subgroups of G, where \(M_ E\) is the kE-module which is the restriction of the kG-module to E. In this beautiful paper the author gives a method for computing the complexity. Let E be an elementary abelian p-group with basis \(\{a_ 1,...,a_ n\}\) and \(\phi\) a linear automorphism of \(k(a_ 1- 1)\oplus...\oplus k(a_ n-1).\) Then \(\phi\) has a unique extension \({\bar \phi}\) to a ring isomorphism of kE. A k-generalized subgroup \(E_ 0\) of E is a subgroup of the multiplicative group \({\bar \phi}\)(E). We can now state the main theorems: Thm. 1. Let M be a kE-module of complexity d. The there exists a k- generalized subgroup \(E_ 0\) of order \(p^{n-d}\) such that \(c_{E_ 0}(M_{E_ 0})=0\) (hence \(M_{E_ 0}\) is projective). - Thm. 2. \(c_ E(M)=\nu_ p(| E|)-\max_{E_ 0} \nu_ p(| E_ 0|)\) as \(E_ 0\) runs over the k-generalized subgroups with \(M_{E_ 0}\) projective. \((\nu_ p\) is the usual p-adic valuation, \(| E_ 0|\) the order of \(E_ 0.)\)- Thm. 3. Let \(c_ G(M)=d.\) Then \(p^{m- d}| \dim_ k M,\) where \(p^ m=\min_{E}(| E|)\) as E runs over the maximal elementary abelian p-groups. Moreover, there is a plethora of very interesting results and new proofs of well-known theorems in the area. One of the main points of the proof is the study of the relation between the cohomology of a group G and the cohomology of a normal subgroup of G of index p. \textit{J. Carlson} has later obtained a new proof of Thm. 1 [in J. Algebra 85, 104-143 (1983; Zbl 0526.20040)].
- A cohomological criterion for p-nilpotence
- Cohomology of finite groups and elementary abelian subgroups
- Groups with no odd dimensional cohomology
- Homology
- scientific article; zbMATH DE number 3125399 (Why is no real title available?)
- scientific article; zbMATH DE number 3256590 (Why is no real title available?)
- scientific article; zbMATH DE number 3323113 (Why is no real title available?)
- Sur la dimension cohomologique des groupes profinis
- Complexity and multiple complexes
- Modules of finite virtual projective dimension
- Periodic modules of large periods for metacyclic \(p\)-groups
- Permutation complexes and modular representation theory
- Cohomological restrictions on finite group actions
- A note on the cohomology of finite-dimensional cocommutative Hopf algebras
- A continuous model for systems of complexity 2 on simple abelian groups
- Free \((\mathbb{Z} / p)^n\)-complexes and \(p\)-DG modules
- The non-projective part of the tensor powers of a module
- scientific article; zbMATH DE number 4075371 (Why is no real title available?)
- scientific article; zbMATH DE number 4075374 (Why is no real title available?)
- A Quillen stratification theorem for modules
- The Complexity of a Module and Elementary Abelian Subgroups: A Geometric Approach
- Bounded complexes of permutation modules
- Detecting nilpotence and projectivity over finite unipotent supergroup schemes
- Integral representations of finite transformation groups. I
- A note on the subgroup theorem in cohomological complexity theory
- Structure and detection theorems for \(k[C_2\times C_4]\)-modules.
This page was built for publication: Complexity and elementary Abelian p-groups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q791661)
