ON THE PLESKEN LIE ALGEBRA DEFINED OVER A FINITE FIELD

Transcription

1 ON THE PLESKEN LIE ALGEBRA DEFINED OVER A FINITE FIELD JOHN CULLINAN AND MONA MERLING Abstract Let G be a finite group and p a prime number The Plesken Lie algebra is a subalgebra of the complex group algebra C[G] and admits a directsum decomposition into simple Lie algebras We describe finite-field versions of the Plesken Lie algebra via traditional and computational methods The computations motivate our conjectures on the general structure of the modular Plesken Lie algebra 1 Introduction Let G be a finite group, k a field, and k[g] the group algebra of G Then k[g] assumes the structure of a Lie algebra via the bracket (commutator) operation; indeed, any associative algebra can be endowed with the structure of a Lie algebra by defining [x, y] := xy yx In [3] the authors identify an interesting Lie-subalgebra L (G) they call the Plesken algebra of the group algebra C[G], which is defined as follows If we set ĝ = g g 1, then the linear span of the ĝ is a Lie-subalgebra of C[G] This Lie-subalgebra is the Plesken algebra studied in [3] and, in a more general setting, [11] Given that the structure of finite-dimensional Lie algebras over C is well known, it is natural to try to determine the structure of L (G) The main result of [3] is a structure theorem relating the constituents of the directsum decomposition of L (G) to the complex-irreducible representations of the finite group G A natural question is: does this structure theorem still hold if C is replaced by a finite field F? On one hand, the field F is not algebraically closed so the irreducible representations of G defined over F may not coincide with those defined over C More importantly, if char(f) #G, then the representation theory over C is substantially different than that over F Let p be a prime number and set F = F p There are two reasonable ways to define the Plesken Lie algebra over F p One can start with the complex Lie algebra L (G) equipped with a choice of Chevalley basis and construct the lattice L Z (G) L (G) relative to this basis Since L (G) is a direct sum of complex Lie algebras, this direct sum will be preserved under the reduction of L Z (G) modulo p via L p (G) := L Z (G) F p L Z (G)/pL Z (G) In this way the main result of [3] is preserved via reduction modulo p (see below for details) Alternatively, one can start with the group algebra F p [G] and construct the linear span of the ĝ F p [G]; we will denote this Lie-subalgebra of F p [G] by Λ p (G) One can then ask how L p (G) and Λ p (G) are related As one would expect, the answer 1991 Mathematics Subject Classification 20C05, 20C20 1

2 2 JOHN CULLINAN AND MONA MERLING depends on whether p divides the order of G In the ordinary case, any difference between L p (G) and Λ p (G) is due to the fact that F p may not be a splitting field for the representations of G However, since G is finite, there will be a positive (computable) density of primes p for which the direct-sum constituents of Λ p (G) mirror those of L p (G) Thus, [3, thm 51] holds mutatis mutandis for the F p -Lie algebra Λ p (G) when F p is a splitting field for G; see Section 2 for details If p #G, then the situation is more interesting The group algebra F p [G] is not semisimple, hence its simple composition factors do not coincide with its direct summands, which is the basis for the structure theorem in the semisimple case Thus, the Lie algebra structure of Λ p (G) should be different in modular characteristic To start, F p [G] decomposes as a sum of blocks, each of which is an F p -Lie algebra Thus, one could (in theory) get information on the dimensions of the constituents of Λ p (G) by intersecting with the blocks of F p [G] However, the block theory of finite groups can be extremely complicated and it seems unlikely that one could deduce a general structure theorem for Λ p (G) in this way There are similarities between Λ p (G) and L p (G), and there should be a way to study their relationship via a p-adic deformation; see below for details Another potential source of difficulty in determining the Lie algebra structure of Λ p (G) is the current status of the classification of finite dimensional simple Lie algebras in positive characteristic In this case, the classification is complete in characteristic 5 over algebraically closed fields [13], but for characteristics 2 and 3, even in the restricted case, we do not have a complete classification It will turn out that we can rule out many classes of simple Lie algebras from our classification In both the modular and ordinary cases the Lie algebra structure of Λ p (G) is intimately related to the group algebra k[g] by comparing simple factors of the composition series of each object In the case k = C, the dictionary between the simple objects was made explicit in [3], while in the modular case it remains more mysterious In this paper we begin to outline the relationship between the simple factors of the composition series of the Lie algebra Λ p (G) with those of the composition series of F p [G] and lay the groundwork for future study Because of the ambiguity in using the term composition series for both objects, we have taken care to state which algebraic object we mean whenever we use the term Our study of the modular structure of Λ p (G) is a mix of computation, theory and the complementary nature of the two Our conjectures on the modular structure are primarily based on the data gathered on many classes of groups, which will be presented below In the next section we recall the main result of [3] and work out the ordinary structure of Λ p (G) We then move to the modular case where we present our computational data We conclude with some observations on the relationship of the modular Plesken Lie algebras to the deformation theory of modular group algebras All computations were performed with the computer-algebra package Magma and sample code appears in Appendix A Acknowledgements: We would like to thank Don Taylor for helpful comments and the referee for many suggestions which improved the exposition and strengthened our theorems John Cannon performed numerous computations for us and improved the functionality of our code and the Magma packages for group algebras and Lie algebras We are very grateful for all of his work

