Operation of class sums on permutation modules
block idempotentscomputing direct summands of modulesconjugacy class sumefficient algorithmirreducible constituentspermutation modulepermutation representationTits simple group
Software, source code, etc. for problems pertaining to group theory (20-04) Modular representations and characters (20C20) Simple groups: sporadic groups (20D08) Representation theory for linear algebraic groups (20G05) Linear algebraic groups over finite fields (20G40) Other matrix groups over finite fields (20H30) Symbolic computation and algebraic computation (68W30)
The authors present an efficient algorithm to compute the action of a conjugacy class sum of a finite group G on a permutation module V over a finite field F. This may be used to compute the block idempotents \(e_ i\)- knowing the classical character table and the distribution of characters into blocks - and the decomposition of V into blockwise components \(Ve_ i\). Thus, if one wants to know the irreducible constituents of V, the meataxe needs to be applied to smaller modules provided not all direct summands of V belong to the same block. As examples, the authors compute a) a 45-dimensional representation of \(PSL_ 3(4)\) over GF(9) starting with the permutation representation of degree 280 on the cosets of the Sylow 3-normalizer. b) a 27-dimensional representation of the Tits simple group \({}^ 2F_ 4(2)'\) over GF(5) starting with a permutation representation of degree 1755. The algorithm is based on the following key observation. Let \(V=F\Omega\) be a permutation module of G with \(\Omega =\{1,...,n\}\). For \(x\in G\) let K denote the conjugacy class of x in G and let \(\bar K\) denote the class sum of K. Then, the action of \(\bar K\) on V is given by the matrix \(A=(a_{ij})\) with \[ a_{ij}=| K| | \{(i,i^ x)| \quad i\in \Omega \}\cap \{(i^ g,j^ g)| \quad g\in G\}| /| \{i^ g,j^ g)| \quad g\in G\}| \] for \(i,j=1,...,n\). In case the action of G on \(\Omega\) is transitive, only the first row has to be computed.
- Conjugacy class sums for induced modules: Construction and applications
- Conjugacy classes in finite permutation groups via homomorphic images
- scientific article; zbMATH DE number 3884354
- Splitting permutation representations of finite groups by polynomial algebra methods
- Computer condensation of modular representations
- scientific article; zbMATH DE number 3828126 (Why is no real title available?)
- scientific article; zbMATH DE number 3884354 (Why is no real title available?)
- scientific article; zbMATH DE number 3865540 (Why is no real title available?)
- scientific article; zbMATH DE number 3906699 (Why is no real title available?)
- The modular characters of the tits simple group and its automorphism group
- Conjugacy class sums for induced modules: Construction and applications
- Fourier transforms with respect to monomial representations
- On the construction of the finite simple groups with a given centralizer of a 2-central involution
- Irreducible constituents of monomial representations.
- Reflections acting efficiently on a building
- The structure of the projective indecomposable modules of the Mathieu group \(M_{12}\) in characteristic 2 and 3
This page was built for publication: Operation of class sums on permutation modules
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q910494)
