arxiv: v1 [math.gr] 30 Dec 2018

Transcription

1 On splitting of the normalizer of a maximal torus in E l (q) Alexey Galt and Alexey Staroletov arxiv: v1 [math.gr] 30 Dec 2018 Abstract Let G be a finite group of Lie type E l with l {6,7,8} over F q and W be the Weyl group of G. We describe all maximal tori T of G such that T has a complement in its algebraic normalizer N(G,T). Let T correspond to an element w of W. When T does not have a complement, we show that w has a lift in N(G,T) of order w in all considered groups, except the simply-connected group E 7(q). In the latter case we describe the elements w that have a lift in N(G,T) of order w. 1 Introduction Let G be a simple connected linear algebraic group over an algebraically closed field F p of positive characteristic p. Consider a Steinberg endomorphism σ and a maximal σ-invariant torus T of G. It is well known that all maximal tori are conjugate in G and a quotient N G (T)/T is isomorphic to the Weyl group W of G. The natural question is to describe groups G, in which N G (T) splits over T. A similar question can be formulated for finite groups of Lie type. More precisely, let G be a finite group of Lie type, that is O p (G σ ) G G σ. Let T = T G be a maximal torus in G and N(G,T) = N G (T) G be the algebraic normalizer of T. Then the question is to describe groups G and their maximal tori T such that N(G,T) splits over T. These questions were stated by J.Tits in [18]. In the case of algebraic groups it was solved independently in [1] and in [6 9]. In the case of finite groups the problem was studied for the groups of Lie types A n,b n,c n,d n and E 6 in [7 10]. J.Adams and X.He [1] considered a related problem. Namely, it is natural to ask about the orders of lifts of w W to N G (T). They noticed that if d is the order of w then the minimal order of a lift of w is either d or 2d, but it can be a subtle question which holds. Clearly, if N G (T) splits over T then the minimal order is equal to d. In the cases of Lie types E 6, E 7 and E 8 they proved that the normalizer does not split and showed that the minimal order of lifts of w is d if w belongs to so-called regular or elliptic conjugacy classes. G.Lusztig [11] showed that every involution of the Weyl group of a split reductive group over F q has a lift n such that the image of n under the Frobenius map is equal to n 1. InthispaperweconsiderfinitegroupsGofLietypesE 6, E 7 ande 8 overafinitefieldf q ofcharacteristicp. Let W be the Weyl group of type E l, where 6 l 8. We enumerate conjugacy classes of W as in [5]. Let = {r 1,...,r l } be a fundamental system of a root system E l. Denote by w i the elements of the Weyl group W corresponding to reflections in the hyperplanes orthogonal to the roots r i. There is a bijection between conjugacy classes of maximal tori in G and σ-conjugacy classes of W. If l = 6, then put r 14 = r 2 +r 4 +r 5 and r 36 = r 1 +2r 2 +2r 3 +3r 4 +2r 5 +r 6. Denote by E6 (q) the finite group 2 E 6 (q) and by E 6 + (q) the finite group E 6(q) (in both cases groups can be adjoint or simply-connected). As a consequence of the main theorem of [10] we obtain the following. Theorem 1.1. Let G = E6 ε (q) (adjoint or simply-connected), where ε {+, }, and W be the Weyl group of G. Consider a maximal torus T of G corresponding to an element w of W and its algebraic normalizer N(G,T). Then the following holds. (i) T does not have a complement in N(G,T) if and only if either q ε1 (mod 4) and w is conjugate to w 3 w 2 w 4 w 14 or q is odd and w is conjugate to one of the following: 1, w 1, w 1 w 2, w 2 w 3 w 5, w 1 w 3 w 4, w 1 w 4 w 6 w 36, w 1 w 4 w 6 w 3, w 1 w 4 w 6 w 3 w 36 ; This research was supported by the Russian Science Foundation (project no ). 1

2 (ii) there exists a lift for w in N(G,T) of order w. If l = 7, then put r 16 = r 2 +r 4 +r 5 and r 53 = r 1 +2r 2 +2r 3 +3r 4 +2r 5 +r 6. It is known that every element of the Weyl group W is a product of fundamental reflections w r, r. Denote by l(w) the minimal length of any expression of this form. Given a root system Φ, we denote by Φ sc (q) and Φ ad (q) a simply-connected and adjoint group, respectively. Theorem 1.2. Let G = E 7 (q) (adjoint or simply-connected) with the Weyl group W and w 0 be the central involution of W. Consider a maximal torus T of G corresponding to an element w of W and its algebraic normalizer N(G,T). Then the following holds. (i) If G = E7 ad (q) then w has a lift of order w in N(G,T). Moreover, T does not have a complement in N(G,T) if and only if q is odd and w or ww 0 is conjugate to one of the following: 1, w 1, w 1 w 2, w 2 w 3 w 5, w 1 w 3 w 4, w 1 w 4 w 6 w 53, w 1 w 4 w 6 w 3, w 3 w 2 w 4 w 16, w 1 w 4 w 6 w 3 w 53, w 3 w 2 w 4 w 16 w 7. (ii) If G = E7 sc (q) then T does not have a complement in N(G,T) if and only if q is odd. Moreover, w has a lift in N(G,T) of order w if and only if either q is even or l(w) < l(ww 0 ) or w is divisible by 4. Remark. In fact, it follows from Table 4 that the order of an element w W divides 4 if and only if w or ww 0 is conjugate to one of elements listed in item (i). For item (ii) we suppose that w or ww 0 is one of the second column of Table 4. If l = 8, then put r 18 = r 2 + r 4 + r 5, r 26 = r 2 + r 4 + r 5 + r 6, r 46 = r 1 + r 2 + r 3 + r 4 + r 5 + r 6 + r 7, r 69 = r 1 +2r 2 +2r 3 +3r 4 +2r 5 +r 6, r 74 = r 2 +r 3 +2r 4 +2r 5 +2r 6 +2r 7 +r 8 and r 120 = 2r 1 +3r 2 +4r 3 + 6r 4 +5r 5 +4r 6 +3r 7 +2r 8. Theorem 1.3. Let G = E 8 (q) with the Weyl group W and w 0 be the central involution of W. Consider a maximal torus T of G corresponding to an element w of W and its algebraic normalizer N(G,T). Then the following holds. (i) T does not have a complement in N(G,T) if and only if w or ww 0 is conjugate to one of the following: 1, w 1, w 1 w 2, w 3 w 1, w 2 w 3 w 5, w 1 w 3 w 5, w 1 w 3 w 4, w 1 w 4 w 6 w 69, w 1 w 2 w 3 w 5, w 1 w 4 w 6 w 3, w 3 w 2 w 5 w 4, w 3 w 2 w 4 w 18, w 1 w 4 w 6 w 3 w 69, w 2 w 5 w 3 w 4 w 6, w 26 w 5 w 4 w 3 w 2, w 1 w 4 w 6 w 3 w 7, w 3 w 2 w 4 w 18 w 7, w 46 w 3 w 5 w 1 w 4 w 6, w 2 w 3 w 5 w 7, w 74 w 3 w 2 w 5 w 4, w 8 w 1 w 4 w 6 w 3, w 1 w 2 w 3 w 6 w 8 w 7, w 1 w 4 w 3 w 7 w 6 w 8, w 4 w 8 w 2 w 5 w 7 w 120, w 2 w 3 w 4 w 8 w 7 w 18, w 2 w 3 w 4 w 5 w 6 w 8, w 2 w 4 w 5 w 6 w 7 w 8 w 120, w 2 w 3 w 4 w 7 w 120 w 8 w 18, or w 2 w 3 w 4 w 7 w 120 w 18 w 8 w 74 ; (ii) the element w has a lift in N(G,T) of order w. We illustrate the results of these theorems in Tables 4,8,9 with some additional information about the maximal tori. This paper is organized as follows. In Section 2 we recall notations and basic facts about algebraic groups. In Section 3 we prove auxiliary results and explain how we use MAGMA in the proofs. Section 4 6 are devoted to the proofs of the main results. 2 Notations and preliminary results By q we always denote some power of a prime p, F p is an algebraic closure of a finite field F p. The symmetric group on n elements is denoted by S n and the cyclic group of order n by Z n. Let T be a normal subgroup of a group N. Then T has a complement in N (or N splits over T) if there exists a subgroup H such that N = TH and T H = 1. By G we denote a simple connected linear algebraic group (simply-connected or adjoint) over F p. It is well known that G always has a σ-stable maximal torus, which is denoted by T. All maximal tori are conjugate to T in G. A surjective endomorphism σ of G is called a Steinberg endomorphism, if the set of σ-stable points G σ is finite [12, Definition ]. Any group G satisfying O p (G σ ) G G σ, is called a finite group of Lie type. If T is a σ-stable maximal torus of G then T = T G is called a maximal torus of G. 2