3 ON THE PLESKEN LIE ALGEBRA DEFINED OVER A FINITE FIELD 3 2 The Ordinary Structure of Λ p (G) The ordinary of the title of this section refers to the ordinary representation theory of a finite group G; that is, the characteristic of the field where the representations are defined does not divide the order of the group We define an ordinary prime to be a prime number p that does not divide the order of G, and a modular prime as one that does divide #G We begin by recalling the construction of the Plesken algebra as in [3] If G is a finite group then the group algebra C[G] inherits the structure of a Lie algebra via the bracket operation [x, y] = xy yx The Plesken algebra is then defined as L (G) = span C {ĝ g G} C[G]; the authors show that dim L (G) = (#G t 1)/2, where t is the number of involutions in G Given this finite dimensional complex Lie algebra, one can study its direct-sum decomposition, which is the main result of [3]: L (G) = o(χ(1)) sp(χ(1)) gl(χ(1)), χ R χ Sp χ C where R, Sp, and C are the sets of irreducible characters of real, symplectic, and complex types, respectively, and where the prime signifies that there is just one summand gl(χ(1)) for each pair {χ, χ} from C For example, the algebra L (A 4 ) has dimension (12 3 1)/2 = 4 and admits the decomposition L (A 4 ) = o(1) o(3) gl(1) = o(3) gl(1), corresponding to the three 1-dimensional representations (one real, two complex) and the 3-dimensional real representation (note o(1) = 0) Given a finite dimensional, semisimple, complex Lie algebra L defined over an algebraically closed field of characteristic 0, one can choose an integral basis (Chevalley basis) with respect to which the structure constants of L are integral This allows for the reduction modulo p of L by choosing a Chevalley basis for L, taking the integral span L Z of this basis, then tensoring with F p In general, the Plesken algebras are not semisimple because of the factors of complex type These reductive algebras admit the decomposition gl(χ(1)) = sl(χ(1)) s(χ(1)), where s(χ(1)) is a one-dimensional abelian Lie algebra It is not hard to show, following the proofs in [9, 25], that integral bases for gl-type Lie algebras exist and can be expressed as the union of a Chevalley basis for sl and the singleton {diag(1,, 1)} This observation shows that the complex Lie algebra L (G) admits an integral basis Moreover, each of the direct summands of L (G) do as well The following Lemma is simply the reduction modulo p of [3, thm 51] Lemma 21 Let G be a finite group, L (G) the complex Plesken algebra and L p (G) its reduction modulo p via an integral basis Let X = X 1 X 1 X0 be the set of complex irreducible characters of G partitioned by Schur indicator Then L p (G) = o(χ(1), p) sp(χ(1), p) gl(χ(1), p), χ X 1 χ X 1 χ X 0 where the prime signifies that there is just one summand gl(χ(1), p) for each pair {χ, χ} with ind χ = 0 Proof It is not hard to check that there exists an integral basis B for L (G) such that the projection of B onto any of its direct summands is an integral basis for

4 4 JOHN CULLINAN AND MONA MERLING that summand Therefore, choose an integral basis for L (G) that is compatible with the integral bases of the constituents of its direct-sum factors The tensor product distributes across the direct-sum decomposition of L (G) and one checks that the Lie algebra structure is preserved also Remark 22 Lemma 21 holds for all primes p, even for those primes dividing #G We will recover this decomposition for ordinary primes, but for modular primes the decomposition of L p (G) does not mimic that of Λ p (G) We now turn our attention to Λ p (G) for ordinary primes If p is ordinary for G, then the group algebra F p [G] is semisimple and the representation theory of G over F p resembles the representation theory over C Let m denote the least common multiple of the orders of the elements of G and suppose that p 1 (mod m) so that F p contains a primitive mth root of unity (F p is sufficiently large [14, Part III]) In this case F p is guaranteed to be a splitting field for G, in which case the absolutely irreducible representations of G are realized over F p (often, however, this condition is not necessary for F p to be a splitting field for G) The Schur indicator of a complex representation of G can be extended to positive characteristic In particular, if χ is an irreducible character of G, then ind(χ) = ±1 if χ is orthogonal or symplectic, respectively, and ind(χ) = 0 otherwise (In characteristic 0, ind(χ) = 0 means the representation is unitary, but this is not necessarily the case in positive characteristic; however, they still come in an even number of Galois-conjugate sets) Moreover, if p = 2, then orthogonal and symplectic characters coincide We write X 0, X 1, and X 1 for the sets of characters of Schur indicator 0,1, and 1, respectively With this notation in place, we state the following Lemma Lemma 23 If p #G and F p is sufficiently large, then Λ p (G) = L p (G) Proof Since p #G, the group algebra F p [G] is semisimple Moreover, since F p is sufficiently large, the simple constituents of F p [G] are absolutely simple Thus, the decomposition of F p [G] mirrors that of C[G] and decomposes as F p [G] = r j=1 End(V j), for a set of representatives V j of the irreducible F p -representations of G At this point the proof of [3, thm 52] carries over exactly to this case: Λ p (G) is the 1-eigenspace of the anti-involution g g 1 and the Schur indicator of each V j dictates the type of bilinear form preserved therein; the Lie algebra associated to End(V j ) is the full Lie algebra associated to the form Thus, Λ p (G) = o(χ(1), p) sp(χ(1), p) gl(χ(1), p), χ X 1 χ X 1 which is what we wanted to show χ X 0 This lemma says the condition that F p be sufficiently large is enough to recover the decomposition obtained through a Chevalley basis Indeed, the splitting of C[G] into a direct sum of irreducible submodules is defined over a finite extension K of Q, where K is a subfield of the cyclotomic field Q(ζ m ) and m is as above In particular, Chevalley bases for the decomposition of L p (G) are defined over K If F p is not sufficiently large and k is a splitting field for G, then Galois-conjugate representations may fuse to form larger direct summands that are defined over subfields of k For example, let G = L 2 (8), the simple group of order 504 Using Atlas notation, the character table of G is [4, p 6]:

