论文信息 - Computing Projective Indecomposable Modules and Higher Cohomology Groups

Computing Projective Indecomposable Modules and Higher Cohomology Groups

We describe the theory and implementation in Magma of algorithms to compute the projective indecomposable KG-modules for finite groups G and finite fields K. We describe also how they may be used together with dimension-shifting techniques to compute cohomology groups Hn (G, M) for finite-dimensional KG-modules M and n⩾3.

Derek F. Holt | John J. Cannon

[1] Klaus Lux,et al. Determination of Socle Series using the Condensation Method , 1996, J. Symb. Comput..

[2] Derek F. Holt,et al. Testing modules for irreducibility , 1994, Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics.

[3] John J. Cannon,et al. The Magma Algebra System I: The User Language , 1997, J. Symb. Comput..

[4] Jens Rosenboom,et al. Condensation of induced Representations and an Application: the 2-Modular Decomposition Numbers of Co2 , 1999 .

[5] Derek F. Holt,et al. Computing subgroups of bounded index in a finite group , 2005, J. Symb. Comput..

[6] Wieb Bosma,et al. Discovering mathematics with Magma : reducing the abstract to the concrete , 2006 .

[7] Jürgen Müller,et al. Peakword Condensation and Submodule Lattices: An Application of the Meat-Axe , 1994, J. Symb. Comput..

[8] Derek F. Holt,et al. Computing conjugacy class representatives in permutation groups , 2006 .

[9] Paul Fong. Solvable groups and modular representation theory , 1962 .

[10] SHAUN TAN,et al. REPRESENTATION THEORY FOR FINITE GROUPS , 2014 .

[11] Derek F. Holt,et al. Cohomology and group extensions in Magma , 2006 .