3 If G 2 G 1 G then the image of T G 1 in G 1 /G 2 is called a maximal torus of G 1 /G 2. A group N G (T) G is called the algebraic normalizer of T and is denoted by N(G,T). Notice that N(G,T) N G (T), but the equality is not true in general. By N and W we denote the normalizer N G (T) and the Weyl group N/T and by π the natural homomorphism from N onto W. Define the action of σ on W in the natural way. Elements w 1,w 2 W are called σ-conjugate if w 1 = (w 1 ) σ w 2 w for some w in W. Proposition 2.1. [3, Propositions 3.3.1, 3.3.3]. A torus T g is σ-stable if and only if g σ g 1 N. The map T g π(g σ g 1 ) determines a bijection between the G-classes of σ-stable maximal tori of G and the σ-conjugacy classes of W. As follows from Proposition 2.1 the cyclic structure of a torus (T g ) σ in G and of the corresponding tori in the sections of G is determined only by a σ-conjugacy class of the element π(g σ g 1 ). Proposition 2.2. [2, Lemma 1.2]. Let n = g σ g 1 N. Then (T g ) σ = (T σn ) g, where n acts on T by conjugation. Proposition 2.3. [3, Proposition 3.3.6]. Let g σ g 1 N and π(g σ g 1 ) = w. Then (N G (T g )) σ /(T g ) σ C W,σ (w) = {x W (x 1 ) σ wx = w}. By Proposition 2.2 we have (T g ) σ = (T σn ) g and (N G (T g )) σ = (N g ) σ = (N σn ) g. Hence, C W,σ (w) (N G (T g )) σ /(T g ) σ = (N σn ) g /(T σn ) g N σn /T σn. Remark 2.4. Let n 1 = g σ 1 g 1 1 N and π(n 1 ) = w. Since n and n 1 act on T in the same way, we have (T g1 ) σ = (T σn1 ) g1 = (T σn ) g1 and (N G (T g1 )) σ = (N g1 ) σ = (N σn1 ) g1. Hence, C W,σ (w) (N G (T g1 )) σ /(T g1 ) σ = (N σn1 ) g1 /(T σn ) g1 N σn1 /T σn. Thus (T g ) σ has a complement in its algebraic normalizer iff there exists a complement for T σn in N σn1 for some n 1 with π(n 1 ) = w. Similarly, if w has a lift in N σn1 of order w then w has such lift in N(G,T) as well. Lemma 2.5. Let w W and w 0 Z(W). Let T, T 0 be maximal tori corresponding to w, ww 0, respectively. Then T has a complement in its algebraic normalizer if and only if T 0 does. Proof. Assume that T = T σn has a complement K in N σn. Then K C W,σ (w) and w 0 C W,σ (w). Let n,n 0 be preimages of w,w 0 in K, respectively. For any n 1 K N σn we have [n 0,n 1 ] = 1. Then (n 1 ) σnn0 = n n0 1 = n 1 and n 1 N σnn0. Hence, K N σnn0. Since N σnn0 /T σnn0 C W,σ (ww 0 ) = C W,σ (w), we have K is a complement for T σnn0 in N σnn0. From now on, we suppose that G has Lie type E l, where l {6,7,8}, and = {r 1,...,r l } is a fundamental system of a root system E l. Following [3], we write x y = yxy 1 and [x,y] = y x y 1. It is well known [3] that where T = h r (λ) r,λ F p, N = T,n r r, n r (1) = n r, n 2 r = h r ( 1), h r (λ) = n r (λ)n r ( 1). For simplicity of notation, we write h r for h r ( 1). If r = r i, then h i stands for h ri and n i stands for n ri. Every element H of T can be written in the form H = l h ri (λ i ). If G is simply-connected, then the element H is uniquely determined by λ 1,λ 2,...,λ l, and we write H = (λ 1,λ 2,...,λ l ). It is known that F p has an endomorphism such that λ F p maps to λ q. There is a Steinberg endomorphism σ for G which corresponds to this endomorphism of F p and σ is called a Frobenius endomorphism. i=1 3

4 We suppose that G is a set of σ-stable points for such Frobenius endomorphism σ. We will use that σ acts on generators of N in the following way: n σ r = n r and (h r (λ)) σ = h r (λ σ ). The group T = n r r is called the Tits group. Let H = T T. It is known that H = h r r and so H is an elementary abelian group such that T /H W. Remark 2.6. Observe that if p = 2 then h r = 1 for every r, in particular, H = 1 and T W. Moreover, the restriction of the homomorphism π to T is an isomorphism between T and W. Let T be a maximal torus corresponding to w W. Then n = π 1 (w) is a lift for w in N σn of the same order and π 1 (C W (w)) is a complement for T σn in N σn. Therefore, Theorems hold true in this case by Remark 2.4. According to [3, Theorem 7.2.2] we have: n s n r n 1 s = h ws(r)(η s,r )n ws(r) = n ws(r)(η s,r ), η s,r = ±1, n s h r (λ)n 1 s = h ws(r)(λ). We choose values of η r,s as follows. Let r Φ and r = l α i r i. The sum of the coefficients i=1 l α i is called the height of r. According to [14], we fix the following total ordering of positive roots: we write r s if either h(r) < h(s) or h(r) = h(s) and the first nonzero coordinate of s r is positive. The table of positive roots with respect to this ordering can be found in [14]. Recall that a pair of positive roots (r,s) is called special if r + s Φ and r s. A pair (r,s) is called extraspecial if it is special and for any special pair (r 1,s 1 ) such that r + s = r 1 + s 1 one has r s. Let N r,s be the structure constants of the corresponding simple Lie algebra [3, Section 4.1]. Then the values N r,s may be taken arbitrarily at the extraspecial pairs and then all other structure constants are uniquely determined[3,proposition4.2.2]. Inourcase, wechoosesgn(n r,s ) = +forallextraspecialpairs(r,s). Values of the structure constants for all pairs can be found in [14]. The numbers η r,s are uniquely determined by the structure constants [3, Proposition 6.4.3]. 3 Preliminaries: calculations We use MAGMA [16] to calculate products of elements in N. All calculations can be performed using online Magma Calculator [15] as well. At the moment it uses Magma V We use the following preparatory commands: L := LieAlgebra( E7,Rationals()); R := RootDatum(L); B := ChevalleyBasis(L); In such case, L has adjoint type by default. To switch data to simply-connected groups one can replace the first line on the following: L := LieAlgebra( E7, Rationals(): Isogeny := SC ). The following command produces the list of extraspecial pairs and signs of the corresponding structure constants: x, y, h := ChevalleyBasis(L); IsChevalleyBasis(L, R, x, y, h); [ 1,3,1, 1,10,1, 1,15,1, 1,17,1, 1,22,1, 1,24,1, 1,28,1, 1,29,1, 1,31,1, 1,35,1, 1,36,1, 1,40,1, 1,41,1, 1,45,1, 1,49,1, 1,62,1, 2,4,1, 2,10,1, 2,11,1, 2,17,1, 2,18,1, 2,24,1, 2,25,1, 2,31,1, 2,50,1, 2,54,1, 2,57,1, 2,59,1, 3,4,1, 3,11,1, 3,18,1, 3,25,1, 3,32,1, 3,38,1, 3,43,1, 3,44,1, 3,48,1, 3,52,1, 3,61,1, 4,5,1, 4,12,1, 4,19,1, 4,22,1, 4,29,1, 4,36,1, 4,46,1, 4,51,1, 4,55,1, 4,60,1, 5,6,1, 5,13,1, 5,35,1, 5,41,1, 5,57,1, 6,7,1, 6,45,1 ]. Here, for example, the triple 2,4,1 means that the pair (r 2,r 4 ) is extraspecial and N r2,r 4 = 1. It is straightforward to verify the defined above ordering gives the same set of extraspecial pairs. Thus calculations in MAGMA for N correspond to the ordering and structure constants defined in the previous section. The following commands construct elements n i and h i. G := GroupOf LieT ype(l); i=1 4

5 n := [elt G i : i in [1..NumberOfPositiveRoots(R)]]; h := [TorusTerm(G,i, 1) : i in [1..NumberOfPositiveRoots(R)]]; To obtain the list of matrices of reflections one can use the following command: w := [Transpose(i) : i in ReflectionMatrices(R)]; Lemma 3.1. [10, Lemma 1] Let g G and n = g σ g 1 N. Suppose that H T and u T. Then (i) Hu N σn if and only if H = H σn [n,u]; (ii) If H H then Hu N σn if and only if [n,hu] = 1. The following result is our main tool for calculations of powers and commutators of elements in N. Lemma 3.2. Let Φ be a root system, l be the number of simple roots in Φ and k = Φ. Assume that n = t n rij and w = t w rij, where i j {1,...,k}. Suppose that A = (a ij ) l l is the matrix of w in the j=1 j=1 basis r 1,r 2,...,r l and H = (λ 1,λ 2,...,λ l ) is an element of T. Then the following claims hold: (i) H n = (λ 1,λ 2,...,λ l ), where λ i = λai1 1 λ ai λ a il l for 1 i l; (ii) (Hn) m = (λ 1,λ 2,...,λ l )nm, where m is a positive integer, λ i = λbi1 1 λ bi λ b il l for 1 i l and b ij are elements of the matrix m 1 A t. t=0 Proof. The proof is similar to that of [10, Lemma 2], where this assertion was proved for Φ = E 6. Since we often use Lemma 3.2, we illustrate its applying with the following example. Example. Let w = w 1 w 2 w 3 and n = n 1 n 2 n 3. Then it is easy to see that w 1 (r 1 ) = r 1, w 1 (r 3 ) = r 1 +r 2, w 2 (r 2 ) = r 2, w 2 (r 4 ) = r 2 +r 4, w 3 (r 3 ) = r 3, w 3 (r 1 ) = r 1 +r 3 and w 3 (r 4 ) = r 3 +r 4. Therefore, in this case the matrix A for w is the following. A = Let H = (λ 1,λ 2,λ 3,λ 4,λ 5,λ 6,λ 7 ) T. Then by Lemma 3.2, we can use the rows of A to compute H n, namely H n1n2n3 = (λ3 1 λ 4,λ2 1 λ 4,λ 1 λ3 1 λ 4,λ 4,λ 5,λ 6,λ 7 ). Now let B = A 0 +A+A 2 +A 3 +A 4 +A 5. Then B = This matrix helps us to compute (Hn) 6. It is easy to see that n 6 = h 2, so The following lemma is clear. (Hn) 6 = (λ 4,λ 3 4,λ 4 4,λ 6 4,λ 6 5,λ 6 6,λ 6 7)n 6 = (λ 4, λ 3 4,λ 4 4,λ 6 4,λ 6 5,λ 6 6,λ 6 7). Lemma 3.3. Let N 1 = H 1 u 1,N 2 = H 2 u 2, where H 1,H 2 T and u 1,u 2 N. Then N 1 N 2 = N 2 N 1 if and only if H 1 1 Hu2 1 u 2 u 1 u 1 2 u 1 1 = H 1 2 Hu1 2. In particular, if [u 1,u 2 ] = 1, then N 1 N 2 = N 2 N 1 if and only if H 1 1 Hu2 1 = H 1 2 Hu1 2. 5