5 ON THE PLESKEN LIE ALGEBRA DEFINED OVER A FINITE FIELD 5 Table 1 Character Table of L 2 (8) ind 1A 2A 3A 7A B*2 C*4 9A B*2 C*4 χ χ χ y9 *2 *4 χ *4 -y9 *2 χ *2 *4 -y9 χ χ y7 *2 * χ *4 y7 * χ *2 *4 y Here, y9 is a root of the polynomial x 3 3x 1 and y7 a root of x 3 + x 2 2x 1 The algebra Λ p (L 2 (8)) has dimension 220 If p = 71, for example, then both polynomials split modulo p and Λ 71 (L 2 (8)) admits the decomposition Λ 71 (L 2 (8)) = o(7, 71) 4 o(8, 71) o(9, 71) 3 However, if p = 5 then neither polynomial splits and Λ 5 (L 2 (8)) decomposes as Λ 5 (L 2 (8)) = o(7, 5) l 1 o(8, 5) l 2, where l 1 is a 63-dimensional Lie algebra decomposing over F 5 (y9) into o(7, 5) 3 and l 2 is a 108-dimensional Lie algebra decomposing over F 5 (y7) into o(9, 5) 3 3 The modular structure of Λ p (G) theoretical results For the rest of the paper, p denotes a modular prime Thus, F p [G] is no longer semisimple, but decomposes as a sum of blocks The blocks are simultaneously vector subspaces and Lie subalgebras of F p [G] Moreover, the Lie subalgebra Λ p (G) of F p [G] decomposes as a direct sum by intersecting with the blocks of F p [G] However, the dimensions of these summands do not necessarily coincide with the dimensions of simple Lie algebras in positive characteristic (see below for explicit examples) It still may be possible to determine the simple Lie algebras occurring in the (Lie algebra) composition series of Λ p (G) from the natural (group algebra) composition series for F p [G], and this is the main problem we set forth: Problem 1 Determine a dictionary between the Lie algebra composition factors of Λ p (G) and the natural composition factors of F p [G] When p 5, the finite-dimensional simple Lie algebras over an algebraically closed field of characteristic p have been classified Any such algebra is either of classical or Cartan type (Witt; Special; Hamiltonian; Contact) for p 7 or, additionally, of Melikian type if p = 5 [13] Recall that for classical Lie algebras, those of type A mp 1, where m is a positive integer, fail to be simple in characteristic p (there is a one-dimensional center) However, the quotient by this center is simple By abuse of terminology we refer to these projective Lie algebras as classical Table 2 gives the dimensions of the non-classical algebras and gives the conditions under which they are simple and restricted, the latter being an important distinction in the classification of modular Lie algebras (see [13] for more details) With the exception of the Melikian algebras, these Lie algebras are parameterized by m, n with n = [n 1,, n m ] Z m >0 Set N = n i