6 4 The proof for type E 7 In this section, we prove Theorem 1.2. Since case p = 2 was explained in Remark 2.6, we suppose that q is odd. We assume that G is a finite group of Lie type E 7. The extended Dynkin diagram of E 7 is the following -r 0 r 1 r 3 r 4 r 5 r r 2 r 7 1 It is known that in this case the Weyl group W is isomorphic to 2 O 7 (2) (in the notation of [13]). So W has a central involution w 0. It is easy to verify that w 0 = w 1 w 2 w 5 w 7 w 37 w 55 w 61. There are in total 60 conjugacy classes in W and all of them are divided into pairs. Namely, for every w W elements w and ww 0 belong to different conjugacy classes. We list 30 of representatives of conjugacy classes in Table 4 and the remain 30 can be obtained by multiplying on w 0. This information can be verified with the aid of GAP [17]. There are exactly 60 conjugacy classes of maximal tori in G. The cyclic structures of maximal tori in groups of type E 7 were described in [5]. We list this information in Table 4. To see the structure for a torus that corresponds to ww 0, where w W, one can substitute q instead of q in the structure of a torus that corresponds to w. We divide the proof into three general cases. First, we consider the simply-connected case. Groups of adjoint type are considered in two subsections. One subsection is devoted to maximal tori that do not have complement in their algebraic normalizers and the another for the remains maximal tori. 4.1 Simply-connected groups of type E 7 First, weshowthatanymaximaltorust ofthe groupg = E7 sc (q) doesnothaveacomplementinits algebraic normalizer N(G,T). Denote n 0 = n 1 n 2 n 5 n 7 n 37 n 55 n 61. Using MAGMA, we verify that n 2 0 = h 2h 5 h 7. Assume that T has a complement K in N(G,T). Since w 0 C W (w), there exists a preimage N 0 of w 0 in K such that N0 2 = 1. Then N 0 = Hn 0, where H T. Since w 0 maps r to r for every r Φ, Lemma 3.2 implies that H n0 = H 1 for every H T. Therefore, we have N0 2 = HH n0 n 2 0 = HH 1 h 2 h 5 h 7 = h 2 h 5 h 7, a contradiction. For any w W with l(w) < l(ww 0 ) we find a lift of w to N(G,T) of the same order. Examples of the lifts we list in Table 1. In each case we present an element n w T for w W such that π(n w ) = w. Using MAGMA, we see that n w = w and hence n w is a lift for w to N σnw. Then w has a lift in N(G,T), since N(G,T) and N σnw are conjugate. Consider w W such that w = 4k for an integer k and l(w) < l(ww 0 ). Since the lift N in Table 1 for w lies in T and n 0 Z(T ), we get (Nn 0 ) 4k = N 4k n 4k 0 = (h 2 h 5 h 7 ) 2k = 1. Therefore, Nn 0 is a lift for ww 0 of the same order. Let ww 0 = 4k +2 for an integer k and l(w) < l(ww 0 ). Suppose that ww 0 has a lift N in its algebraic normalizer of the same order. Then N = Hnn 0 = (λ 1,λ 2,λ 3,λ 4,λ 5,λ 6,λ 7 )nn 0 for some λ i F p and n T. Since n 0 commutes with n, we have (nn 0 ) 2i = n 2i (h 2 h 5 h 7 ) i and (nn 0 ) 2i+1 = n 2i+1 n 0 (h 2 h 5 h 7 ) i, where i is an integer. Then N 4k+2 = (Hn 0 n) 4k+2 = HH n0n H (n0n)2...h (n0n)4k+1 (n 0 n) 4k+2 = H(H 1 ) n H n2 (H n2 ) n...h n4k (H n4k ) n n 4k+2 h 2 h 5 h 7. Let w w 1,w 2,w 3,w 4,w 5,w 6. This is the case for the first 25 representatives in Table 1. By Lemma 3.2, we infer that H ni = (,,,,,,λ 7 ) for every i > 0 and n 4k+2 = (,,,,,,1). Hence, N 4k+2 = (,,,,,, 1) 1; a contradiction. 6

7 Representative w w lift for w lift for ww w 1 2 h 3 n 1 3 w 1 w 2 2 h 3 h 4 n 1 n 2 4 w 3 w 1 3 n 3 n 1 5 w 2 w 3 w 5 2 h 4 n 2 n 3 n 5 6 w 1 w 3 w 5 6 h 4 n 1 n 3 n 5 7 w 1 w 3 w 4 4 h 2 n 1 n 3 n 4 h 2 n 1 n 3 n 4 n 0 8 w 1 w 4 w 6 w 53 2 n 1 n 4 n 6 n 53 9 w 1 w 2 w 3 w 5 6 h 1 h 4 n 1 n 2 n 3 n 5 10 w 1 w 5 w 3 w 6 3 n 1 n 5 n 3 n 6 11 w 1 w 4 w 6 w 3 4 h 2 n 1 n 4 n 6 n 3 h 2 n 1 n 4 n 6 n 3 n 0 12 w 1 w 4 w 3 w 2 5 n 1 n 4 n 3 n 2 13 w 3 w 2 w 5 w 4 6 n 3 n 2 n 5 n 4 14 w 3 w 2 w 4 w 16 4 n 3 n 2 n 4 n 16 n 3 n 2 n 4 n 16 n 0 15 w 1 w 5 w 3 w 6 w 2 6 h 4 n 1 n 5 n 3 n 6 n 2 16 w 1 w 4 w 6 w 3 w 53 4 h 2 n 1 n 4 n 6 n 3 n 53 h 2 n 1 n 4 n 6 n 3 n 53 n 0 17 w 1 w 4 w 5 w 3 w h 2 n 1 n 4 n 5 n 3 n w 1 w 4 w 6 w 3 w 5 6 h 2 n 1 n 4 n 6 n 3 n 5 19 w 2 w 5 w 3 w 4 w 6 8 n 2 n 5 n 3 n 4 n 6 n 2 n 5 n 3 n 4 n 6 n 0 20 w 23 w 5 w 4 w 3 w 2 12 h 1 n 23 n 5 n 4 n 3 n 2 h 1 n 23 n 5 n 4 n 3 n 2 n 0 21 w 1 w 5 w 2 w 3 w 6 w 53 3 n 1 n 5 n 2 n 3 n 6 n w 1 w 4 w 6 w 3 w 5 w 53 6 n 1 n 4 n 6 n 3 n 5 n w 1 w 4 w 6 w 3 w 2 w 5 12 n 1 n 4 n 6 n 3 n 2 n 5 n 1 n 4 n 6 n 3 n 2 n 5 n 0 24 w 1 w 4 w 16 w 3 w 2 w 6 9 n 1 n 4 n 16 n 3 n 2 n 6 25 w 1 w 4 w 16 w 3 w 2 w 40 6 n 1 n 4 n 16 n 3 n 2 n w 1 w 4 w 6 w 3 w 7 12 h 2 n 1 n 4 n 6 n 3 n 7 h 2 n 1 n 4 n 6 n 3 n 7 n 0 27 w 1 w 4 w 6 w 2 w 3 w 7 15 n 1 n 4 n 6 n 2 n 3 n 7 28 w 3 w 2 w 4 w 16 w 7 4 n 3 n 2 n 4 n 16 n 7 n 3 n 2 n 4 n 16 n 7 n 0 29 w 1 w 4 w 6 w 3 w 5 w 7 7 n 1 n 4 n 6 n 3 n 5 n 7 30 w 39 w 3 w 5 w 1 w 4 w 6 8 n 39 n 3 n 5 n 1 n 4 n 6 n 39 n 3 n 5 n 1 n 4 n 6 n 0 Table 1: Lifts for elements of W(E 7 ) In the remaining two cases (representatives 27 and 29 in Table 1) the order of w is odd, say w = 2k+1. Then (ww 0 ) 2k+1 = w 0. If ww 0 has a preimage N in N(G,T) of the same order, then N 2k+1 is a preimage of w 0 of order 2, which is impossible by the argument above. Concluding this subsection, we note that if w does not have a preimage in N(G,T) of the same order, then, clearly, there exists a preimage of w in N(G,T) of order 2 w. 7

8 4.2 Adjoint groups of type E 7 : non-splitting cases Let G = E7 ad(q) and W be the Weyl group of type E 7. Throughout this subsection we suppose that T is a maximal σ-invariant torus of G and T is a maximal torus of G corresponding to a conjugacy class of w W. We write H = (λ 1,λ 2,λ 3,λ 4,λ 5,λ 6,λ 7 ) for an arbitrary element of T. This notation means that H = 7 h ri (λ i ). Observe that Z(E7 sc(q)) = h 2h 5 h 7. For simplicity, we identify h i with their images in G i=1 and assume that h 2 h 5 h 7 = 1. Recall that π is the natural homomorphism from N onto W. The main tool to show that T does not have a complement in N(G,T) is the following assertion. Lemma 4.1. Let w W and C W (w) w 2 w 5,w 49,w 63 Z 2 Z 2 Z 2. Suppose that n N such that π(n) = w and n 2 n 5,n 49,n 63 lie in N σn. Then T σn does not have a complement in N σn. Proof. Assume that T σn has a complement K in N σn. Let N 1,N 2,N 3 be preimages of w 2 w 5, w 49 and w 63 in K, respectively. Then N 1 = H 1 n 2 n 5, N 2 = H 2 n 49, N 3 = H 3 n 63, where H 1 = (µ 1,...,µ 7 ),H 2 = (α 1,...,α 7 ),H 3 = (β 1,...,β 7 ), are elements of T σn. Sincew 2 63 = 1, itistruethatn2 3 = 1. ComputationsinMAGMAshowthatn2 63 = h 3h 5 h 7. ByLemma3.2, (Hn 63 ) 2 = (1,λ 2 1 λ2 2, λ 3 1 λ2 3,λ 4 1 λ2 4, λ 3 1 λ2 5,λ 2 1 λ2 6, λ 1 1 λ2 7). Therefore, β 2 1 = εβ 2 2 and β 2 5 = εβ 3 1, where ε {1, 1}. Since [w 63,w 2 w 5 ] = [w 63,w 49 ] = 1, we infer that [N 3,N 1 ] = [N 3,N 2 ] = 1. Using MAGMA, we see that [n 63,n 2 n 5 ] = [n 63,n 49 ] = 1. It follows from Lemma 3.3 that H3 1 Hn2n5 3 = H1 1 Hn63 1 and H3 1 Hn49 H2 1 Hn63 2. By Lemma 3.2, H 1 H n63 = (λ 2 1,λ 2 1,λ 3 1,λ 4 1,λ 3 1,λ 2 1,λ 1 1 ), H 1 H n2n5 = (1,λ 2 2 λ 4,1,1,λ 4 λ 2 5 λ 6,1,1), H 1 H n49 = (1,λ 1 λ 1 6,λ 1λ 1 6,λ2 1 λ 2 6,λ2 1 λ 2 6,λ2 1 λ 2 6,λ 1λ 1 6 ). So we have (1,β 2 2 β 4,1,1,β 4 β 2 5 β 6,1,1) = (µ 2 1,µ 2 1,µ 3 1,µ 4 1,µ 3 1,µ 2 3 = 1,µ 1 1 ). Whence µ 3 1 = µ 4 1 and so µ 1 = 1. Then β2 2 β 4 = β 4 β5 2 β 6 = 1. Therefore, β5 2 = β 6 β2. 2 Since β1 2 = εβ2 2 and β5 2 = εβ1 3, we infer that β 6 = β 1. The equality H3 1 Hn49 3 = H2 1 Hn63 2 implies that (1,β 1 β6 1,β 1β6 1,β2 1β6 2,β2 1β6 2,β2 1β6 2,β 1β6 1 ) = (α 2 1,α 2 1,α 3 1,α 4 1,α 3 1,α 2 1,α 1 1 ). Applying β 1β6 1 = 1 to the latter equality, we find that (α 2 1,α 2 1,α 3 1,α 4 1,α 3 1,α 2 1,α 1 1 ) = (1, 1, 1,1,1,1, 1). From the equalities of first coordinates, we see that α 2 1 = 1. Since on the right-hand side the fifth and seventh coordinates have different signs, we infer that α 3 1 = α 1 1 ; a contradiction with α2 1 = 1. The following lemma finishes the proof of the theorem for cases when T does not have complements. Lemma 4.2. Let w or w 0 w is one of the following: 1, w 1, w 1 w 2, w 2 w 3 w 5, w 1 w 3 w 4, w 1 w 4 w 6 w 53, w 1 w 4 w 6 w 3, w 3 w 2 w 4 w 16, w 1 w 4 w 6 w 3 w 53, w 3 w 2 w 4 w 16 w 7. Suppose that T is a maximal torus that corresponds to the conjugacy class of w in W. Then N(G,T) does not split over T and there exists a lift of w to N(G,T) of order w. Proof. By Lemma 2.5, we can assume that w is an element from the list in the hypothesis. Using GAP, we find that in each case there exists w W which is conjugate to w and such that w 2 w 5, w 49, w 63 C W (w ). Examples of such w for every w are listed in Table 2. The first column of this table contains number of a torus according to Table 4, and the third contains an example of w for w. The fourth column contains elements n w T such that [n w,n 2 n 5 ] = [n w,n 49 ] = [n w,n 63 ] = 1 and π(n w ) = w. Then Lemma 3.1 yields n 2 n 5, n 49 and n 63 belong to N σnw in each case. Now Lemma 4.1 implies that N σnw does not split over T σnw. So N(G,T) does not split over T by Remark 2.4. Finally, the fifth column contains another preimage n of w in T such that w = n. The latter equality can be verified in MAGMA. Thus n is a lift for w to N σn of the same order. Then n n 0 is a lift for w w 0 and the lemma is proved. 8

9 w w preimage w lift for w w 1 w 7 n 7 h 6 n 7 3 w 1 w 2 w 2 w 5 n 2 n 5 h 4 n 2 n 5 5 w 2 w 3 w 5 w 3 w 5 w 2 n 3 n 5 n 2 h 4 n 3 n 5 n 2 7 w 1 w 3 w 4 w 2 w 4 w 16 h 4 n 2 n 4 n 16 h 6 n 2 n 4 n 16 8 w 1 w 4 w 6 w 53 w 2 w 5 w 49 w 63 n 2 n 5 n 49 n 63 n 2 n 5 n 49 n w 1 w 4 w 6 w 3 w 2 w 63 w 4 w 16 h 4 n 2 n 63 n 4 n 16 h 6 n 2 n 63 n 4 n w 3 w 2 w 4 w 16 w 3 w 2 w 4 w 16 h 4 n 3 n 2 n 4 n 16 n 3 n 2 n 4 n w 1 w 4 w 6 w 3 w 53 w 2 w 8 w 32 w 57 w 60 h 1 n 2 n 8 n 32 n 57 n 60 h 6 n 2 n 8 n 32 n 57 n w 3 w 2 w 4 w 16 w 7 w 3 w 2 w 4 w 16 w 7 h 4 n 3 n 2 n 4 n 16 n 7 n 3 n 2 n 4 n 16 n 7 Table 2: Non-splitting normalizers of maximal tori of E ad 7 (q) 4.3 Adjoint groups of type E 7 : splitting cases In this subsection, we show that maximal tori of G that are not considered in the previous subsection have complements in their algebraic normalizers. Recall that w 0 = w 1 w 2 w 5 w 7 w 37 w 55 w 61 is the central involution of W. Put n 0 = n 1 n 2 n 5 n 7 n 37 n 55 n 61. Calculations in MAGMA show that [n 0,n i ] = 1 for i = 1,...,7 and hence [n 0,h i ] = 1 for i = 1,...,7. As above, we identify h i with their images in G, in particular h 2 h 5 h 7 = 1. We divide the proof into two parts: first, we consider maximal tori that need a special treatment and then we finish with other tori using a common approach. Lemma 4.3. Suppose that w or ww 0 is conjugate to one of the following: w 3 w 1, w 1 w 3 w 5, w 1 w 2 w 3 w 5, w 2 w 5 w 3 w 4 w 6, w 23 w 5 w 4 w 3 w 2, w 1 w 4 w 6 w 3 w 7 or w 39 w 3 w 5 w 1 w 4 w 6. If T is a maximal torus corresponding to the conjugacy class of w then N(G,T) splits over T. Proof. We consider each case separately. Torus 4. In this case w = w 3 w 1 and C W (w) = ww 0 w 2,w 50,w 7,w 6,w 5 Z 6 S 6. Here we use that S 6 a,b,c,d,e a 2 = b 2 = c 2 = d 2 = e 2 = (ab) 3 = (bc) 3 = (cd) 3 = (de) 3 = [a,c] = [a,d] = [a,e] = [b,d] = [b,e] = [c,e] = 1, and w 2, w 50, w 7, w 6 and w 5 satisfy this set of relations. Let α F p such that α 2 = 1 and put H 2 = (1,α,1,1,α, 1, α),h 3 = (1,α,1,1, α, 1,α),H 4 = H 5 = ( 1,α,1, 1,α,1,α) and H 6 = ( 1,α,1, 1,α, 1,α). Let n = n 3 n 1, N 1 = nn 0, N 2 = H 2 n 2, N 3 = H 3 n 50, N 4 = H 4 n 7, N 5 = H 5 n 6 and N 6 = H 6 n 5. We claim that K = N 1,N 2,N 3,N 4,N 5,N 6 is a complement for T σn in N σn. Since H 1 i H n0 = H 2 i = 1 foreveryi {2...6}, Lemma 3.3implies that [n 0,N 2 ] = [n 0,N 3 ] = [n 0,N 4 ] = [n 0,N 5 ] = [n 0,N 6 ] = 1. Using MAGMA, we see that N1 6 = 1 and [n 3n 1,n 2 ] = [n 3 n 1,n 50 ] = [n 3 n 1,n 7 ] = [n 3 n 1,n 6 ] = [n 3 n 1,n 5 ] = 1, so n 2, n 50, n 7, n 6, n 5 belong to N σn. By Lemma 3.2, we haveh n = (λ 1 1 λ 3,λ 2,λ 1 1 λ 4,λ 4,λ 5,λ 6,λ 7 ). Therefore, Hi n = H i fori {2,3,4,5,6}. This implies that Hi σn = (1,( 1) ((q 1)/2),1,1,( 1) ((q 1)/2),1,( 1) ((q 1)/2) )H i = H i, wherei {2,3,4,5,6} and hence H i T σn. Moreover, Lemma 3.3 yields [n 3 n 1,N i ] = 1, where i {2,3,4,5,6}. So K N 1 N 2,N 3,N 4,N 5,N 6. NowweprovethatN2 2 = (N 2N 3 ) 3 = 1and[N 2,N 4 ] = [N 2,N 5 ] = [N 2,N 6 ] = 1. Sincen 2 2 = h 2, Lemma3.2 implies that (Hn 2 ) 2 = (λ 2 1, λ 4,λ 2 3,λ 2 4,λ 2 5,λ 2 6,λ 2 7). Therefore, N2 2 = h 2 h 5 h 7 = 1. Calculations in MAGMA show that [n 2,n 7 ] = [n 2,n 6 ] = [n 2,n 5 ] = 1. By Lemma 3.3, to see that [N 2,N 4 ] = [N 2,N 5 ] = [N 2,N 6 ] = 1 it is sufficient to verify that H n2 4 = H 4, H n2 5 = H 5, H n2 6 = H 6 and H 2 = H n7 2 = H n6 2 = H n5 2. By Lemma 3.2, we find that H n2 = (λ 1,λ 1 2 λ 4,λ 3,λ 4,λ 5,λ 6,λ 7 ),H n5 = (λ 1,λ 2,λ 3,λ 4,λ 4 λ 1 5 λ 6,λ 6,λ 7 ), 9