6 6 JOHN CULLINAN AND MONA MERLING Table 2 Exceptional Modular Lie Algebras Lie algebra Dimension Simple Restricted W (m, n) p N p 2 and m 1 W (m, [1,, 1]) S(m, n) (m 1)p N + 1 m 3 S(m, [1,, 1]) (1) H(m, n) p N 1 p > 2, m 2 H(m, [1,, 1]) (2) K(m, n) p N p > 2, m 3 K(m, [1,, 1]) (1) M(n 1, n 2 ) 5 n1+n2+1 n i > 0 M(n 1, n 2 ) We remark in passing that the group algebra F p [G] is restricted since it is an associative algebra endowed with the usual bracket and p-operations This does not immediately imply that Λ p (G) is restricted, but one checks that Λ p (G) is closed under associative pth powers, which means that it is indeed restricted 31 Dimensions of Summands In ordinary characteristic the dimensions of the direct summands are determined by the unique irreducible character corresponding to that summand In modular characteristic, the ordinary irreducible characters are grouped into blocks and we write F p [G] = j b j for the direct-sum decomposition into block algebras Set λ j := Λ p (G) b j Our first step in tackling Problem 1 is that the dimensions of the λ j can be computed using the ordinary structure of L (G) Lemma 31 The dimension of λ j is equal to the sum of the dimensions of the classical Lie algebras associated to the group characters that belong to the block b j Proof If F p [G] = j b j, then write Q p [G] = j b j, where b j is a p-adic lift of the block b j (see [2, 19] for details on p-modular systems) Then each b j decomposes as a direct sum of Q p -matrix algebras according to the ordinary character theory of G Each matrix algebra summand of b j contains a unique simple Lie subalgebra of the ordinary Plesken Lie algebra of Q p [G] In this way, the modular Plesken Lie algebra Λ p (G) lifts to an ordinary Plesken Lie algebra, and the dimensions of the λ j are simply the sums of the dimensions of the associated classical algebras, as desired Thus, the dimensions of the λ j can be computed by determining which ordinary characters belong to b j and computing the dimensions of the Lie algebras associated to those characters using the dictionary of [3] This is essentially a vector space argument and says nothing about the isomorphism type of the λ j In particular, the dimensions of the Lie algebra composition factors of Λ p (G) need not correspond to those of the simple factors in the ordinary algebra L p (G) We illustrate all of this with an example Let G = SL 2 (F 5 ) and take p = 5 The ordinary character table of G is given by Table 31 [4, p 2]: The group algebra admits the decomposition F 5 [G] = b 1 b 2 b 3 with dim b 1 = 35, dim b 2 = 60 and dim b 3 = 25 The block b 1 contains the characters χ 1,, χ 4 ; b 2 contains χ 6,, χ 9 ; b 3 has defect 0 and contains only the Steinberg χ 5 Turning to the Plesken Lie algebra, we get the decomposition Λ 5 (G) = l 1 l 2 o(5, 5),