10 H n6 = (λ 1,λ 2,λ 3,λ 4,λ 5,λ 5 λ 1 6 λ 7,λ 7 ) and H n7 = (λ 1,λ 2,λ 3,λ 4,λ 5,λ 6,λ 6 λ 1 7 ). Applying these equations to H 2, H 4, H 5 and H 6, we infer that N 2 commutes with N 4, N 5 and N 6. Finally, observe that N 2 N 3 = H 2 H n2 3 n 2n 50 and H 2 H n2 3 = H 2 (1, α,1,1, α, 1,α) = 1. So (N 2 N 3 ) 3 = (n 2 n 50 ) 3 = 1, as claimed. Now we prove that N3 2 = (N 3 N 4 ) 3 = 1 and [N 3,N 5 ] = [N 3,N 6 ] = 1. Using MAGMA, we see that n 2 50 = h 1h 2 h 4 h 6. Lemma 3.2 implies that (Hn 50 ) 2 = ( λ 2 1λ 2 λ 1 4 λ 7, λ 3 2λ 1 4 λ 7,λ 2 2λ 2 3λ 2 4 λ2 7, λ 3 2λ 1 4 λ3 7,λ 2 2λ 2 4 λ2 5λ 2 7, λ 2 λ 1 4 λ2 6λ 7,λ 2 7). Therefore, N3 2 = h 2h 5 h 7 = 1. Calculations in MAGMA show that [n 50,n 6 ] = [n 50,n 5 ] = 1. By the aboveequations, we see that H n6 3 = H 3 and H n5 3 = H 3. Lemma 3.2 implies that H 1 H n50 = (t,t,t 2,t 3,t 2,t,1), where t = λ 2 λ 1 4 λ 7. So H5 1 Hn50 5 = H6 1 Hn50 6 = 1. By Lemma 3.3, we infer that N 3 commutes with N 5 and N 6. Observe that N 3 N 4 = H 3 H n50 4 n 50 n 7. We know that H 4 = H 5 and H n50 5 = H 5, so H 3 H n50 4 = H 3 H 4 = h 1 h 2 h 4 h 6 h 7. Using MAGMA, we see that (h 1 h 2 h 4 h 6 h 7 n 50 n 7 ) 3 = 1 and hence (N 3 N 4 ) 3 = 1. Now we prove that N4 2 = (N 4N 5 ) 3 = 1 and [N 4,N 6 ] = 1. First, observe that N4 2 = (H 4n 7 ) 2 = H 4 H n7 4 h 7. By the above-equation for H n7, we infer that H n7 4 = H 4 h 7 and so N4 2 = 1. Since N 4N 5 = H 4 H n7 5 n 7n 6 and H 4 H n7 5 = H 4 H n7 4 = h 7, we have (N 4 N 5 ) 3 = (h 7 n 7 n 6 ) 3 = 1. Calculations in MAGMA show that [n 7,n 5 ] = 1, so [N 4,N 6 ] = 1 is equivalent to H4 1 Hn5 4 = H6 1 Hn7 6. By the above-equations for and H Hn7 n6, we have H 4 = H n5 4 and H 6 = H n7 6. Therefore, N 4 and N 6 commute. Finally,weverifythatN5 2 = N6 2 = (N 5 N 6 ) 3 = 1. SinceN5 2 = H 5 H n6 5 h 6 andn6 2 = H 6 H n5 6 h 5, weinferthat N5 2 = N2 6 = 1. Observe that N 5N 6 = H 5 H n6 6 n 6n 5 = H 5 ( 1,α,1, 1,α,1,α)n 6 n 5 = h 2 h 5 h 7 n 6 n 5 = n 6 n 5, so (N 5 N 6 ) 3 = (n 6 n 5 ) 3 = 1. Thus N 2,N 3,N 4,N 5,N 6 S 6 and hence K C W (w). Torus 6. In this case w = w 1 w 3 w 5 is conjugate to w = w 1 w 2 w 3 and C W (w ) = w w 0 w 5,w 6,w 7 Z 6 Z 2 S 4. Letn = n 1 n 2 n 3 andα F p suchthatα 2 = 1. UsingMAGMA, weseethat[n,n 5 ] = [n,n 6 ] = [n,n 7 ] = 1 and n 5,n 6,n 7 N. Put By Lemma 3.2, H 2 = ( 1,α,1, 1,α, 1,α),H 3 = H 4 = ( 1,α,1, 1,α,1,α). H n = (λ 1 3 λ 4,λ 1 2 λ 4,λ 1 λ 1 3 λ 4,λ 4,λ 5,λ 6,λ 7 ). Then H σn 2 = ( 1,α,1, 1,α, 1,α) σ = H 2 and H 2 T σn. It is easy to see that h 6 T σn and hence H 3,H 4 T σn. Put N 2 = H 2 n 5,N 3 = H 3 n 6,N 4 = H 4 n 7. We claim that N 2,N 3,N 4 S 4. By Lemma 3.2, we have H n5 = (λ 1,λ 2,λ 3,λ 4,λ 4 λ 1 5 λ 6,λ 6,λ 7 ),H n6 = (λ 1,λ 2,λ 3,λ 4,λ 5,λ 5 λ 1 6 λ 7,λ 7 ), H n7 = (λ 1,λ 2,λ 3,λ 4,λ 5,λ 6,λ 6 λ 1 7 ). Then N 2 2 = H 2 H n5 2 n2 5 = h 2 h 7 h 5 = 1. Similarly, we see that N 2 3 = N 2 4 = h 2 h 5 h 7 = 1. Moreover, we have N 2 N 3 = H 2 H n5 3 n 5n 6 = ( 1,α,1, 1,α, 1,α)( 1,α,1, 1,α,1,α)n 5 n 6 = h 6 n 5 n 6, and N 3 N 4 = H 3 H n6 4 n 6n 7 = ( 1,α,1, 1,α,1,α)( 1,α,1, 1,α, 1,α)n 6 n 7 = h 6 n 6 n 7. Calculations in MAGMA show that (h 6 n 5 n 6 ) 3 = (h 6 n 6 n 7 ) 3 = 1. Hence, (N 2 N 3 ) 3 = (N 3 N 4 ) 3 = 1 and N 2,N 3,N 4 S 4. Assume that q 3 (mod 4). Let β F p such that β q+1 = 1, H 1 = (1,β,1,1, α, 1,α),H 0 = (1,αβ,1,1, α, 1,α). Then α q = α and H σn 1 = (1,β 1,1,1, α, 1,α) σ = (1, β,1,1,α, 1, α) = H 1. Therefore, we have H 1 T σn. Since H 0 = H 1 (1,α,1,1,1,1,1) and (1,α,1,1,1,1,1) σn = (1,α 1,1,1,1,1,1,) σ = (1,α,1,1,1,1,1), we also get H 0 T σn. Put N 1 = H 1 n and N 0 = H 0 n 0. We claim that K = N 1,N 0,N 2,N 3,N 4 is a complement for T σn. 10

11 Calculations in MAGMA show that n 6 = h 2. By Lemma 3.2, we have (Hn) 6 = (λ 2 4, λ 3 4,λ 4 4,λ 6 4,λ 6 5,λ 6 6,λ 6 7). Hence, N1 6 = (1, 1,1,1, 1,1, 1)= 1. By Lemma 3.2, H 1 H n5 = (1,1,1,1,λ 4 λ 2 5 λ 6,1,1),H 1 H n6 = (1,1,1,1,1,λ 5 λ 2 6 λ 7,1), H 1 H n7 = (1,1,1,1,1,1,λ 6 λ7 2 ) and H 1 H n = (λ 1 1 λ 1 3 λ 4,λ 2 2 λ 4,λ 1 λ 2 3 λ 4,1,1,1,1). Then, H1 1 Hn5 1 = H1 1 Hn6 1 = H1 1 Hn7 1 = 1, H1 1 HN0 1 = H1 2 = (1,β 2,1,1, 1,1, 1). Moreover, we see that H2 1 Hn 2 = H 1 3 Hn 3 = H 1 4 Hn 4 = 1 and H 1 0 Hn 0 = (1, β 2,1,1,1,1,1). Hence, by Lemma 3.3 we obtain [N 1,N 2 ] = [N 1,N 3 ] = [N 1,N 4 ] = [N 1,N 0 ] = 1. Now we see that H2 2 = H3 2 = H4 2 = (1, 1,1,1, 1,1, 1) = 1. On the other hand, H0 1 Hn5 0 = H0 1 Hn6 0 = H0 1 Hn7 0 = 1 and hence Lemma 3.3 implies that [N 0,N 2 ] = [N 0,N 3 ] = [N 0,N 4 ] = 1. So K N 1 N 0 N 2,N 3,N 4 Z 6 Z 2 S 4 is a complement for T σn. Assume that q 1 (mod 4). Let α,δ F p such that α 2 = 1 and δ q 1 = 1. Observe that α q = α and δ q = δ. Put H 1 = (1,1,1,1,α, 1, α) and H 0 = (δ 4,αδ 6,δ 8,δ 12,δ 9,δ 6,δ 3 ). Then H σn 1 = (1,1,1,1,α, 1, α) σ = H 1 and so H 1 T σn. Now H σn 0 = (δ 8 δ 12, αδ 6,δ 4 δ 8 δ 12,δ 12,δ 9,δ 6,δ 3 ) σ = (δ 4, αδ 6,δ 8,δ 12, δ 9,δ 6, δ 3 ) = H 0 and hence H 0 T σn. We claim that K = N 1,N 2,N 3,N 4,N 0 is a complement for T σn. As it was shown above, we have (Hn) 6 = (λ 2 4, λ3 4,λ4 4,λ6 4,λ6 5,λ6 6,λ6 7 ). Therefore, we see that N6 1 = (1, 1,1,1, 1,1, 1)= 1. We see above that H2 1 Hn 2 = H 1 3 Hn 3 = H 1 4 Hn 4 = 1. Since H 1 H n = (λ1 1 λ 1 3 λ 4,λ 2 2 λ 4,λ 1 λ 2 3 λ 4,1,1,1,1), then Remind that H 1 0 Hn 0 = (1, 1,1,1,1,1,1)= h 2. H 1 H n5 = (1,1,1,1,λ 4 λ 2 5 λ 6,1,1),H 1 H n6 = (1,1,1,1,1,λ 5 λ 2 6 λ 7,1),H 1 H n7 = (1,1,1,1,1,1,λ 6 λ 2 7 ). Then, H 1 1 Hn5 1 = H 1 1 Hn6 1 = H 1 1 Hn7 1 = 1 and H 1 1 HN0 1 = H 2 1 = (1,1,1,1, 1,1, 1)= h 5 h 7 = h 2. Hence, by Lemma 3.3 we obtain [N 1,N 2 ] = [N 1,N 3 ] = [N 1,N 4 ] = [N 1,N 0 ] = 1. Further, H0 1 Hn5 0 = H0 1 Hn6 0 = H0 1 Hn7 0 = 1 and by Lemma 3.3 we obtain [N 0,N 2 ] = [N 0,N 3 ] = [N 0,N 4 ] = 1. Hence, K N 1 N 0 N 2,N 3,N 4 Z 6 Z 2 S 4 is a complement for T σn. Torus 9. In this case w = w 1 w 2 w 3 w 5 and C W (w) = w 0 w 2 w 7 w 5,w 58 w 59 Z 6 Z 2 D 8. Let n = h 4 n 1 n 2 n 3 n 5 and α F p such that α 2 = 1. Put N 1 = n 0 n 2, N 2 = H 1 n 7, N 3 = H 1 h 6 n 5 and N 4 = H 1 h 1 h 4 n 58 n 59, where H 1 = ( 1,α,1, 1, α,1,α). We claim that K = N 1,N 2,N 3,N 4 is a complement for T σn in N σn. First, using MAGMA wee see that [n,n 7 ] = [n,h 6 n 5 ] = [n,h 1 h 4 n 58 n 59 ] = 1, so n 7, h 6 n 5 and h 1 h 4 n 58 n 59 belong to N σn. Now we verify that H 1 T σn. By Lemma 3.2, H n = (λ 1 3 λ 4,λ 1 2 λ 4,λ 1 λ 1 3 λ 4,λ 4,λ 4 λ 1 5 λ 6,λ 6,λ 7 ). Applying this to H 1, we find that H n 1 = ( 1, α 1,1, 1, ( α) 1,1,α) = H 1. Then H σ 1 = ( 1,α q,1, 1,( α) q,1,α q ) = (1,α q 1,1,1,α q 1,1,α q 1 )H 1 = H 1 and hence H 1 T σn. So N 2, N 3 and N 4 belong to N σn. Calculations in MAGMA show that N 6 1 = 1. Now we verify that [N 1,N 2 ] = 1, [N 1,N 3 ] = 1 and [N 1,N 4 ] = 1. Using MAGMA, we see that [N 1,n 7 ] = [N 1,h 6 n 5 ] = [N 1,h 1 h 4 n 58 n 59 ] = 1. By Lemma 3.2, H 1 H N1 = (λ3 1,λ 2 2,λ 1λ 1 3 λ 1 4,λ 2 4,λ 2 5,λ 2 6,λ 2 7 ). 11

12 Therefore, H1 1 HN1 1 = h 2 h 5 h 7 = 1 and hence N 1 commutes with N 2, N 3 and N 4 by Lemma 3.3. So K N 1 N 2,N 3,N 4 Now we prove that N2 2 = 1 and [N 2,N 3 ] = [N 2,N 4 ] = 1. Since n 2 7 = h 7, we have N2 2 = H 1H n7 1 h 7. By Lemma 3.2, H n7 = (λ 1,λ 2,λ 3,λ 4,λ 5,λ 6,λ 6 λ 1 7 ) and so Hn7 1 = h 7 H 1. Therefore, N2 2 = h 2h 5 h 7 h 2 7 = 1. Using MAGMA, we see that [n 7,h 6 n 5 ] = h 7 and [n 7,h 1 h 4 n 58 n 59 ] = 1. By Lemma 3.2, H n5 = (λ 1,λ 2,λ 3,λ 4,λ 4 λ 1 5 λ 6,λ 6,λ 7 ), H n58n59 = (λ 1 λ 1 6,λ 5λ 2 6,λ 3λ 2 6,λ 4λ 3 6,λ 2λ 2 6,λ 1 6,λ 1 6 λ 7). Applying to H 1, we find that H n5 1 = H 1 and H n58n59 1 = h 2 h 5 H 1 = h 7 H 1. We see above that H n7 so h 7 H n5 1 = H n7 1 = H n58n59 1 = H 1 h 7, 1. It follows from Lemma 3.3 that [N 2,N 3 ] = [N 2,N 4 ] = 1. Finally, we show that N 3,N 4 D 8. Namely, we verify that N3 2 = N2 4 = (N 3N 4 ) 4 = 1. Using MAGMA, we see that (h 6 n 5 ) 2 = 1 and (h 1 h 4 n 58 n 59 ) 2 = h 7. By Lemma 3.2, (Hh 6 n 5 ) 2 = (λ 2 1,λ2 2,λ2 3,λ2 4,λ 4λ 6,λ 2 6,λ2 7 ), (Hh 1 h 4 n 58 n 59 ) 2 = (λ 2 1 λ 1 6,λ 2λ 5 λ 2 6,λ2 3 λ 2 6,λ2 4 λ 3 6,λ 2λ 5 λ 2 6,1, λ 1 6 λ2 7 ). Applying these equations to H 1, we find that N3 2 = N4 2 = 1. Since (H 1 h 6 n 5 )(H 1 h 1 h 4 n 58 n 59 ) = (H 1 H n5 1 )(h 6n 5 h 1 h 4 n 58 n 59 ) = (H1 2)(h 6n 5 h 1 h 4 n 58 n 59 ) = h 6 n 5 H 1 h 1 h 4 n 58 n 59, we infer that (N 3 N 4 ) 4 = (h 6 n 5 h 1 h 4 n 58 n 59 ) 4 = 1. Thus K Z 6 Z 2 D 8 C W (w) and hence K is a complement. Torus 13. In this case w = w 3 w 2 w 5 w 4 and C W (w) Z 6 Z 2 S 4. Using GAP, we see that C W (w) a,b,c,d a 6 = b 2 = c 2 = d 2 = [a,b] = [a,c] = [a,d] = (bd) 2 = (bc) 4 = (cd) 3 = 1 and w, w 7, w 23 w 24, w 20 w 21 are elements of C W (w) that satisfy this set of relations. Let α,β F p such that α 2 = 1 and β q 1 = ( 1) (q+1)/2. Put n = n 3 n 2 n 5 n 4, N 1 = H 1 n, N 2 = H 2 n 7, N 3 = h 4 h 6 n 23 n 24 and N 4 = h 3 h 5 n 20 n 21, where H 1 = ( 1,α,1, 1, α,1,α) and H 2 = (1,α, 1,1,α,1,β). We claim that K = N 1,N 2,N 3,N 4 is a complement for T σn in N σn. First, we verify that H 1 and H 2 belong to T σn. By Lemma 3.2, H n = (λ 1,λ 3 λ 1 4 λ 5,λ 1 λ 2 λ 1 4 λ 5,λ 2 λ 3 λ 1 4 λ 5,λ 2 λ 3 λ 1 4 λ 6,λ 6,λ 7 ). Therefore, H1 n = H 1 and H2 n = (1, α, 1,1, α,1,β). Then H1 nσ = H 1 (1,( 1) (q 1)/2,1,1,( 1) (q 1)/2,1,( 1) (q 1)/2 ) = H 1 and H2 nσ = (1,α( 1) (q+1)/2, 1,1,α( 1) (q+1)/2,1,β q ). Since β q = β( 1) (q+1)/2, we infer that H2 nσ = H 2 and hence H 1, H 2 belong to T σn. Calculations in MAGMA show that [n,n 7 ] = [n,n 3 ] = [n,n 4 ] = 1, and hence N 1, N 2, N 3 and N 4 lie in N σn. Since n 6 = 1, Lemma 3.2 implies that (Hn) 6 = (λ 6 1,λ3 1 λ3 6,λ6 1 λ3 6,λ6 1 λ6 6,λ3 1 λ6 6,λ6 6,λ6 7 ). So N6 1 = (1, 1,1,1, 1,1, 1)= 1. Now we prove that N 1 commutes with N 2, N 3 and N 4. By Lemma 3.3, it suffices to verify that H1 1 HN3 1 = H1 1 HN4 1 = 1 and H1 1 Hn7 1 = H2 1 Hn 2. By Lemma 3.2, we see that H 1 H N3 = (1,λ 1 2 λ 3λ 1 6 λ 7,λ 1 λ 2 λ 1 3 λ 1 6 λ 7,λ 1 λ 2 6 λ2 7,λ 1 λ 2 6 λ2 7,λ 1 λ 2 6 λ2 7,1), H 1 H N4 = (λ1 2 λ 6,λ 1 1 λ 1 2 λ 5,λ 2 1 λ 6,λ 2 1 λ 6,λ 1 1 λ 2λ 1 5 λ 6,1,1), H 1 H n7 = (1,1,1,1,1,1,λ 6 λ 2 7 ). Therefore, H1 1 HN3 1 = 1, H1 1 HN4 1 = 1 and H1 1 Hn7 1 = h 7. We see above that H2 n = (1, α, 1,1, α,1,β) = h 2 h 5 H 2 = h 7 H 2 and hence H2 1 Hn 2 = H1 1 Hn7 1. Thus K N 1 N 2,N 3,N 4. Calculations in MAGMA show that N3 2 = N2 4 = (N 3N 4 ) 3 = 1, so it remains to verify that N2 2 = (N 2 N 3 ) 4 = (N 2 N 4 ) 2 = 1. Since n 2 7 = h 7, (n 7 N 3 ) 4 = h 2 h 3 and (n 7 N 4 ) 2 = h 7, Lemma 3.2 implies that (Hn 7 ) 2 = (λ 2 1,λ 2 2,λ 2 3,λ 2 4,λ 2 5,λ 2 6, λ 6 ), (Hn 7 N 3 ) 4 = (λ 4 1, λ 1 λ 2 2λ 2 3λ 2 6, λ3 1λ 2 2λ 2 3λ 2 6,λ4 1λ 4 4λ 4 6,λ4 1λ 4 5λ 4 6,λ4 1,λ 2 1), 12