7 ON THE PLESKEN LIE ALGEBRA DEFINED OVER A FINITE FIELD 7 Table 3 Character Table of SL 2 (F 5 ) ind 1A 0 1A 1 2A 0 3A 0 3A 1 5A 0 5A 1 5B 0 5B 1 χ χ b 5 b 5 b 5 b 5 χ b 5 b 5 b 5 b 5 χ χ χ b 5 b 5 b 5 b 5 χ b 5 b 5 b 5 b 5 χ χ where l 1 has dimension 12 and l 2 has dimension 37 Note that this is consistent with the classical dimensions associated to the characters belonging to the blocks b 1 and b 2 : dim o(1) + 2 dim o(3) + dim o(4) = = 12 2 dim sp(2) + dim sp(4) + dim sp(6) = = 37 Furthermore, if we compute the Lie algebra composition factors of the direct summands of Λ 5 (G) we get the following: Λ 5 (G) = l 1 l 2 o(5, 5) (Ab(3), Ab(3), Ab(3), o(3, 5)) }{{} dim=12 (Ab(3), Ab(3), Ab(8), Ab(10), sp(2, 5), sp(4, 5)) o(5, 5), }{{} dim=37 where Ab(n) denotes an abelian Lie algebra of dimension n Thus, as we stated above, the simple Lie algebra composition factors of the modular Plesken Lie algebra need not be the same as those of the ordinary Plesken Lie algebra This example (and a comparison of the dimensions of the classical algebras with those of the exceptional algebras in the table above) suggests that the simple composition factors of all modular Plesken Lie algebras are not Exceptional Lie algebras Indeed, the Exceptional Modular Lie algebras do not have finite-dimensional lifts to characteristic-0 (they were originally discovered in the context of mathematical physics) The group algebra F p [G] has a natural lift to Z p [G] which embeds in Q p [G] via extension of scalars and so the finite-dimensionality of Q p [G] precludes the possibility of an Exceptional Modular Lie algebra appearing as a composition factor for Λ p (G) We now make all of this more precise as follows See [13] for an overview of the Exceptional Modular Lie algebras and for descriptions of their characteristic-0 analogues Proposition 32 The simple composition factors of the Λ p (G) are not isomorphic to Exceptional Modular Lie algebras Proof Set Λ 1 p(g) = Λ p (G) and let {Λ k p(g) Z/p k [G]} k 1 be a compatible system of lifts of Λ p (G) in the sense that Λ k p(g) Λ k+1 p (G) (mod p k ) Denote by Λ p (G) Z p [G] a p-adic Lie algebra compatible with this system (its reduction modulo p k is isomorphic to Λ k p(g)) In terms of group representation

8 8 JOHN CULLINAN AND MONA MERLING theory, the (group algebra) composition factors of Z p [G]/(pZ p [G]) are independent of the lifting of F p [G] by the Brauer-Nesbitt theorem Then Z p [G] is a full Z p - integral sublattice of the Q p -vector space Q p [G] and Z p [G] Zp Q p Q p [G] by extension of scalars from Z p to Q p In this way we construct a lift F p [G] Q p [G] By the block theory of finite groups, the blocks of F p [G] lift to (sums of) Q p - matrix algebras Both the blocks and the matrix algebras are closed under the bracket operation, hence are Lie-subalgebras of F p [G] and Q p [G], respectively Thus, the Plesken Lie algebra L (G) Q p [G] covers Λ p [G] by extension of scalars with the sums of matrix algebras covering the blocks according to which ordinary characters belong to the blocks Therefore, the Lie algebra composition factors have finite-dimensional characteristic-0 lifts and cannot be Exceptional Modular Lie algebras In light of this result, it remains to determine a rule for which classical Lie algebras do appear We next look at two families of groups (which highlight very distinct decomposition types) where we can determine the structure of some of the Lie algebra composition factors In both of these examples, the simplicity of the (natural) composition factors of F p [G] mirrors the simplicity of the associated Lie algebra composition factors 32 Group rings with the dimension property For this subsection, k denotes an arbitrary field of positive characteristic and G a finite group In [8], the author defines an important class of groups, whose group rings are called group rings with the dimension property One of several characterizations of these group rings given in [8] is that k[g] has the dimension property precisely when all irreducible representations of G over k that belong to the principal block have k-dimension 1 (see [8, cor 24] for this, and equivalent statements) For example, supersolvable groups are an important class of groups with this property, and their group rings have been studied extensively from a computational point of view (see eg [1], [12]) If k is an arbitrary field, Λ(G) k[g] the associated Plesken Lie algebra, and V a vector space invariant under the natural action of k[g], then V is also invariant under the action of k[g] as a Lie algebra as well In this way, the group algebra composition series subsumes that of the Plesken Lie algebra In the context of group algebras with the dimension property, we immediately get: Lemma 33 Let F p [G] have the dimension property Then λ 1 := Λ p (G) B 1 is a solvable Lie algebra, where b 1 is the principal block of F p [G], with all Lie algebra composition factors having dimension 1 For group rings without the dimension property it may be the case that composition factors associated with the principal block do not all have dimension 1 For example, it can be shown using the code in Appendix A that Λ 5 (A 5 ) = l o(5, 5) and that the composition factors of the 12-dimensional Lie algebra l consist of nine dimension-1 factors and one dimension-3 factor isomorphic to sl(2, 5) 33 Finite groups of Lie type Suppose that ρ is a complex irreducible representation of a finite group G that affords the character χ and let p #G If the reduction of ρ modulo p is irreducible (so that #G/ deg ρ is prime to p), then ρ gives rise to a block of defect 0 This block in turn is a minimal ideal of F p [G] and is isomorphic to a matrix algebra over F p Suppose further that F p is a splitting field for G Then, Λ p (G) will admit a direct summand of orthogonal, symplectic,

9 ON THE PLESKEN LIE ALGEBRA DEFINED OVER A FINITE FIELD 9 or general linear type according to the value of ind χ The finite groups of Lie type have this property, as we will now show Let q be a power of a prime p and G(F q ) a finite group of Lie type over F q The representation theory of these groups is an immense subject with many open questions; see [10] for an overview Associated to each G(F q ) is the Steinberg representation which has degree equal to the largest power of p dividing #G(F q ) While the modular group algebras in defining characteristic are quite mysterious in general, we can predict one of the simple Lie algebras in the composition series of the Plesken Lie algebra in this case Proposition 34 Let q be a power of a prime p, G(F q ) a finite group of Lie type, and suppose p r is the largest power of p dividing #G(F q ) Then Λ p (G(F q )) admits o(p r, p) as a direct summand Proof Since the Steinberg representation V has degree p r, it remains irreducible upon reduction modulo p and the corresponding ideal in the group algebra F p [G(F q )] is a matrix algebra Moreover, V is self-dual, which ensures that a non-degenerate bilinear form f is preserved When q is odd, the form is symmetric since there is no symplectic structure on odd-dimensional vector spaces If q is even, then f is symmetric, since otherwise f(x, y) f(y, x) = f(x, y) + f(y, x) would be a non-zero, symmetric, non-degenerate bilinear form preserved by G(F q ), hence an F q -multiple of f, contradicting the assumption that f is not symmetric Thus, the Schur indicator of V is equal to 1 in all cases, which proves the Proposition 4 The modular structure of Λ p (G) computations and conjectures 41 Group algebras consisting of a single block We start with examples of groups whose F p -group algebras consist of a single block (giving details for the first and omitting them for the rest) and give a general conjecture based on these and numerous other examples To begin, we quote a result from [2, 622] Theorem 41 (622 of [2]) Suppose D is a normal subgroup of G Then every idempotent in Z(kG) lies in kc G (D) In particular, if C G (D) D then kg has only one block Thus, to find examples of groups satisfying the hypotheses of Theorem 41, it is sufficient to exhibit G with C G (O p (G)) O p (G), where O p (G) is the largest normal p-subgroup of G Example 42 Let p > 2 be a prime The Affine General Linear group AGL 1 (F p ) is the group of affine actions on the 1-dimensional vector space F p ; concretely, AGL 1 (F p ) Z/p Z/(p 1) This group occurs naturally as a maximal subgroup of the symmetric group S p and is the maximal solvable subgroup of S p One can apply the criterion of Theorem 41 or give a direct argument to see that the group algebra consists of a single block We will give a brief direct argument The group has order p(p 1) and has p conjugacy classes consisting of the trivial class, p 2 classes of size p, and one class of elements of order p having size p 1 The orders of the elements of the classes (other than the elements of order p) can be predicted by factoring x p 1 1 = d (p 1) Φ d(x) into cyclotomic polynomials; for each such d, there are ϕ(d) classes of elements of order d The ordinary group algebra over a sufficiently large field splits into p direct summands, p 1 of which are 1-dimensional plus a single simple factor of dimension p 1 The 1-dimensional

10 10 JOHN CULLINAN AND MONA MERLING factors each have Schur indicator 0, except for the trivial representation and the sign representation; the (p 1)-dimensional factor has Schur indicator 1 The ordinary character table is thus given by Table 4, where indicates an appropriate root of unity Table 4 Character Table of AGL 1 (F p ) ind C 1 C 2 C p 1 C p χ χ χ χ p χ p + p Lemma 43 The group algebra F p [AGL 1 (F p )] consists of a single block Proof As above, denote the conjugacy classes of AGL 1 (F p ) by C 1,, C p and the (ordinary) absolutely irreducible characters by χ 1,, χ p Define the matrix M Mat p p (Z) by M ij = #Cj χ χ i(c 1) i(c j ) so that p p 1 M = p The number of distinct rows of M (mod p) are in one-to-one correspondence with the number of blocks of F p [AGL 1 (F p )] (see [5, (8511), (8512)]), which proves the Lemma Using similar methods, one can show that the following are additional examples of group algebras consisting of a single block: F p [(D p ) n ] (p 3, n 1), F 3 [S 3 S 3 ], F 3 [S 3 S 2 ], F p [p-group], where D p denotes the dihedral group of order 2p Using these and other examples as test cases, we computed the composition factors of Λ p (G), and showed they were all abelian These examples all include solvable groups For non-solvable examples, we present the following Example 44 Let n 5 and G = Z/p A n, so that #G = p n n!/2 and O p (G) (Z/p) n Then G is a non-solvable group whose F p -group algebra consists of a single block We look at two special cases: Λ 2 (Z/2 A 5 ) and Λ 3 (Z/3 A 5 ) These Plesken Lie algebras have dimensions 884 and 7222, respectively, and the former is solvable while the latter is not The dimensions of the composition factors are given by the following tables:

11 ON THE PLESKEN LIE ALGEBRA DEFINED OVER A FINITE FIELD 11 Dimension Multiplicity Type Abelian Abelian 4 24 Abelian 8 28 Abelian Total 884 Dimension Multiplicity Type Abelian 3 4 A 1 (over F 9 ) Abelian Abelian Abelian Abelian Total 7222 Remark 45 The groups in the preceding example were initially too large (even when p = 2) for Magma to create and store Λ p (G), let alone determine the isomorphism type As a result of our collaboration with the developers, Magma is now able create Λ p (G) for large groups and to compute the isomorphism types of the Lie algebra composition factors in a reasonably short computing time Based on these examples (and the preceding ones for non-solvable groups), we present the following conjecture Conjecture 46 Suppose that G is a solvable group and that F p [G] is a group algebra that consists of a single block Then the Lie algebra Λ p (G) is solvable Remark 47 The Lie algebras Λ p (G) for such G as in the conjecture are, in general, non-abelian (eg Λ 5 (D 5 D 5 )) Remark 48 If the group algebra consists of more than a single block, then the principal block intersected with Λ p (G) may not have trivial composition factors See the example following Lemma 33 above For groups with a more complicated block structure, it is considerably more difficult to detect patterns in the simple composition factors of the Λ p (G) Our aim is to provide enough data to support conjectures that could be proved in a subsequent work In Table 5 we give some data on simple (and related) groups; see Appendix A for details on the construction of the table In particular, we compute the absolutely simple composition factors of Λ p (G) (ie we work over a splitting field k) for odd primes p For ease of comparison of the modular and ordinary cases, we use A, B, C, D notation and use P A for the simple algebras psl(mp) in characteristic p We conclude with two final remarks for future exploration The first is that the abelian factors in Table 5 and all other examples in the paper have the same dimensions (after a possible base-field extension) as the classical simple Lie algebras It would be interesting to see how this pattern manifests itself in general The second regards the p-adic deformation that has been mentioned several times so far in the paper: F p [G] Z/p 2 [G] Z/p 3 [G] Z p [G]

12 12 JOHN CULLINAN AND MONA MERLING Table 5 Plesken algebras of some simple (and related) groups G p Composition Factors of Λ p(g) L p(g) A 5 3 Ab(4); Ab(6); D 2 2 B 1 4; B 2 A 5 5 Ab(3) 3; B 1; B 2 B 1 4; B 2 S 5 3 Ab(4) 2; Ab(6) 2; D 2 2; D 3 B 1 4; B 2 2; D 3 S 5 5 Ab(3) 4; Ab(9); B 1 2; B 2 2 B 1 4; B 2 2; D 3 L 2(7) 3 Ab(1) 2; Ab(7); Ab(21); P A 2; D 3; B 3 Ab(1) 2; P A 2; D 3; B 3; D 4 L 2(7) 7 Ab(1); Ab(3); Ab(5) 2; Ab(10); Ab(15); B 1; B 2; B 3 Ab(1); A 2; D 3; B 3; D 4 SL 2(F 7) 3 Ab(1) 4; Ab(7); Ab(15); Ab(20); Ab(21) Ab(1) 2; P A 2; A 3; D 3; C 3 2; B 3; C 4; D 4 P A 2; A 3; D 3; C 3 2; B 3 SL 2(F 7) 7 Ab(1) 2; Ab(3) 2; Ab(5) 3; Ab(8); Ab(1); A 2; A 3; D 3; C 3 2; B 3; C 4; D 4 Ab(10) 2; Ab(12); Ab(15); Ab(21) B 1 2; B 2 2; B3 2 A 6 3 Ab(4) 4; Ab(6) 6; Ab(9) 1; Ab(24) 2 B 2 2; D 4 2; B 4; D 5 B 1 4; B 4 A 6 5 Ab(8); Ab(28) 2; C 2; B 2; D 4; D 5 B 2 2; D 4 2; B 4; D 5 S 6 3 Ab(1); Ab(4) 8; Ab(6) 8; B 2 4; B 4 2; D 5 2; D 8 2 Ab(15) 2; Ab(16); Ab(24) 4 B 1 4; D 3; B 4 2 S 6 5 Ab(8) 2; Ab(28) 2; Ab(64) B 2 4; B 4 2; D 5 2; D 8 2 B 2 4; D 4 2; D 5 2 L 2(8) 3 Ab(7); Ab(21) 4; B 3; B 4 3 B 3 4; D 4; B 4 3 L 2(8) 7 Ab(8) 3; Ab(28) 3; B 3 4; D 4 B 3 4; D 4; B 4 3 L 2(11) 3 Ab(1) 2; Ab(10) 3; Ab(24); Ab(45) Ab(1); A 4; D 5 2; B 5; D 6 2 A 4; D 5; D 6 2 L 2(11) 5 Ab(1) 2; Ab(11) 2; Ab(55) 2; P A 4; D 5 2; B 5 Ab(1) 2; P A 4; D 5 2; B 5; D 6 2 L 2(16) 5 Ab(16) 2; Ab(120) 2; Ab(136) 4; B 7 8; D 8; B 8 B 7 8; D 8; B 8 8 L 2(19) 5 Ab(1) 3; Ab(18); Ab(36) 4; Ab(80) 2; Ab(1); A 2; D 9 4; B 9; D 10 4 Ab(153) 2; A 8; D 9; D 10 4 L 2(25) 5 Ab(6) 7; Ab(9) 2; Ab(16) 2; Ab(20); B 6 2; D 12 6; B 12; D 13 5 Ab(24) 2; Ab(25); Ab(30) 2; Ab(36) 8; Ab(48) 2; Ab(54); Ab(56) 3; Ab(64) 2; Ab(90); Ab(96) 2; Ab(120) 3; Ab(144) 2; Ab(160) 2; Ab(210); Ab(240) 2; A 1 4; B 2 2; B 4; D 4 2; D 8; B 7 2; D 8 2 Once a full structure theorem for Λ p (G) were known, it would be interesting to track the composition factors through the steps of the deformation to gain an understanding of how the non-semisimple summands give rise to simple ones using Lie algebras defined over the rings Z/p k In particular, this would give a p-adic deformation of Λ p (G) to L p (G) The deformations of group algebras from characteristic p to characteristic 0 is an interesting and active area of mathematics (see eg [6], [7]) and this would contribute to that area by looking at the group algebras from the point of view of complex and p-adic Lie algebras, and would certainly require new computational methods as well

13 ON THE PLESKEN LIE ALGEBRA DEFINED OVER A FINITE FIELD 13 Appendix A Computations and Code Our main computational tool was the computer-algebra package Magma When we began this project, some of the examples were too large for Magma to create After an initial draft of this paper was completed, we contacted the algebra group at Magma to inquire about improving the functionality of the Lie algebra package; in particular to speed up the creation of Λ p (G) and its composition series and finally to compute the isomorphism types of the composition factors Before we collaborated with the developers, the highest-dimensional Plesken algebra for which we could compute its composition series was when G = L 2 (11) and dim Λ p (L 2 (11)) = 302 The largest group appearing presently in this paper has order and the dimension of its Plesken algebra is We now give a brief description of the code used for our computations There are different types for this object in Magma (GenAlgebra, GrpAlgebra, AssAlgebra, LieAlgebra) and care needs to be taken when combining functions that are defined for specific types because they are not inherited For the code below, G is a permutation group and F is a finite field This code will build the Plesken Lie Algebra P FG := GroupAlgebra(F, G); L1,h:=Algebra(FG); FFG,f:=LieAlgebra(L1); L:=[]; for g in G do if Order(g) ne 2 and Order(g) ne 1 and Inverse(g) notin L then Append(~L,g); end if; end for; LL:=[]; for g in L do Append((~LL,FG!g-FG!Inverse(g) )); end for; LLL:=[]; for g in LL do Append((~LLL, (g@h)@f )); end for; P:=sub<FFG LLL>; In order to clearly show how Table 5 was created, we work through a lowdimensional example Take G:=Sym(5);, F:=GF(5);, and build P as in the code above The command C:=CompositionSeries(P); builds and stores the composition series of P as a Lie algebra; note that P has dimension 47 Then C has length 9, and the filtration consists of a chain of Lie algebras of dimensions [10, 13, 16, 25, 28, 31, 34, 44, 47] Thus, the quotients have dimensions [10, 3, 3, 9, 3, 3, 3, 10, 3], respectively Note that Magma may build C with a different filtration each time; the dimension and structure of the quotients

14 14 JOHN CULLINAN AND MONA MERLING is (obviously) always the same In order to further study these quotients we build them inside Magma using, for example: qi:=quo<c[i] C[i-1]>; as i ranges over 2 9 (and q1:=c[1]) Now that the quotients are isolated from each other, one can determine their Lie algebra structure using such commands as: IsAbelian, CompositionSeries, IsSimple, among others When applied to P above, we obtain the following results: q1 Type B 2 ; q2 Ab(9); q3 Type B 1 ; q4 Ab(3); q5 Ab(3); q6 Type B 1 ; q7 Ab(3); q8 Type B 2 ; q9 Ab(3) Altogether, this gives the decomposition as indicated in the table References 1 U Baum, M Clausen Computing irreducible representations of supersolvable groups Math Comp 63 (1994), DJ Benson Representations and cohomology I Basic representation theory of finite groups and associative algebras Cambridge Studies in Advanced Mathematics, 30 Cambridge University Press, Cambridge, A Cohen, DE Taylor On a Certain Lie Algebra Defined by a Finite Group Amer Math Monthly 114 (2007), no 7, J Conway et al, ATLAS of Finite Groups Oxford University Press, Cambridge, C Curtis, I Reiner Representation theory of finite groups and associative algebras Reprint of the 1962 original AMS Chelsea Publishing, Providence, RI, JD Donald, FJ Flanigan A deformation-theoretic version of Maschke s theorem for modular group algebras: the commutative case J Algebra 29 (1974) M Gerstenhaber, M Schaps The modular version of Maschke s theorem for normal abelian p-sylows J Pure Appl Algebra 108 (1996), no 3, W Hamernik Group structure and properties of block ideals of the group algebra Glasgow Math J 16 (1975), no 1, JE Humphreys Introduction to Lie algebras and representation theory Graduate Texts in Mathematics, Vol 9 Springer-Verlag, JE Humphreys Modular representations of finite groups of Lie type London Mathematical Society Lecture Note Series, 326 Cambridge University Press, Cambridge, I Marin Group algebras of finite groups as Lie algebras Comm Algebra 38 (2010), no 7, A Omrani, A Shokrollahi Computing irreducible representations of supersolvable groups over small finite fields Math Comp 66 (1997), no 218, A Premet, H Strade Classification of finite dimensional simple Lie algebras in prime characteristics Representations of algebraic groups, quantum groups, and Lie algebras, , Contemp Math, 413, Amer Math Soc, Providence, RI, 2006

15 ON THE PLESKEN LIE ALGEBRA DEFINED OVER A FINITE FIELD J-P Serre Linear representations of finite groups Graduate Texts in Mathematics, 42 Springer-Verlag, New York-Heidelberg, 1977 Department of Mathematics, Bard College, Annandale-On-Hudson, NY address: cullinan@bardedu Department of Mathematics, 5734 S University Avenue, Chicago, Illinois address: merling@mathuchicagoedu