13 (Hn 7 N 4 ) 2 = (λ 6,λ 1 1 λ 2λ 5,λ 2 1 λ2 3 λ 6,λ 2 1 λ2 4 λ 6,λ 1 1 λ 2λ 5 λ 6,λ 2 6, λ 6). We apply these equations to H 2 and obtain N 2 2 = h 2h 5 h 7 = 1, (N 2 N 3 ) 4 = 1 and (N 2 N 4 ) 2 = h 2 h 5 h 7 = 1. Thus K C W (w) and hence K is a complement for T σn. Torus 19. In this case w = w 2 w 5 w 3 w 4 w 6 and C W (w) = w w 0 w 63 Z 8 Z 2 Z 2. Put n = n 2 n 5 n 3 n 4 n 6. Using MAGMA, we see that [n,n 63 ] = 1 and hence n 63 N σn. Let α be an element of F p such that α 2 = 1. Put H 2 = ( 1,α,1, 1, α,1,α). By Lemma 3.2, H n = (λ 1,λ 3 λ 1 4 λ 5,λ 1 λ 2 λ 1 4 λ 5,λ 2 λ 3 λ 1 4 λ 5,λ 2 λ 3 λ 1 4 λ 5λ 1 6 λ 7,λ 5 λ 1 6 λ 7,λ 7 ). Using this equality, we see that H σn 2 = H σ 2 = H 2 and hence H 2 T σn. Let N 2 = H 2 n 63. We claim that K = n,n 0,N 1 is a complement for T σn in N σn. Calculations in MAGMA show that n 8 = 1. Since H2 n = H 2, we have H2 1 Hn 2 = 1 and the equality nn 2 = N 2 n follows from Lemma 3.3. So K n n 0,N 2. By Lemma 3.2, H n63 = (λ1 1,λ 2 1 λ 2,λ 3 1 λ 3,λ 4 1 λ 4,λ 3 1 λ 5,λ 2 1 λ 6,λ 1 1 λ 7). Then N2 2 = H 2 H n63 2 h 2 h 3 = 1. Finally, we see that H 1 2 Hn0 2 = H 2 2 = (1, 1,1,1, 1,1, 1)= 1 and hence N 2 N 0 = N 0 N 2 by Lemma 3.3. Thus K = N 1 N 2 N 0 Z 8 Z 2 Z 2, as claimed. Torus 20. In this case w = w 23 w 5 w 4 w 3 w 2 and C W (w) = w w 0 w 63 Z 12 Z 2 Z 2. Let α be an element of F p such that α 2 = 1 and n = n 23 n 5 n 4 n 3 n 2. Put N 1 = h 1 n and N 2 = H 2 n 63, where H 2 = ( 1, α,1,1,α, 1,α). By Lemma 3.2, H n = (λ 1,λ 1 λ 1 3 λ 4λ 1 6 λ 7,λ 1 λ 1 3 λ 4,λ 2 1 λ 2 3 λ 4λ 5 λ 1 6 λ 7,λ 2 1 λ 2 3 λ 4λ 7,λ 1 λ 2 λ 1 3 λ 7,λ 7 ). Using this equality, we see that H2 n = h 2h 3 H 2 and hence H2 nσh 2h 3 = H 2. Calculations in MAGMA show that [N 1,n 63 ] = h 2 h 3. Therefore, H2 nσ [N 1,n 63 ] = H 2 and N 2 N σn by Lemma 3.1. We claim that K = N 1,N 2,n 0 is a complement for T σn in N σn. Calculations in MAGMA show that N1 12 = 1. By Lemma 3.2, H n63 = (λ 1 1,λ 2 1 λ 2,λ 3 1 λ 3,λ 4 1 λ 4,λ 3 1 λ 5,λ 2 1 λ 6,λ 1 1 λ 7). Then N2 2 = H 2H n63 2 h 2 h 3 = 1. Further, we have H2 1 HN0 2 = H2 2 = (1, 1,1,1, 1,1, 1) = 1 and hence N 2 n 0 = n 0 N 2 by Lemma 3.3. Thus, K Z 12 Z 2 Z 2, as claimed. Torus 26. In this case w = w 1 w 4 w 6 w 3 w 7 and C W (w) = w w 0 w 59 Z 12 Z 2 Z 2. Let α be an element of F p such that α 2 = 1. Put n = n 1 n 4 n 6 n 3 n 7, N 1 = h 2 n and N 2 = H 2 h 3 n 59, where H 2 = (1,α,1,1, α, 1,α). Calculations in MAGMA show that [N 1,h 3 n 59 ] = 1 and hence h 3 n 59 N σn. By Lemma 3.2, H n = (λ3 1 λ 4,λ 2,λ 1 λ 1 3 λ 4,λ 1 λ 2 λ 1 3 λ 5,λ 5,λ 5 λ 1 7,λ 6λ 1 7 ). Using this equality, we see that H2 σn = H2 σ = H 2. Thus, H 2 N σn and N 2 N σn. We claim that K = N 1,n 0,N 2 is a complement for T σn in N σn. Calculations in MAGMA show that N1 12 = 1. Since H2 n = H 2, we have H2 1 Hn 2 = 1. Hence, the equality N 1 N 2 = N 2 N 1 follows from Lemma 3.3. By Lemma 3.2, H n59 = (λ 1 λ 2 λ 1 5,λ2 2λ 1 5,λ2 2λ 3 λ 2 5,λ3 2λ 4 λ 3 5,λ3 2λ 2 5,λ2 2λ 2 5 λ 6,λ 2 λ 1 5 λ 7). Then N 2 2 = H 2H n59 2 h 1 h 4 = 1. Further, we see that H 1 2 Hn0 2 = H 2 2 = (1, 1,1,1, 1,1, 1) = 1 and by Lemma 3.3 we have N 2 n 0 = n 0 N 2. Thus we conclude that K = N 1 N 2 n 0 Z 12 Z 2 Z 2, as claimed. Torus 30. In this case w = w 39 w 3 w 5 w 1 w 4 w 6 and C W (w) = w w 0 w 53 Z 8 Z 2 Z 2. Put n = n 39 n 3 n 5 n 1 n 4 n 6. Using MAGMA we see that [n,n 53 ] = 1 and hence n 53 N σn. Let α be an element of F p such that α 2 = 1. Put H 2 = (1,α, 1, 1, α,1, α). By Lemma 3.2, H n = (λ 3 λ 1 4 λ 5λ 1 7,λ 1λ 2 λ4 1 λ 5λ7 1,λ 2λ 3 λ 2 4 λ2 5 λ 1 7,λ 1λ 2 λ 3 λ 2 4 λ2 5 λ 1 7,λ 1λ 2 λ 3 λ 2 4 λ2 5 λ 1 6,λ 1λ 1 4 λ2 5 λ 1 6,λ 1λ 1 4 λ 5). Using this equality, we see that H σn 2 = (1, α, 1, 1,α,1,α) σ = H 2 and hence H 2 T σn. 13

14 Let N 1 = n and N 2 = H 2 n 53. We claim that K = N 1,n 0,N 2 is a complement for T σn in N σn. Calculations in MAGMA show that N1 8 = 1. Since H2 n = H 2, we have H2 1 Hn 2 = 1 and the equality N 1 N 2 = N 2 N 1 follows from Lemma 3.3. By Lemma 3.2, H n53 = (λ 1 λ 1 2 λ 7,λ 1 2 λ2 7,λ 2 2 λ 3λ 2 7,λ 3 2 λ 4λ 3 7,λ 2 2 λ 5λ 2 7,λ 1 2 λ 6λ 7,λ 7 ). Then N2 2 = H 2 H n53 2 h 1 h 4 h 6 = (1,α, 1, 1, α,1, α)( 1,α, 1,1, α, 1, α)h 1 h 4 h 6 = 1. Further, H2 1 Hn0 2 = H2 2 = (1, 1,1,1, 1,1, 1) = 1 and by Lemma 3.3 we have N 2 n 0 = n 0 N 2. Thus, K = N 1 N 2 n 0 Z 8 Z 2 Z 2, as claimed. Lemma 4.4. Suppose that w or ww 0 is conjugate to one of the following: w 1 w 5 w 3 w 6, w 1 w 4 w 3 w 2, w 1 w 5 w 3 w 6 w 2, w 1 w 4 w 5 w 3 w 53, w 1 w 4 w 6 w 3 w 5, w 1 w 5 w 2 w 3 w 6 w 53, w 1 w 4 w 6 w 3 w 5 w 53, w 1 w 4 w 6 w 3 w 2 w 5, w 1 w 4 w 6 w 16 w 3 w 2 w 6, w 1 w 4 w 16 w 3 w 2 w 40, w 1 w 4 w 6 w 2 w 3 w 7 or w 1 w 4 w 6 w 3 w 5 w 7. Then T has a complement in its algebraic normalizer. Proof. Our strategyis the same in all cases. For an element w, we choosen T such that π(n) = w and a set of relations that defines C W (w). Then we verify that a subgroup of N σn satisfies this set of relations and is a complement for T σn. All data is listed in Table 3. As an example, we consider the case w = w 1 w 5 w 3 w 6 that correspondstotorus10intable4. InthiscaseC W (w) = ww 0 w 2,w 53 w 2 w 32 w 35 w 46,w 2 w 28 w 42 w 43 Z 6 S 3 S 3. Using GAP, we see that C W (w) has the following presentation: a,b,c,d,e a 6 = b 2 = c 2 = d 2 = e 2 = [a,b] = [a,c] = [a,d] = [a,e] = (bd) 3 = (de) 3 = [b,d] = [b,e] = [c,d] = [c,e] = 1 Moreover, we verify that ww 0, w 2, w 53, w 2 w 32 w 35 w 46, w 2 w 28 w 42 w 43 satisfy this set of relations. Consider a = n 0 n, b = h 53 n 2, c = h 2 n 53, d = h 1 h 6 n 2 n 32 n 35 n 46 and e = h 1 h 3 h 6 n 2 n 28 n 42 n 43. Then calculations in MAGMA show that a, b, c, d, e satisfy relations for C W (w) and hence K = a,b,c,d,e is a homomorphic image of C W (w). On the other hand, we have π(k) = C W (w) and hence K C W (w). Let n = n 1 n 5 n 3 n 6. Finally, we verify that [n,a] = [n,b] = [n,c] = [n,d] = [n,e] = 1 and hence a,b,c,d,e N σn by Lemma 3.1. Thus K is a complement for T σn in N σn. Other cases can be verified in the similar way. The first column of Table 3 contains numbers of tori in accordance with Table 4. The second column for each w contains a set of relations S(w) that defines C W (w). The third column contains examples of generators of a complement. All such generators lie in T. Therefore, it is easy to verify in MAGMA that generators satisfy S(w). The natural preimage of w in T is denote by n. In each case we choose an element x T and consider the groups T σx and N σx. Usually x = n but sometimes they differ. To verify that a generator y lie in N σx, one can check that [x,y] = 1 and apply Lemma 3.1. Elements from the third column generate a complement for T σx and hence N(G,T) splits over T by Remark 2.4. For convenience, we add all verified equations in the following file: 14

15 Defining relations for C W (w) Generators for a complement of T σx in N σx 10 a 6 = b 2 = c 2 = d 2 = e 2 = 1 a = n 0 n, b = h 53 n 2, c = h 2 n 53, [a,b] = [a,c] = [a,d] = [a,e] = 1, d = h 1 h 6 n 2 n 32 n 35 n 46, (bd) 3 = (de) 3 = [b,d] = [b,e] = [c,d] = [c,e] = 1 e = h 1 h 3 h 6 n 2 n 28 n 42 n a 10 = [a,b] = [a,c] = b 2 = c 2 = (bc) 3 = 1 x = n, a = n 0 n, b = h 7 n 6, c = h 6 n 7 15 a 6 = b 2 = c 2 = d 2 = (cd) 3 = 1, a = x = h 4 n, a = x, b = n 0, [a,b] = [a,c] = [a,d] = [b,c] = [b,d] = 1 c = h 4 n 32 n 35 n 46, d = h 1 h 4 h 6 n 28 n 42 n a 10 = b 2 = [a,b] = 1 a = x = h 2 n, b = n 0 18 a 6 = b 2 = c 2 = [a,b] = [a,c] = [b,c] = 1 a = x = h 2 n, b = n 0,c = h 3 h 7 n a 3 = b 2 = c 3 = d 4 = [a,b] = [a,c] = [a,d] = 1, a = x = n, b = n 0, c = n 5 n 6, [b,c] = [b,d] = c 1 a(d 1 c 1 ) 2 d 1 = 1, d = h 1 h 3 h 4 n 1 n 4 n 8 n 22 da 1 c 1 d(dc 1 ) 2 d 1 cd 1 c 1 = 1 22 Same as for Torus 15 a = x = h 1 n, b = n 0, c = h 33 n 53, d = h 53 n a 12 = b 2 = [a,b] = 1 a = x = n, b = n 0 24 a 9 = b 2 = [a,b] = 1 a = x = n, b = n 0 25 a 6 = [a,b] = [a,c] = [a,d] = 1 x = n, a = x 2 n 0, b = h 1 h 2 h 5 n 3 n 6 n 22 n 32, d 3 = c 1 bcb = b 2 c 2 = bdc 1 d 1 = bcdbd 1 = 1 c = h 2 h 3 h 4 h 5 n 3 n 6 n 16 n 38, d = h 1 h 2 h 4 h 6 n 1 n 4 n 6 n 15 n 23 n a 30 = 1 x = n, a = xn 0 29 a 14 = 1 x = n, a = xn 0 Table 3: Splitting normalizers of maximal tori of E ad 7 (q) Representative w w C W (w) Structure of C W (w) Cyclic structure of (2, q 1).T Splits O 7 (2) (q 1) 7 2 w Z 2 (((Z 5 2 ) : A 6 ) : Z 2 ) (q 1)5 (q 2 1) 3 w 1 w Z 2 ((Z 2 2 ((((Z 2 D 8 ) : Z 2 ) : Z 3 ) : Z 2 )) : Z 2 ) (q 1)3 (q 2 1) 2 4 w 3 w Z 6 S 6 (q 1) 4 (q 3 1) + 5 w 2 w 3 w Z 2 Z 2 Z 2 (((Z 4 2 ) : Z 3 ) : Z 2 ) (q 1) (q2 1) 3 6 w 1 w 3 w Z 2 Z 6 S 4 (q 1) 2 (q 2 1) (q 3 1) + 7 w 1 w 3 w Z 2 Z 2 Z 4 S 4 (q 1) 3 (q 4 1) 8 w 1 w 4 w 6 w ((Z 2 2 (((Z 2 D 8 ) : Z 2 ) : Z 3 )) : Z 3 ) : Z3 2 (q 1) (q + 1) 2 (q 2 1) 2 9 w 1 w 2 w 3 w Z 2 Z 6 D 8 (q 1) (q 2 1) (q + 1)(q 3 1) + 10 w 1 w 5 w 3 w Z 6 S 3 S 3 (q 1) (q 3 1) w 1 w 4 w 6 w Z 4 Z 2 Z 2 Z 2 Z 2 (q 1) (q 2 1) (q 4 1) 12 w 1 w 4 w 3 w Z 10 S 3 (q 1) 2 (q 5 1) + 13 w 3 w 2 w 5 w Z 2 Z 6 S 4 (q 1) (q 2 1) (q 1)(q 3 + 1) + 14 w 3 w 2 w 4 w Z 2 (((Z 2 Z 2 Q 8 ) : Z 3 ) : Z 4 ) (q 1) ((q 1)(q 2 + 1)) 2 15 w 1 w 5 w 3 w 6 w Z 2 Z 6 S 3 (q 3 1) (q + 1)(q 3 1) + 16 w 1 w 4 w 6 w 3 w Z 2 Z 2 Z 4 S 4 (q 1) (q + 1) 2 (q 4 1) 17 w 1 w 4 w 5 w 3 w Z 10 Z 2 (q 1) (q + 1)(q 5 1) + 18 w 1 w 4 w 6 w 3 w Z 6 Z 2 Z 2 (q 1) (q 6 1) + 19 w 2 w 5 w 3 w 4 w Z 8 Z 2 Z 2 (q 1) (q 2 1)(q 4 + 1) + 20 w 23 w 5 w 4 w 3 w Z 12 Z 2 Z 2 (q 1) (q 1)(q 2 + 1)(q 3 + 1) + 21 w 1 w 5 w 2 w 3 w 6 w Z 2 ((((Z 3 Z 3 ) : Z 3 ) : Q 8 ) : Z 3 (q 2 + q + 1) 2 ) (q 3 1) + 22 w 1 w 4 w 6 w 3 w 5 w Z 2 Z 6 S 3 (q 3 + 1) (q 3 1) (q + 1) + 23 w 1 w 4 w 6 w 3 w 2 w Z 12 Z 2 (q 3 1)(q 4 q 2 + 1) + 24 w 1 w 4 w 16 w 3 w 2 w Z 18 (q 1)(q 6 + q 3 + 1) + 25 w 1 w 4 w 16 w 3 w 2 w Z 6 SL 2 (3) (q 2 q + 1) (q 1)(q 4 + q 2 + 1) + 26 w 1 w 4 w 6 w 3 w Z 12 Z 2 Z 2 (q 3 1) (q 4 1) + 27 w 1 w 4 w 6 w 2 w 3 w Z 30 (q 5 1)(q 2 + q + 1) + 28 w 3 w 2 w 4 w 16 w Z 2 ((Z 2 ((Z 4 Z 4 ) : Z 2 )) : Z 2 ) (q 1)(q 2 + 1) (q 2 1) (q 2 + 1) 29 w 1 w 4 w 6 w 3 w 5 w Z 14 q w 39 w 3 w 5 w 1 w 4 w Z 8 Z 2 Z 2 (q 4 + 1) (q 1)(q 2 + 1) + Table 4: Maximal tori of E ad 7 (q) 15