Normalisers of parabolic subgroups in finite unitary reflection groups
Muraleedaran Krishnasamy, D. E. Taylor

arXiv:1712.09563v1 [math.GR] 27 Dec 2017

School of Mathematics and Statistics
The University of Sydney
NSW 2006, Australia

Abstract
It is well known that the normaliser of a parabolic subgroup of a finite Coxeter group is the semidirect
product of the parabolic subgroup by the stabiliser of a set of simple roots. We show that a similar result
holds for all finite unitary reflection groups: namely, the normaliser of a parabolic subgroup is a semidirect
product and in many, but not all, cases the complement can be obtained as the stabiliser of a set of roots.
In addition we record when the complement acts as a reflection group on the space of fixed points of the
parabolic subgroup.
Keywords: unitary reflection group, complex reflection group, parabolic subgroup, normaliser
2010 Mathematics subject classification: 20F55

1. Introduction
Let V be a finite-dimensional vector space over the complex numbers C and suppose that V is equipped
with a positive definite hermitian form (−, −). A reflection is a linear transformation of V of finite order
whose fixed point space is a hyperplane. A unitary reflection group on V is a group of linear transformations
of V generated by reflections which preserve (−, −).
In general a reflection of order m has the form
ra,ζ (v) = v − (1 − ζ)

(v, a)
a,
(a, a)

where a is a non-zero element of V called a root of ra,ζ and ζ ∈ C is a primitive mth root of unity.
A subgroup of G is a reflection subgroup if it is generated by its reflections. A parabolic subgroup of
G is the pointwise stabiliser G(X) of a subset of X of V; by a theorem of Steinberg [23] G(X) is a reflection
subgroup. Given a parabolic subgroup P = G(X), let U = FixV (P) be the space of fixed points of P. Then
G(U) ⊆ G(X) = P ⊆ G(U) whence P = G(U). A straightforward calculation shows that the normaliser
NG (P) of P in G is GU , the setwise stabiliser of U. Similarly, NG (P) = GU ⊥ , where U ⊥ is the orthogonal
complement of U in V.

Email addresses: kmuraleedaran@sydney.edu.au (Muraleedaran Krishnasamy), donald.taylor@sydney.edu.au
(D. E. Taylor)

Given a parabolic subgroup P of G, it is the purpose of this paper—extending the work in [16]—
to describe the structure of the normaliser NG (P). In particular, we show that in all cases there exists a
complement H to P in its normaliser; that is, NG (P) is a semidirect product P o H. For brevity we refer to
H as a parabolic complement.
If G is imprimitive, a parabolic complement is constructed using the methods of [24]. If G is primitive,
there is almost always a set of roots of reflections which generate P and whose stabiliser is a complement;
the exceptions are certain parabolic subgroups of the Shephard and Todd groups G29 and G31 and the
parabolic subgroups of rank 1 excluded by Lemma 5.2.
In most cases the existence of a parabolic complement is obtained without resort to computer-assisted
calculations. However, for 17 of the 212 conjugacy classes of parabolic subgroups of the primitive reflection
groups a specific but somewhat ad hoc choice of roots is given in Table 3. The choice of roots and the
verification that their setwise stabiliser is a parabolic complement was carried out using Magma [4] code.
The Magma code is part of a general package1 which was written to facilitate further exploration and
provide some of the information in the tables of §6. The root systems and generating reflections used by
Magma satisfy the defining relations corresponding to the diagrams in [7]. For unitary reflection groups
other choices of generators have been proposed [2, 3, 15] but except for the parabolic complements described in Table 3 our results do not depend on the particular choice of generators.
Throughout the paper H ◦ denotes the subgroup of H generated by the elements that act as reflections on
FixV (P) and Q is the parabolic subgroup G(U ⊥ ).
The complexification of a real reflection group is a Coxeter group and in this case the structure of the
normaliser of a parabolic subgroup is well known [6, 11]. Standard facts about unitary reflection groups
can be found in [13] and [14].
2. Reduction to the irreducible case
Suppose that G is a finite unitary reflection group on the vector space V and that G preserves the positive
definite hermitian form (−, −). From [14, Theorem 1.27] V is the direct sum of pairwise orthogonal Ginvariant subspaces V1 , V2 , . . . , Vk such that the restriction of G to Vi is an irreducible reflection group Gi
on Vi and G ' G1 × G2 × · · · × Gk .
Theorem 2.1. Suppose that P is a parabolic subgroup of G, where G = G1 × G2 × · · · × Gk , as above. For
1 ≤ i ≤ k, let Ui = FixVi (P) and Pi = Gi (Ui ). Then
(i)
(ii)
(iii)
(iv)
(v)

FixV (P) = U1 ⊕ U2 ⊕ · · · ⊕ Uk ;
P = P1 × P2 × · · · × Pk ;
Pi is the parabolic subgroup of Gi generated by the reflections in P whose roots belong to Vi ;
NG (P) = NG1 (P1 ) × NG2 (P2 ) × · · · × NGk (Pk );
if Hi is a complement to Pi in NG (Pi ) for 1 ≤ i ≤ k, then H1 × H2 × · · · × Hk is a complement to P
in NG (P).

Proof. (i) Suppose that g ∈ G and v = v1 + · · · + vk , where vi ∈ Vi . Since Vi is G-invariant we have g(v) = v
if and only if g(vi ) = vi for all i. This proves (i) and since g = g1 g2 · · · gk with gi ∈ Gi , the same calculation
shows that g ∈ P if and only if gi ∈ Pi for all i, thus proving (ii). Then (iii) follows from [14, Theorem
1.27].
Finally, (iv) follows from the fact that g(U) = U if and only if gi (Ui ) = Ui for all i and then (v) follows
from (iv).
1

http://www.maths.usyd.edu.au/u/don/details.html#programs

2

As a consequence of this theorem we may restrict our attention to parabolic subgroups of irreducible
unitary reflection groups.
According to Shephard and Todd [21] (see [8, 9, 14] for more recent proofs), the finite irreducible
unitary reflection groups are:
(i)
(ii)
(iii)
(iv)

the symmetric groups, Sym(n),
imprimitive groups G(m, p, n) for m, n ≥ 2, except G(2, 2, 2),
cyclic groups,
34 primitive groups, of rank at most 8, labelled G4 , G5 , . . . , G37 .

A cyclic reflection group has no proper parabolic subgroups and we treat the remaining cases separately,
beginning with the symmetric and imprimitive groups, culminating in Theorem 3.12. The main results on
parabolic subgroups of the primitive reflection groups can be found in Theorems 5.7 and 5.14. Further
information about the parabolic complements is summarised in the tables of §6.
3. The imprimitive unitary reflection groups G(m, p, n)
Definition 3.1. A group G acting on a vector space V is imprimitive if, for some k > 1, V is a direct sum
of non-zero subspaces Vi (1 ≤ i ≤ k) such that the action of G on V permutes V1 , V2 , . . . , Vk among
themselves; otherwise G is primitive. The set Ω = {V1 , V2 , . . . , Vk } is a system of imprimitivity for G. If G
acts transitively on Ω, then Ω is a transitive system of imprimitivity.
The imprimitive unitary reflection group G(m, p, n) may be defined as follows. Let V be a complex
vector space of dimension n with a positive definite hermitian form (−, −). Let I = {1, 2, . . . , n}, let Λ =
{ ei | i ∈ I } be an orthonormal basis for V, and let µm be the group of mth roots of unity. Given a function
θ : I → µm , the linear transformation that maps ei to θ(i)ei (1 ≤ i ≤ n) will be denoted by θ̂.
Q
If p divides m, let A(m, p, n) be the group of all linear transformations θ̂ such that ni=1 θ(i)m/p = 1. For
σ ∈ Sym(n), the action of σ on V is defined by σ(ei ) = eσ(i) .
The group G(m, p, n) is the semidirect product of A(m, p, n) by the symmetric group Sym(n) with the
action on V given above. When the elements of G(m, p, n) are written as pairs (σ; θ), the multiplication
becomes
(σ1 ; θ1 )(σ2 ; θ2 ) = (σ1 σ2 ; θ1σ2 θ2 ),
where for σ ∈ Sym(n) and θ : I → µm we define θσ (i) = θ(σ(i)).
The group G(m, 1, n) is the wreath product µm o Sym(n) and G(m, p, n) is a normal subgroup of index p
in G(m, 1, n). If n > 1, G(m, p, n) is imprimitive and {V1 , V2 , . . . , Vn } is a transitive system of imprimitivity
where Vi = Cei . The group G(m, p, 1) = G(m/p, 1, 1) is cyclic of order m/p. The centre of G(m, p, n)
consists of scalar matrices and its order is m gcd(p, n)/p.
The group G(1, 1, n) is isomorphic to Sym(n) and its elements are the pairs (σ; 1), where σ ∈ Sym(n)
and 1(i) = 1 for all i. In particular, if σi is the transposition (i, i + 1), the element ri = (σi ; 1) is a reflection
of order 2, which interchanges ei and ei+1 and fixes e j for j , i, i + 1.
Fix a primitive mth root of unity ζ and let t = (1; θζ ), where θζ (1) = ζ and θζ (i) = 1 if i , 1. Then
t is a reflection of order m and s = t−1 r1 t is a reflection of order 2, which interchanges e1 and ζe2 . These
reflections generate the groups G(m, p, n) (see [14, Chap 2, §7]):
G(1, 1, n) = h r1 , r2 , . . . , rn−1 i,
G(m, m, n) = h s, r1 , r2 , . . . , rn−1 i,
G(m, 1, n) = h t, r1 , r2 , . . . , rn−1 i,
G(m, p, n) = h s, t p , r1 , r2 , . . . , rn−1 i for p , 1, m.
3

(3.1)

The support of a reflection subgroup is the subspace spanned by the roots of its reflections. The group
G(1, 1, n) is imprimitive in its action on V but for n ≥ 5 the action on its support is primitive.
Definition 3.2. We write λ ` n to mean that the sequence λ = (n1 , n2 , . . . , nd ) is a partition of n; that is, n1 ,
n2 , . . . , nd are positive integers such that n1 ≥ n2 ≥ · · · ≥ nd and n = n1 + n2 + · · · + nd . We also use the
notation 1b1 2b2 · · · nbn ` n to denote a partition of n with bi parts of size i for 1 ≤ i ≤ n.
Definition 3.3. Suppose that Ξ = (Λ0 , Π, ξ), where Λ0 is a subset of Λ, Π = (Λ1 , Λ2 , . . . , Λd ) is a partition
of Λ \ Λ0 and ξ : Λ \ Λ0 → µm . Let ni = |Λi | and define the subgroup PΞ of G(m, p, n) by
PΞ = P0 × P1 × · · · × Pd ,
where P0 is the reflection group G(m, p, n0 ) acting on the subspace spanned by Λ0 and for 1 ≤ i ≤ d, Pi is
the reflection group G(1, 1, ni ) ' Sym(ni ) permuting the vectors { ξ(e)e | e ∈ Λi }. The factor P0 is omitted
if Λ0 = ∅. If m = 1, we require Λ0 = ∅.
By construction PΞ is the pointwise stabiliser in G(m, p, n) of the subspace spanned by the vectors
P
e∈Λi ξ(e)e for 1 ≤ i ≤ d and therefore PΞ is a parabolic subgroup.
Definition 3.4. If n0 = |Λ0 | and if λ is the partition of n − n0 obtained by writing the quantities |Λi | (for
1 ≤ i ≤ d) in descending order, the type of PΞ is (n0 , λ).
Lemma 3.5. Given n0 ≤ n and λ = 1b1 2b2 · · · (n − n0 )bn−n0 ` n − n0 , the number of parabolic subgroups of
G(m, p, n) of type (n0 , λ) is
n! mn−n0 −d
(3.2)
n0 ! bλ
where d = b1 + b2 + · · · + bn−n0 and where
bλ = b1 ! b2 ! · · · bn−n0 ! (1!)b1 (2!)b2 · · · ((n − n0 )!)bn−n0 .
Proof. (cf. [19, §6]) We count the triples (Λ0 , Π, ξ) of type (n0 , λ). Triples (Λ0 , Π, ξ) and (Λ0 , Π, ξ0 ) define
P
P
the same parabolic subgroup if and only if, for 1 ≤ i ≤ d, the vectors e∈Λi ξ(e)e and e∈Λi ξ0 (e)e are equal
up to a non-zero scalar multiple. Therefore, the number of parabolic subgroups is
!
n (n − n0 )! n−n0 −d n! mn−n0 −d
m
=
.
bλ
n0 ! bλ
n0
Theorem 3.6. A subgroup P of G(m, p, n) is parabolic if and only if P = PΞ for some Ξ = (Λ0 , Π, ξ).
Proof. This follows from [24, Lemma 3.3 and Theorem 3.11].
Definition 3.7. Given n0 such that 0 ≤ n0 < n and λ = (n1 , n2 , . . . , nd ) ` n − n0 let k−1 = 0 and for 0 ≤ i ≤ d
let ki = n0 + n1 + · · · + ni . For 1 ≤ i ≤ d define Λi = {e j | ki−1 < j ≤ ki } and let Π = (Λ1 , Λ2 , . . . , Λd ).
The standard parabolic subgroup of type (n0 , λ) is P(n0 ,λ) = P(Λ0 ,Π,1) , where 1(e) = 1 for all e ∈ Λ \ Λ0 .
For consistency with Definition 3.3 we require n0 = 0 if m = 1.
As a reflection group
P(n0 ,λ) = G(m, p, n0 ) ×

d
Y

G(1, 1, ni )

(3.3)

i=1

where G(m, p, n0 ) acts on the subspace spanned by Λ0 and where G(1, 1, ni ) acts on the subspace of V
spanned by Λi . If ni = 1, the factor G(1, 1, ni ) is trivial and if n0 = 0 there is no factor G(m, p, n0 ).
4

Definition 3.8. Given α ∈ µm , define θα : I → µm by θα (1) = α and θα (i) = 1 for i > 1. Then θ̂α ∈ G(m, 1, n)
and we define
Pα(n0 ,λ) = θ̂α P(n0 ,λ) θ̂α−1 .
(3.4)
Theorem 3.9 ([24, Theorem 2.1]). A subgroup of G(m, p, n) is parabolic if and only if it is conjugate to
Pα(n0 ,λ) for some n0 , λ = (n1 , n2 , . . . , nd ) and α. Furthermore, if n0 , 0, then Pα(n0 ,λ) is conjugate in G(m, p, n)
β

to P(n0 ,λ) for all α, whereas the groups Pα(0,λ) and P(0,λ) are conjugate in G(m, p, n) if and only if αβ−1 ∈ µm/e
where e = gcd(p, n1 , . . . , nd ).

Corollary 3.10. If G = G(m, p, n) and P = P(n0 ,λ) , where λ = (n1 , n2 , . . . , nd ) ` n − n0 has bi parts of size i
for 1 ≤ i ≤ n − n0 , then
Qn−n
0


mbi bi ! n0 , 0



 i=1
|NG (P)/P | = 
e Qn


b


 p i=1 m i bi ! n0 = 0,
where e = gcd(p, n1 , . . . , nd ).
Proof. We have |G(m, p, n)| = mn n!/p and from (3.3) we have
1
Qd

n0



 p m n0 ! i=1 ni ! n0 , 0
|P | = 



Qd ni !
n0 = 0.
i=1
Thus the corollary follows from equation (3.2) combined with the previous theorem.
Q
Observe that if n0 , 0 or p divides ni for all i ≥ 0, |NG (P)/P | = i,bi ,0 |G(m, 1, bi )|. In this case we
shall see that the order coincidence can be lifted to an isomorphism of groups.
Definition 3.11. Suppose that λ = (n1 , n2 , . . . , nd ) = 1b1 2b2 · · · nbn ` n − n0 . The group G(1, 1, ni ) in
the decomposition (3.3) of the standard parabolic subgroup P = P(n0 ,λ) of G(m, p, n) acts on the subspace
spanned by Λi and fixes the sum ΣΛi of the vectors in Λi .
Given k such that bk , 0, let Mk be the subspace spanned by the vectors in the bk blocks of size k of
the partition Π defining P. Then P acts on Mk as the reflection group Pk = G(1, 1, k)bk and P is the direct
product of the Pk . We call the groups Pk the isotypic components of P.
The vectors ΣΛi , where Λi is a block of size k, form a basis for Xk = Fix Mk (P). The subspaces Mk and
Xk are invariant under the action of the normaliser of P in G(m, p, n).
Let Γk1 , Γk2 , . . . , Γkbk be the blocks of size k in the partition of I corresponding to Π, labelled so that the
jth block is
Γkj = {ik1, j , ik2, j , . . . , ikk, j }.
The group Sym(bk ) ' G(1, 1, bk ) is generated by transpositions and the reflection σ ∈ G(1, 1, bk ) corresponding to the transposition (r, s) induces
v(k) (r, s) = (τ; 1) in G(1, 1, n),

(3.5)

where τ = (ik1,r , ik1,s )(ik2,r , ik2,s ) · · · (ikk,r , ikk,s ). Then v(k) (r, s) belongs to the normaliser of P in G(m, p, n) and
acts on Xk as the reflection σ.
5

Recall that in the paragraph preceding (3.1) we chose a fixed primitive mth root of unity ζ ∈ µm . Define
(k)
(k)
k
k
θ(k)
j : Γ j → µm by θ j (g) = ζ if g ∈ Γ j and θ j (g) = 1 otherwise. Then
h(k) ( j) = (1; θ(k)
j ) ∈ A(m, 1, n)

(3.6)

normalises P and acts on Xk as (1; θ j ), where θ j : {1, 2, . . . , bk } → µm sends j to ζ and all other elements
to 1.
In effect we have Mk = U ⊗ W, where U is a vector space of dimension k and W is a vector space of
dimension bk . The action of G(1, 1, k) on U extends naturally to an action of G(1, 1, k)bk on U ⊗ W, which
is normalised by the action of G(m, 1, bk ) on W.
Recall that when H is a complement to P in NG (P), H ◦ denotes the subgroup generated by the elements
of H that act as reflections on FixV (P). The identification of H ◦ as a reflection group in the following
theorem was previously obtained by Amend et al. [1, Proposition 4.7].
Theorem 3.12. Suppose that G = G(m, p, n) and let P = P(n0 ,λ) . Let V be the vector space on which G acts
and let Xk be the fixed point space of the kth isotypic component Pk of P acting on the space Mk spanned by
Λk as in Definition 3.7. If bk , 0, let ϕk be the restriction homomorphism NG (P) → GL(Xk ). Then
(i) NG (P) has a complement H to P.
L
(ii) If n0 , 0, then ϕk (H) = G(m, 1, bk ) and H = H ◦ acts on FixV (P) =
k Xk as the reflection group
Q
k,bk ,0 G(m, 1, bk ).
(iii) If n0 = 0, then ϕk (H ◦ ) = G(m, pk , bk ), where pk = p/ gcd(p, k) and H ◦ acts faithfully on FixV (P) as
Q
k,bk ,0 G(m, pk , bk ). Furthermore, for all k such that bk , 0, ϕk (H) = G(m, qk , bk ) for some divisor qk
of pk .
Proof. We begin by considering the case p = 1.
The transformations v(k) (r, s) and h(k) ( j) defined in (3.5) and (3.6) are image of the generators of
G(m, 1, bk ) and thus for all g ∈ G(m, 1, bk ) there is an element ĝ ∈ G(m, 1, n) that acts on Xk as g and
fixes M` pointwise for all ` , k. Thus g 7→ ĝ is a monomorphism from G(m, 1, bk ) into the normaliser N of
P = P(n0 ,λ) in G(m, 1, n) and ϕk (ĝ) = g.
On comparing orders, using Corollary 3.10, it follows that the subgroup
Y
H = { ĝ | g ∈
G(m, 1, bk ) }
k,bk ,0

Q
is a complement to P in N. Furthermore, H acts on FixV (P) as the reflection group k,bk ,0 G(m, 1, bk ). This
proves (i) and (ii) for the case p = 1 and so from now on we may suppose that p , 1.
Suppose that n0 , 0. The reflections v(k) (r, s) of (3.5) belong to G(1, 1, n) ⊂ G(m, p, n). Since n0 , 0
we have e1 ∈ Λ0 and therefore t−k h(k) ( j) ∈ G(m, m, n) ⊆ G(m, p, n), where t is the generator of G(m, 1, n)
which is used in (3.1). The elements v(k) (r, s) and t−k h(k) ( j) belong to the normaliser of P in G(m, p, n) and
we define H to be the subgroup generated by v(k) (r, s) and t−k h(k) ( j) for all k such that bk , 0. Then H
Q
is isomorphic to k,bk ,0 G(m, 1, bk ) and ϕk (H) = G(m, 1, bk ). A comparison of orders shows that H is a
parabolic complement.
For the remainder of the proof we may suppose that p , 1 and n0 = 0. Let G̃ = G(m, 1, n) and let
X = FixV (P). Because n0 = 0, G̃(X) is the direct product of the same groups G(1, 1, k) defining P and
therefore G̃(X) = P. As shown above, the normaliser of P in G̃ has a complement H̃. Then H = G ∩ H̃ is a
parabolic complement, completing the proof of (i).
6

We shall use the notation established in the first part of this proof. If g = (1; θ) ∈ A(m, 1, bk ) where
θ : {1, 2, . . . , bk } → µm , then ĝ ∈ A(m, 1, n) belongs to A(m, p, n) if and only if
bk
Y

θ( j)km/p = 1.

j=1

In this case φk (ĝ) ∈ A(m, pk , bk ) where pk = m/ gcd(m, km/p) = p/ gcd(p, k).
Q
We have ϕk (H ◦ ) = G(m, pk , bk ) and it follows that H ◦ acts faithfully on FixV (P) as nk=1 G(m, pk , bk ). In
Q
Q
addition, H̃ = k,bk ,0 G(m, 1, bk ) and Ã = k,bk ,0 A(m, 1, bk ) is a normal subgroup of H̃. Thus A = G ∩ Ã
is a normal subgroup of H and ϕk (A) contains A(m, m, bk ). It follows that ϕk (H) = G(m, qk , bk ) for some
divisor qk of pk .
Example 3.13. Suppose that G = G(2, 2, n); that is, G is a Coxeter group of type Dn . Let λ = 1b1 2b2 · · · nbn `
n. The complement H to P = P(0,λ) in its normaliser is generated by reflections in its action on FixV (P) if
and only if there is at most one value of k such that k is odd and bk , 0.
Example 3.14. Suppose that p , 1, n0 = 0 and that P has a single isotypic component G(1, 1, k)bk . Then
λ = kbk ` kbk = n and the subgroup H ◦ of the parabolic complement is isomorphic to G(m, p/s, b), where
s = gcd(p, k). It follows from Corollary 3.10 that H ◦ is a parabolic complement for P.
Example 3.15. Next suppose that p , 1, n0 = 0 and λ = 1b1 kbk ` b1 +kbk . Once again P is the direct product
of bk copies of G(1, 1, k). But now the subgroup H ◦ of the parabolic complement H is H ◦ = H1◦ × H2◦ , where
H1◦ ' G(m, p, b1 ), H2◦ ' G(m, p/s, bk ), where s = gcd(p, k) and the index of H ◦ in H is p/s.
Put x = v1 (1) s h(k) (1)` where s = pr − k` for some r and `. The product of the diagonal entries of x is
s+k`
ζ
and therefore x ∈ G(m, p, n). By construction x normalises P, H1◦ and H2◦ and on comparing orders we
see that H = h H ◦ , x i.
The space of fixed points of P has a decomposition FixV (P) = X1 ⊕ X2 corresponding to the isotypic
components of P. The image of the restriction of H1 = h H1◦ , x i to X1 is the reflection group G(m, s, b1 ).
Recall that t = (1; θ) is the reflection defined prior to (3.1) and that its determinant is ζ. We have t p/s ∈ H2◦
and therefore the restriction of H2 = h H2◦ , x i to X2 is the reflection group G(m, 1, bk ) because (ζ ` )k/s =
ζ (p/s)r ζ.
Example 3.16. Suppose that p , 1, n0 = 0 and λ = k1b1 k2b2 ` n, where n = k1 b1 + k2 bk . Then P = P1 × P2 ,
where Pi is the direct product of bi copies of G(1, 1, ki ). The subgroup H ◦ of the parabolic complement
H is H ◦ = H1◦ × H2◦ , where Hi◦ ' G(m, pi , bi ) and where pi = p/ gcd(p, ki ). The index of H ◦ in H is
p gcd(p, k1 , k2 )/ gcd(p, k1 ) gcd(p, k2 ).
4. Root systems and parabolic subgroups of Coxeter type
Let P be a proper parabolic subgroup of the reflection group G and let X = FixV (P). Then NG (P) =
G X = GY , where Y = X ⊥ is the orthogonal complement of X in V. If r ∈ NG (P) is a reflection and a is a
root of r, then a ∈ X ∪ Y and therefore the reflection subgroup of NG (P) is P × Q, where Q is the parabolic
subgroup G(Y). This symmetry between P and Q is echoed in the tables in §6.
When G is a real reflection group (namely a finite Coxeter group) a parabolic complement to P can be
obtained as the setwise stabiliser of a set of (simple) roots corresponding to reflections that generate P (see
[11, Cor. 3]). In this section we show that in many cases there is a generalisation of this result to parabolic
subgroups of unitary reflection groups. Consequently, the complement contains the subgroup Q.
7

However, there are unitary reflection groups which contain parabolic subgroups P such that Q cannot be
extended to a parabolic complement. Therefore, in these cases, even though it turns out that the normaliser
of P is a semidirect product, a complement cannot be realised as the stabiliser of a set of roots of P.
Let F be a finite abelian extension of Q, let A be the ring of integers of F, let µ be the group of roots
of unity in A and let U be a vector space over F with an hermitian product (−, −) such that V = C ⊗F U.
An A-root system for the reflection group G, as defined in [14, Definition 1.43], is a pair (Σ, f ) such that Σ
spans U, 0 < Σ, and f : Σ → µ. Furthermore, G is generated by the reflections { ra, f (a) | a ∈ Σ}, and
(i)
(ii)
(iii)
(iv)

for all a ∈ Σ and all λ ∈ F we have λa ∈ Σ if and only if λ ∈ µ;
for all a ∈ Σ and all λ ∈ µ we have f (λa) = f (a) , 1;
for all a, b ∈ Σ we have (1 − f (b))(a, b)/(b, b) ∈ A;
for all a, b ∈ Σ we have ra, f (a) (b) ∈ Σ and f (ra, f (a) (b)) = f (b).

Let ζm denote a primitive mth root of unity and put µm = h ζm i. A Z[ζm ]-root system for G(m, m, n)
is Σ(m, m, n) = { ξei − ηe j | ξ, η ∈ µm and i , j }, where f (a) = −1 for all roots. To obtain a root system
Σ(m, p, n) for G(m, p, n) where p , m include the roots ±ξei for 1 ≤ i ≤ n and ξ ∈ µm and define f (±ξei ) =
p
ζm . If f (a) = −1, let ra denote the reflection with root a. See [14] for descriptions of root systems for the
primitive reflection groups.
Definition 4.1. A parabolic subgroup P of G is of Coxeter type X if it is generated by a set S of reflections
such that (P, S ) is a Coxeter system and X is the standard name of (P, S ). The standard names are described
in §6.
Suppose that P is a parabolic subgroup of Coxeter type in the reflection group G and that Σ is an A-root
system for G. Let ΣP be the set of roots in Σ corresponding to the reflections in P. Let Φ denote the root
system of P as in [12]. At this point we work with the following hypotheses.
Hypothesis 1. The root system Φ is a subset of ΣP .
It is clear that it is possible to choose a root system Φ for the standard parabolic subgroup P(0,λ) of
G(m, p, n) so that Hypothesis 1 is satisfied. Later we shall show that it holds for many other groups.
Hypothesis 2. The group of roots of unity of A is µ = h −1 i × h γ i where the order h of γ is odd.
Let ∆ be a set of simple roots in Φ and let Φ+ be the corresponding set of positive roots. Define
e
∆=

h−1
[
i=0

γ ∆,
i

e+ =
Φ

h−1
[

γi Φ+

and

e − = −Φ
e+ .
Φ

(4.1)

i=0

e − }. For a ∈ ∆, if g(a) ∈ Φ
e − , then
Lemma 4.2. For g ∈ NG (P), define N(g) = { a ∈ Φ+ | g(a) ∈ Φ
e + , then N(gra ) = ra N(g) ∪˙ {a}.
ra N(gra ) = N(g) \ {a}, whereas if g(a) ∈ Φ
Proof. This is a direct consequence of the well-known fact [12, Proposition 1.4] that for Coxeter groups
ra (Φ+ \ {a}) = Φ+ \ {a}.
The proof of the following theorem is based on [11, Lemma 2 and Corollary 3].
Theorem 4.3. Suppose that P is a parabolic subgroup of Coxeter type in the reflection group G and that G
has an A-root system such that Hypotheses 1 and 2 hold. Then G∆˜ = { g ∈ G | g(e
∆) = e
∆ } is a complement
to P in its normaliser in G.
8

e+ ∪ Φ
e − . Define `(g) = |N(g)| and set
Proof. If g ∈ NG (P) and a ∈ ΣP , then gra g−1 = rg(a) and g(a) ∈ ΣP = Φ
H0 = { g ∈ NG (P) | `(g) = 0 }. For g ∈ P, `(g) coincides with the usual length function for Coxeter groups
and therefore P ∩ H0 = 1.
e−
For each coset of P in NG (P) choose an element g in the coset such that `(g) is minimal. If g(a) ∈ Φ
e + for
for some a ∈ ∆, then from Lemma 4.2 `(gra ) = `(g) − 1, contradicting the choice of g. Thus g(a) ∈ Φ
all a ∈ ∆.
e+
The set Φ+ is the disjoint union of pairwise orthogonal irreducible components Φ+1 , Φ+2 , . . . , Φ+k and Φ
e+
is the disjoint union of the sets γ j Φ+i for 1 ≤ j ≤ h and 1 ≤ i ≤ k. If a, b ∈ ∆ and (a, b) , 0, then g(∆) ⊆ Φ
implies g(a), g(b) ∈ γ j Φ+i for some i and j. A connectedness argument now shows that g(∆ ∩ Φ+i ) ⊆ γ j Φ+i .
e + implies
Every element of a ∈ Φ+i is a positive linear combination of the roots in ∆ ∩ Φ+i and so g(∆) ⊆ Φ
e+ ) = Φ
e + . Therefore g ∈ H0 .
g(Φ
To prove that H0 is a subgroup we show that h−1
1 h2 ∈ H0 for all h1 , h2 ∈ H0 . By way of contradiction
e + , where −λ ∈ h γ i. But
e − for some a ∈ Φ+ . Then h−1 h2 (a) = λb for some b ∈ Φ
suppose that h1−1 h2 (a) ∈ Φ
1
e + . This contradiction completes the proof that H0 is a subgroup.
then h2 (a) = λh1 (b) and h1 (b), h2 (a) ∈ Φ
If g ∈ G∆˜ , then g ∈ NG (P) and g(e
∆) = e
∆ whence `(g) = 0 and so g ∈ H0 . Conversely, by definition, if
+
+
e and it follows that g(Φ
e+ ) = Φ
e + . Then e
g ∈ H0 and a ∈ Φ , then g(a) ∈ Φ
∆ ∩ γ j Φ+i is the set roots in γ j Φ+i
that cannot be written as a nontrivial positive combination of other roots in γ j Φ+i . Therefore g(e
∆) = e
∆ and
hence H0 = G∆˜ .
Corollary 4.4. Suppose that P is the standard parabolic subgroup P(0,λ) in G = G(m, p, n) and that m is
odd or twice an odd integer. Then NG (P) is the semidirect product of P by the stabiliser in G of a set of
roots of P.
Proof. The condition on m ensures that Hypothesis 2 is satisfied. The parabolic subgroup P is of Coxeter
type and for the simple roots we may take vectors ei−1 − ei for suitable values of i. Thus Hypothesis 1 is
satisfied and therefore the stabiliser of e
∆ is a parabolic complement.
Next consider the standard parabolic subgroup P = P(n0 ,λ) , where n0 , 0. We may write P = P0 × P1 ,
where P0 = G(m, p, n0 ) and where P1 is the parabolic subgroup P(0,λ) in G1 = G(m, p, n − n0 ). Assume
Hypothesis 2 and let e
∆ be the roots of P1 defined in (4.1). If λ = (n1 , . . . , nd ) and e = gcd(p, n1 , . . . , nd ), let
me/p
θ = ζm and set
∆0 = { θ j e1 − e2 , θ j e1 − ζm e2 | 0 ≤ j < p/e } ∪ { ei−1 − ei | 3 ≤ i ≤ n0 }.
If p , m, adjoin the roots { θ j e1 | 0 ≤ j < p/e } ∪ { ei | 2 ≤ i ≤ n0 } to ∆0 . The reflections whose roots belong
to ∆0 ∪ e
∆ generate P.
Theorem 4.5. Suppose that Hypothesis 2 holds and that P is the standard parabolic subgroup P(n0 ,λ) in
G = G(m, p, n) where n0 , 0, λ = (n1 , . . . , nd ) and e = gcd(p, n1 , . . . , nd ). If m/p and p/e are coprime,
NG (P) is the semidirect product of P by the setwise stabiliser of ∆0 ∪ e
∆ in G.
Proof. In the notation established above we have NG1 (P1 ) = P1 H1 , where H1 stabilises e
∆ and fixes every
root in ∆0 . It follows from Corollary 3.10 that the index of PH1 in NG (P) is p/e. If p = e, then H1 = G∆0 ∪e∆
is a complement to P in NG (P).
If p , e, let H = G∆0 ∪∆˜ and suppose that m/p and p/e are coprime. Then H1 ⊆ H ⊆ NG (P) and
H ∩ P = 1. It follows from the proof of Theorem 3.12 that NG (P) contains an element g such that e1 is an
me/p
eigenvector of g with eigenvalue θ = ζm and g(ei ) = ei for 2 ≤ i ≤ n0 . The construction of g in the proof
9

of Theorem 3.12 utilised the elements h(k) ( j), which act on the blocks Γkj of size k as scalar matrices ζIk .
However, if m is even, the construction needs to be modified so that g fixes e
∆. This is achieved by replacing
the scalar matrix ζIk by the matrix with ζ along the anti-diagonal. Then g fixes ∆0 ∪ ∆˜ and since m/p and
p/e are coprime, H = h H1 , g i and NG (P) = PH.
5. The primitive unitary reflection groups
From now on suppose G is a finite primitive unitary reflection group of rank at least 2 acting on V.
5.1. Parabolic subgroups of rank 1
Throughout this section P denotes a rank 1 parabolic subgroup of G. Thus P = h r i, where r is a
reflection of order k, where k is 2, 3, 4 or 5 and r is not the square of an element of order 4. Reflections of
orders 4 or 5 occur only when the rank of G is 2.
Lemma 5.1. If P is a parabolic subgroup of G of rank 1, then NG (P) = CG (P).
Proof. If g ∈ NG (P) and P = h r i, then g−1 rg = r` for some `. If a is a root of r, then ra = λa for some
root of unity λ , 1. Then rga = λ` ga and it follows that ` = 1. Thus g ∈ CG (r) = CG (P). The converse is
obvious.
Our first approach to finding a complement to P = h r i in its normaliser is to characterise those rank 1
parabolic subgroups whose normaliser is the semidirect product of the parabolic by the stabiliser of a set of
roots.
To this end, let a be a root of the reflection r, let k be the order of r and set
µ = { ξ ∈ C | ga = ξa for some g ∈ NG (P) } and

B = { ξk a | ξ ∈ µ }.

(5.1)

Then µ consists of roots of unity and it is a cyclic group whose order m is a multiple of k.
Lemma 5.2. If m/k and k are coprime, the stabiliser in G of the set B is a complement to P in NG (P).
Conversely, if the stabiliser of a set of scalar multiples of a is a complement to P in NG (P), then m/k and k
are coprime.
Proof. We have |B| = m/k and the set { ξa | ξ ∈ µ } is the disjoint union of the images of B under the action
of N = NG (P). Thus H = G B is contained in N and its index in N is k. The assumption that m/k and k are
coprime implies H ∩ P = 1 and since k = |P | it follows that N = P o H.
Conversely, suppose that H = G D is a complement to P in N, where D is a set of scalar multiples of a.
Without loss of generality we may suppose that a ∈ D and that D is an orbit of H. Then D = µ0 a, where
µ0 = { λ ∈ C | ha = λa for some h ∈ H }
is a subgroup of µ, hence cyclic. Let θ be a generator of µ0 and suppose that ra = ζa. The elements of µ
are the products ζ i θ j . If ζ i θ j = 1, then ri preserves D and hence ri = 1 since P ∩ H = 1. Thus m = k|D|. If
k and m/k are not coprime, h ζ i and h θ i have non-trivial intersection, contrary to what we have just proved.
This completes the proof.

10

The values of k and m for all primitive unitary reflection groups can be obtained from Tables D.1 and
D.2 of [14] and the descriptions of the rank 2 reflection groups in [14, Chapter 6].
The lemma just proved provides a parabolic complement for 22 of the 36 conjugacy classes of parabolic
subgroups in the primitive reflection groups of rank 2 and for the parabolic subgroups of rank 1 in all but
two of the primitive groups of rank at least 3. The exceptions (for rank at least 3) are the Shephard and
Todd groups G29 and G31 , each of which has a single class of reflections. In both cases the reflections are
involutions and the order of µ is 4.
Example 5.3. The Shephard and Todd group G = G25 is the semidirect product of an extraspecial group of
order 27 and exponent 3 by the group SL(2, 3) (see [14, Theorem 8.42]). A rank 1 parabolic subgroup P is
generated by a reflection r of order 3 and P has 12 conjugates, whence |NG (P)| = 54. Let a denote a root of
r. The order of the group µ of (5.1) is 6 and therefore, by Lemma 5.2, the stabiliser of {a, −a} is a parabolic
complement. Since NG (P) = CG (P) it can be seen that NG (P) has an elementary abelian group of order
27 and three complements to P in NG (P). The complements not equal to P act transitively on the 6 roots
(−ω) j a (0 ≤ j < 6). Thus H is the unique complement which is the stabiliser of a set of roots. The elements
of order 6 in H fix no non-zero vectors and therefore they are not 1-regular (in the sense of Springer [22]).
In particular, the fact that the elements of a parabolic complement in a Coxeter group are 1-regular does not
generalise to the unitary case.
In order to deal with the groups not covered by Lemma 5.2 we pursue other approaches to finding a
complement.
Lemma 5.4. Suppose that P = h r i, where r is a reflection of order k and let d be the order of the image
of det : NG (P) → C× . Then NG (P) = P × H where H = { g ∈ NG (P) | det(g)d/k = 1 } except when P is a
parabolic subgroup of order 2 in G9 or G11 .
Proof. The image of det : NG (P) → C is cyclic and its order is divisible by k. It follows immediately
that the index of H = { g ∈ NG (P) | det(g)d/k = 1 } in NG (P) is k and P ∩ H = 1 if and only if k and d/k
are coprime. To complete the proof observe that d divides the least common multiple of the orders of the
reflections in G and therefore, from the tables in [14], d/k and k are coprime except when k = 2 and 4
divides d. Among the primitive reflection groups only G9 and G11 contain parabolic subgroups of orders 2
and 4.
The exceptions in G9 and G11 to Lemma 5.4 are also exceptions to Lemma 5.2. We deal with these
exceptions by showing that in general, for almost all maximal parabolic subgroups P in a primitive reflection
group G, the centre of G is a parabolic complement for P.
Theorem 5.5. If P is a maximal parabolic subgroup of the primitive reflection group G, then NG (P) =
P × Z(G) except in the following cases. (See §6 for the definition of the type of a parabolic subgroup.)
(i)
(ii)
(iii)
(iv)

G is G13 or G15 and P is a parabolic subgroup of order 2 with 6 conjugates in G.
G = G25 and the type of P is 2L1 .
G = G33 and the type of P is D4 .
G = G35 and the type of P is A5 or A1 + 2A2 .

Proof. The index of a parabolic subgroup in its normaliser is tabulated in [17, 18] and the order of Z(G)
can be obtained from [14, Table D.3] using [14, Corollary 3.24]. Since P ∩ Z(G) = 1, it can be seen that the
only exceptions to NG (P) = P × Z(G) are those listed.
11

Remark 5.6.
(i) Parabolic complements for the the parabolic subgroups of types D4 in G33 and A5 and A1 + 2A2 in
G35 follow from Theorem 5.11 below.
(ii) Suppose that P is a parabolic subgroup of type 2L1 in G = G25 and let Q be the pointwise stabiliser
of FixV (P)⊥ . From Table 4 of §6 the type of Q is L1 , |N| = 54 and there is an involution t ∈ N, which
commutes with Q and interchanges the root lines of P. Then H = Qh t i is a complement to P in N.
Theorem 5.7. Suppose that P is a parabolic subgroup of rank 1 in a primitive unitary reflection group G
of rank at least 2 and let Q be the pointwise stabiliser of FixV (P)⊥ .
(i) There exists a complement H to P in its normaliser.
(ii) Let k = |P | and let m be the order of the group µ defined in (5.1). If k is coprime to m/k, H can be
chosen to be the stabiliser of a set of roots and consequently Q ⊆ H. In particular this holds if the
rank of G is at least 3 and G is neither G29 nor G31 .
(iii) Except when G is G27 , G29 , G33 or G34 , the group H acts on FixV (P) as a unitary reflection group. If
the rank of G is 2, then H is cyclic. If the rank is at least 3, the isomorphism types of Q, H ◦ and H are
given in the tables of §6.
Proof. (i) The existence of H is a consequence of Lemma 5.4 and Theorem 5.5.
(ii) Suppose that the rank of G is at least 3. Then the order of a reflection in G is either 2 or 3. From [14,
Table D.2] the order of the group of roots of unity of the ring of definition of G is:
(a) 2 for G23 , G24 , G28 , G30 , G35 , G36 and G37 ;
(b) 6 for G25 , G26 , G27 , G32 , G33 and G34 ;
(c) 4 for G29 and G31 .
Thus the order of the group µ defined in (5.1) is 2 or 6, except for reflections in G29 and G31 where it
is 4. Therefore, from Lemma 5.2, except for G29 and G31 , a complement to P may be chosen to contain Q.
(iii) If the rank of G is 2, then H is cyclic and thus it acts as a reflection group on FixV (P). Furthermore, in
all cases except when the order of P is 3 and G is G4 or G7 , the groups P and Q have the same order (see
[14, Chapter 6]). In the two exceptional cases Q = 1.
If the rank of G is at least 3, full details of the structure of H can be found in [16] and verified using the
Magma [4] code located at http://www.maths.usyd.edu.au/u/don/details.html#programs.
From now on we suppose that the rank of G is at least 3 and the rank of P is at least 2.
5.2. Parabolic subgroups of Coxeter type
From the tables in [24] or [17, 18] there are 159 conjugacy classes of parabolic subgroups of rank at least
2 in the 15 primitive reflection groups of rank at least 3. All except 19 of these are of Coxeter type. We shall
see that, except for some instances when the ring of definition is the Gaussian integers Z[i], the existence
of a parabolic complement for a parabolic subgroup of Coxeter type is a consequence of Theorem 4.3.
The primitive unitary reflection groups which contain reflections of order 3 do not have parabolic subgroups of Coxeter type and rank at least 2. Therefore, throughout this section we may suppose that G is
generated by reflections of order 2.
From [14, Theorem 8.30], except for G28 —the Coxeter group of type F4 —there is an A-root system
Σ for G such that (a, a) = 2 for all a ∈ Σ, where A is the ring of definition of G. For the groups G under
consideration µ is the group of mth roots of unity, where m is 2, 4 or 6.
12

The set L of 1-dimensional subspaces spanned by the vectors in Σ is the line system of G. Let P be a
parabolic subgroup of G of Coxeter type, let M be the subset of L spanned by the roots of reflections in
P and let ΣP be the roots in Σ which belong to the lines in M. Let Φ be the standard root system of P as
defined, for example, in [5]. The roots of P are eigenvectors of its reflections and so we may assume that
the lines in M are spanned by roots in Φ. Our first task is to determine when Hypothesis 1 is satisfied.
Lemma 5.8. If P does not contain reflections r and s such that the order of rs is 4, the root system Φ may
be realised as a subset of ΣP .
Proof. It is a consequence of our assumptions that for a, b ∈ ΣP the order of ra rb is 1, 2, 3 or 5. From [14,
Lemma 7.7] if |ra rb | = 2, then (a, b) = 0; if |ra rb | = 3, then (a, b) ∈ µ whereas if |ra rb | = 5, then (a, b) = ατ
or (a, b) = ατ−1 for some α ∈ µ and where τ2 = τ + 1.
Let M = {`1 , `2 , . . . , `t } and for 1 ≤ j ≤ t choose a j ∈ ` j ∩ ΣP . Taking each root ai in turn, if
(ai , a j ) , (a j , ai ) replace a j by αa j , where α = (ai , a j )/|(ai , a j )|. It follows from [20, §1.6] that this process
results in roots ai ∈ ` j ∩ ΣP such that all inner products (ai , a j ) are real. These roots with their negatives
form the standard root system Φ of P.
Lemma 5.9. If P contains reflections r and s such that the order of rs is 4, the standard root system Φ of P
is the disjoint union of its long roots Φ` and its short roots Φ s . If G = G28 , then Φ = ΣP . In all other cases
Φ` may be realised as a subset of ΣP and there exists γ in A, the ring of definition, such that γγ̄ = 2 and Φ s
may be realised as a subset of (γ/2)ΣP .
Proof. We may suppose that G , G28 . It follows from [14, Theorem 8.30] that A is either Z[λ], Z[ω, τ] or
Z[i], where λ2 + λ + 2 = 0, ω2 + ω + 1 = 0, τ2 − τ − 1 = 0 and i2 + 1 = 0. We may take γ to be λ, ω + τ
or i + 1, respectively.
For all a ∈ ΣP such that a spans a short root line in M, replace a by (γ/2)a. We complete the proof by
applying the construction of the previous lemma.
Remark 5.10. Of the 15 primitive reflection groups of rank at least 3 only G24 , G27 , G28 and G29 contain
parabolic subgroups of Coxeter type that satisfy the hypotheses of this lemma and only types B2 and B3
occur.
e + be defined
From now on suppose that Φ is realised as in the previous two lemmas and let ∆, e
∆ and Φ
as in (4.1).
Theorem 5.11. Suppose that G is a primitive reflection group of rank at least 3 and that the group of units
of its ring of definition has order 2 or 6. If P is a parabolic subgroup of Coxeter type in G, then G∆˜ is a
complement to P in NG (P).
Proof. It is clear that Hypothesis 2 holds. If there are no reflections r, s in P such that the order of rs is 4,
Hypothesis 1 is a consequence of Lemma 5.8 and the result follows from Theorem 4.3. This is also the case
for G28 , the Coxeter group of type F4 .
Thus we are reduced to showing that the result holds when P has type B2 and G is either G24 or G27 .
In this case ∆ = {a, b} where a is a long root and b is a short root. As in the proof of Theorem 4.3,
{ g ∈ G | g(e
∆) = e
∆ } is a complement to P in NG (P).
Theorem 5.12. If µ = µ4 , then G is G29 or G31 and if P is a parabolic subgroup of Coxeter type in G, we
have NG (P) = P o H for some subgroup H. The complement H can be chosen to be the setwise stabiliser
of a set of roots of reflections which generate P if and only if the type of P is A2 , B2 or A3 (two classes) in
G29 or A2 or A3 in G31 .
13

Proof. Let N = NG (P) and suppose at first that P = h r i × P1 where r is a reflection and P1 is generated
by reflections. We shall show that the existence of a set J of roots of P whose setwise stabiliser in N is a
complement to P in N leads to a contradiction. If J does not contain a root of r, then r fixes J and hence
N J ∩ P , 1. If J contains a root a of r, then N contains an element g such that g(a) = ia and if N = N J P we
may write g = hg1 g2 , where h ∈ N J , g1 ∈ P1 and g2 ∈ h r i. It follows that h(a) = ±ia and hence −a ∈ J. But
then r(J) = J and again we reach the contradiction N J ∩ P , 1. This proves that if P is a parabolic subgroup
of type 2A1 or A1 + A2 , a complement to P in its normaliser cannot be the stabiliser of a set of roots of P.
If G is G29 and the type of P is B3 , the pointwise stabiliser Q of FixV (P) has order 2 and there are no
elements g ∈ N of order 4 such that g2 ∈ Q. It follows that there is no set of roots of P whose setwise
stabiliser is a complement to P in N.
For all other parabolic subgroups of Coxeter type we shall show that a complement can be obtained as
the stabiliser of a set of roots.
If the type of P is A2 and if a1 and a2 are simpleroots we set J = {±a1 , ±ia2 }. If the type of P is A3 and
2 −1

0

if a1 , a2 and a3 are simple roots with Cartan matrix −1 2 −1 , we set J = {±a1 , ±a2 , ±ia2 , ±ia3 }.
0 −1 2
Finally,
ifG is G29 and the type of P is B2 , we may choose simple roots a1 and a2 for P with Cartan

matrix −12 −22 such that a1 , (−i + 1)a2 belong to the root system ΣP and then set
J = {a1 , (−i + 1)a2 , i(a1 + 2a2 ), −(i + 1)(a1 + a2 )}.
In all cases a direct calculation shows that N = P o N J .

5.3. Parabolic subgroups of non-Coxeter type
There are 20 conjugacy classes of non-Coxeter parabolic subgroups P of rank at least 2 in the primitive
reflection groups of rank at least 3. Thirteen of these are maximal and we have shown in Theorem 5.5 that
except for the parabolic subgroups of type 2L1 in G25 , the centre of G is a parabolic complement for P.
However, it turns out that in almost all cases there is a complement to P which is the stabiliser of a set of
roots and which therefore contains the pointwise stabiliser Q of the orthogonal complement of the space of
fixed points of P.
In preparation for the proofs that follow we represent the roots of reflections as row vectors and the
elements of G as matrices acting on the right. This is consistent with the conventions of the Magma [4]
code for unitary reflection groups. If G is generated by reflections r1 , r2 , . . . , r` with roots a1 , a2 , . . . , a` ,
there are coroots b1 , b2 , . . . , b` such that for all row vectors v we have
vr j = v − vb>j a j .
The matrices A and B with rows a1 , a2 , . . . , a` and b1 , b2 , . . . , b` are basic root and coroot matrices for G.
The complex Cartan matrix of A and B is AB> . We may suppose that the roots a1 , a2 , . . . , an , where n is the
rank of G, are the standard basis vectors. If ` = n, then C = B> and the construction of [14, 1.35] produces
the reflections r1 , r2 , . . . , rn . In this case it follows from [24] that every subset of {r1 , r2 , . . . , rn } generates a
parabolic subgroup.
For G31 we have n = 4 and ` = 5 and the root and coroot matrices are given in Table 2. The root
system may be obtained by taking the images of the basic roots under the action of G. The Cartan matrices
in Table 1 and the roots and coroots in Table 2 have been chosen so that the reflections satisfy the defining
relations corresponding to the diagrams in [7].

14

Lemma 5.13. If P is a maximal parabolic subgroup of a primitive reflection group G of rank at least 3 and
if P is not of type A1 + A2 or B3 in G29 nor of type A1 + A2 or G(4, 2, 3) in G31 , there is a set J of roots of P
such NG (P) is the semidirect product of P by the setwise stabiliser of J in G.
Proof. From Theorems 5.11 and 5.12 we may suppose that P is not of Coxeter type. If the ring of definition
of G is the Eisenstein integers Z[ω], a suitable set J of roots is given in Table 3. Direct computation or the
Magma code referred to in §1 can be used to check that the stabiliser of J is a parabolic complement for P.
This leaves the groups G29 and G31 to be considered. If P is a parabolic subgroup of type G(4, 4, 3)
in G29 we may suppose that P is generated by the reflections r1 , r2 and r3 obtained from the root and
coroot matrices of Table 2. The stabiliser of J = {±(0, 0, i, 0), ±(i, 0, 1, 0), ±(0, i, i − 1, 0), ±(i, 1, i + 1, 0)} is
a parabolic complement.
Finally suppose that P is a parabolic subgroup of type G(4, 2, 3) in G31 . Then NG (P) = P × Z(G) and
Z(G) is cyclic of order 4. Furthermore, FixV (P) is spanned by a root and the pointwise stabiliser Q of
FixV (P)⊥ has order 2. It follows from Lemma 5.4 that CG (Q) = Q × K for some K. If h g i is a complement
to P in NG (P) and Q ⊂ h g i, then g ∈ CG (Q) and this contradiction completes the proof.
Theorem 5.14. Suppose that P is a parabolic subgroup of a primitive reflection group G of rank at least 3.
Then the normaliser N of P is the semidirect product of P and a subgroup H. Furthermore, there is a set J
of roots of P such that H is the setwise stabiliser of J in G except when
(i) G = G29 and the type of P is A1 , 2A1 , A1 + A2 or B3 ;
(ii) G = G31 and the type of P is A1 , 2A1 , A1 + A2 , G(4, 2, 2) or G(4, 2, 3).
Proof. From results proved so far we may assume that P is neither rank 1, maximal, nor of Coxeter type.
This leaves seven types to be considered. Sets of roots J for the parabolic subgroups of types 2L1 and L2 in
G32 , type G(3, 3, 3) in G33 and types G(3, 3, 3), G(3, 3, 4) and A1 + G(3, 3, 3) in G34 are given in Table 3. It
can be checked directly that the stabiliser of J is a parabolic complement for P.
The remaining case is a parabolic subgroup P of type G(4, 2, 2) in G31 . Then Q is also a parabolic
subgroup of type G(4, 2, 2). Reflections r1 , r2 , . . . , r5 which generate G31 can be obtained from the root and
coroot matrices in Table 2 and we may suppose that P = h r1 , r3 , r5 i. The subgroup H generated by




−i
0
−1
0 
0
0

−1 0




 0 −i
i + 1 0
−i
−i 
1
1

and



 0
 i
0
−1
0 
0
−i 0




i − 1 −1 −i + 2 −i + 1
−1 0 i + 1 1
is a complement to both P and Q in N = NG (P). Thus H acts faithfully on FixV (P) and FixV (P)⊥ and its
restrictions to these subspaces are isomorphic to the Shephard and Todd group G8 , of order 96.
Let S be a Sylow 3-subgroup of N. Then S normalises Q and the index of M = PQS in N is 2. A
direct calculation shows that the orders of the elements in N \ M are 4 and 8 and for x ∈ N \ M the order
of QS h x i is either 384 or 1 536. Thus no complement to P in N contains Q, hence there is no complement
that stabilises a set of roots of P.
Remark 5.15. Let P be a parabolic subgroup of type G(3, 3, 3) in G = G33 . Then N = NG (P) acts faithfully
on the support of P as the reflection group G26 and it acts on the space of fixed points of P as G4 . There are
three conjugacy classes of complements to P in N only one of which is represented by the setwise stabiliser
H of a set of roots (see Table 3) of generators of P and every element of H is 1-regular.
For a parabolic subgroup P of type G(3, 3, 4) in G33 we have N = NG (P) = P × Z, where the centre
Z of G33 has order 2. In this case Z is the setwise stabiliser of the roots {±a1 , ±a2 , ±a3 , ±a4 } but it is not
15

1-regular. There are two other conjugacy classes of complements to P in N, one of size 18, the other of size
27; all of these complements are 1-regular and stabilisers of a set of roots of P.
6. The tables
The labels for the conjugacy classes of parabolic subgroups of rank at least 3 use the notation introduced
by Cohen [8]. The captions on the tables use both the Cohen and the Shephard and Todd naming schemes.
A parabolic subgroup which is the direct product of irreducible reflection groups of types T 1 , T 2 ,. . . , T k
will be labelled T 1 + T 2 + · · · + T k and if T i = T for all i we denote the type by kT .
For the imprimitive reflection groups which occur in the tables we use the Coxeter notation Bn for the
group G(2, 1, n), Dn for G(2, 2, n) (n ≥ 4) and I2 (m) for G(m, m, 2) but otherwise use G(m, p, n) as in §3. For
the Coxeter group of type G2 we use I2 (6) to avoid confusion with the Shephard and Todd notation Gk . The
cyclic reflection group of order n is denoted by Zn except that A1 and L1 denote the groups of orders 2 and
3 respectively. If there are two conjugacy classes of parabolic subgroups of type T the classes are labelled
T and T 0 .
If A and B are groups, A o B denotes the semidirect product of A by B, where A is normalised by B.
The symbol A ◦ B denotes a central product of A and B.
The notation H ◦ in the column headed H indicates that the parabolic complement H coincides with the
reflection group H ◦ .
Tables of conjugacy classes of the parabolic subgroups of the Coxeter groups of types E6 , E7 , E8 , F4 ,
H3 and H4 can also be found in [10]. The identification of the reflection subgroup H ◦ of the complement H
was verified using Magma code independently of the tables in [1] and [11].

16

Table 1: Complex Cartan matrices of Eisenstein type

G25



0 
1 − ω −ω2


1 − ω ω2 
:  ω2


0
−ω2 1 − ω

G33

G26



0 
1 − ω −ω2


1 − ω −1
:  ω2


0
−1 + ω 2



−1
0
0
0 
 2


2
−1 −ω 0 
−1

−1
2 −1 0 
:  0


2
 0 −ω −1 2 −1
0
0
0 −1 2

G34

G32



0
0 
1 − ω ω2

 −ω2 1 − ω −ω2
0 

: 

ω2
1 − ω ω2 
 0

0
0
−ω2 1 − ω



−1
0
0
0
0 
 2


2
−1 −ω 0
0 
−1

 0
−1
2 −1 0
0 


: 
 0 −ω2 −1 2 −1 0 


0
0 −1 2 −1
 0

0
0
0
0 −1 2

Table 2: Basic root and coroot matrices of Gaussian type


1
0
A29 = 
0
0

 1

 0
A31 =  0

 0
−1

0
1
0
0

0
0
1
0

0
1
0
0
0

0
0
1
0
i


0

0

0

1

0

0

0

1

0

B29

B31



−1
−i
0
 2

−1
2
i−1
0


= 

2 −1
 i −i − 1

0
0
−1
2


−1 −i + 1 0 
 2


2
i
0 
 −1

2
−1
=  i + 1 −i


0
−1
2 
 0

−i − 1 0 −i − 1 i

17

Table 3: Non-Coxeter parabolic complements in Gn of Eisenstein type

N = P o N J where N = NGn (P)

n

P

generators of P

25

2L1
L2

r1 , r3
r1 , r2

h −1 i(1, 0, 0), h −1 i(0, 0, 1)
h ω i(1, 0, 0), h ω i(0, 1, 0)

26

A1 + L1
L2
G(3, 1, 2)

r1 , r3
r1 , r2
r2 , r3

h −1 i(1, 0, 0), h ω i(0, 0, 1)
h ω i(1, 0, 0), h ω i(0, 1, 0)
h −1 i(0, 1, 0), h −1 i(0, 0, 1)

32

2L1
L2
L1 + L2
L3

r1 , r3
r1 , r2
r1 , r2 , r4
r1 , r2 , r3

h −1 i(1, 0, 0, 0), h −1 i(0, 0, 1, 0)
h ω i(1, 0, 0, 0), h ω i(0, 1, 0, 0)
h ω i(1, 0, 0, 0), h ω i(0, −1, 0, 0), h −1 i(0, 0, 0, 1)
h −1 i(1, 0, 0, 0), h −1 i(0, ω2 , 0, 0), h −1 i(0, 0, ω, 0)

33

G(3, 3, 3)

r2 , r3 , r4

G(3, 3, 4)

r1 , r2 , r3 , r4

(0, 1, 0, 0, 0), (0, 0, 1, 0, 0), (0, 0, 0, ω2 , 0),
(0, 1, 1, −ω2 , 0), (0, 1, −ω2 , ω, 0), (0, −ω, 1, 1, 0),
(0, 0, −ω, −ω, 0), (0, −ω2 , 0, −1, 0)
(1, 0, 0, 0, 0), (0, 1, 0, 0, 0), h −1 i(0, 0, 1, 0, 0),
h −1 i(0, 0, 0, 1, 0), (−1, −1, 0, 0, 0),

G(3, 3, 3)

r2 , r3 , r4

G(3, 3, 4)

r1 , r2 , r3 , r4

A1 + G(3, 3, 3)

r2 , r3 , r4 , r6

A1 + G(3, 3, 4)

r1 , r2 , r3 , r4 , r6

G(3, 3, 5)

r2 , r3 , r4 , r5 , r6

K5

r1 , r2 , r3 , r4 , r5

34

J

(0, 1, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0), (0, 0, 0, ω2 , 0, 0),
(0, 1, 1, −ω2 , 0, 0), (0, 1, −ω2 , ω, 0, 0), (0, −ω, 1, 1, 0, 0),
(0, 0, −ω, −ω, 0, 0), (0, −ω2 , 0, −1, 0, 0)
(0, 1, 0, 0, 0, 0), (−1, −1, 0, 0, 0, 0), h −1 i(0, 0, 0, 1, 0, 0),
h −1 i(0, 0, ω2 , 0, 0, 0), h −1 i(0, 0, ω, ω, 0, 0)
(0, 1, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0), (0, 0, 0, ω2 , 0, 0),
(0, 1, 1, −ω2 , 0, 0), (0, 1, −ω2 , ω, 0, 0), (0, −ω, 1, 1, 0, 0),
(0, 0, −ω, −ω, 0, 0), (0, −ω2 , 0, −1, 0, 0),
h ω i(0, 0, 0, 0, 0, 1)
(0, 1, 0, 0, 0, 0), (−1, −1, 0, 0, 0, 0), h −1 i(0, 0, 0, 1, 0, 0),
h −1 i(0, 0, ω2 , 0, 0, 0), h −1 i(0, 0, ω, ω, 0, 0),
h ω i(0, 0, 0, 0, 0, 1)
(0, ω2 , 0, 0, 0, 0), (0, 0, 1, 0, 0, 0), (0, 0, 0, 0, 1, 0),
(0, −ω, −ω, 0, 0, 0), (0, −ω, 0, −ω2 , 0, 0), (0, 1, 1, −ω2 , 0, 0),
(0, 0, −ω2 , −ω2 , 0, 0), (0, 0, 0, −ω, −ω, −ω)
h ω i(1, 0, 0, 0, 0, 0), h ω i(0, 1, 0, 0, 0, 0), h ω i(0, 0, 1, 0, 0, 0),
h ω i(0, 0, 0, 1, 0, 0), h ω i(0, 0, 0, 0, 1, 0)

Notation: for a root a, interpret h −1 ia as a, −a and interpret h ω ia as a, ωa, ω2 a, where ω3 = 1.
The reflections r1 , r2 , . . . , rd are the generators of Gn of rank d corresponding to the complex Cartan matrices of
Table 1 and the reflections with roots J generate P. The setwise stabiliser of J in Gn is a parabolic complement for P.

18

Table 4: The parabolic subgroups in reflection groups Gn of rank 3

|H ◦ |

H◦

H

2A1

4

2A1

H◦

2A1
A2
I2 (5)

A1
1
1

2
2
2

A1
A1
A1

H◦
H◦
H◦

A1

B2

8

B2

H◦

A2
B2

1
A1

2
2

A1
A1

H◦
H◦

L1

2L1

18

G(3, 1, 2)

H◦

2L1
L2

L1
1

6
3

Z6
L1

H◦
H◦

A1
L1

L2
G(3, 1, 2)

72
36

G5
G(6, 2, 2)

H◦
H◦

A1 + L1
L2
G(3, 1, 2)

1
A1
L1

6
6
6

Z6
Z6
Z6

H◦
H◦
H◦

A1

B2

8

B2

H ◦ × Z3

A2
A02
I2 (5)
B2

1
1
1
A1

6
6
6
6

Z6
Z6
Z6
Z6

H◦
H◦
H◦
H◦

G23 = W(H3 )

G24 = W(J3(4) )

G25 = W(L3 )

G26 = W(M3 )

G27 = W(J3(5) )

P

Q

A1

Table 5: The parabolic subgroups of G28 = W(F4 )

P
A1
A01

Q
B3
B03

|H ◦ |
48
48

H◦

H

B3
B03

◦

Table 6: The parabolic subgroups of G29 = W(N4 )

P

4
12
12
8

2A1
I2 (6)
I2 (6)
B2

H
H◦
H◦
H◦

A1 + A2
(A1 + A2 )0
B3 ,
B03

1
1
A1
A01

2
2
2
2

A1
A1
A1
A1

H◦
H◦
H◦
H◦

H◦

H
◦

B3

48

B3

H ◦ Z4

2A1
A2
B2

2A1
A1
B2

16
4
32

G(4, 2, 2)
2A1
G(4, 1, 2)

H◦
Q × Z4
H◦

A1 + A2
A3
A03
G(4, 4, 3)
B3

1
1
1
1
A1

4
4
4
4
4

Z4
Z4
Z4
Z4
Z4

H◦
H◦
H◦
H◦
H◦

◦

2A1
A02
A2
B2

|H ◦ |

A1

H
H◦

2A1
A2
A02
B2

Q

19

Table 7: The parabolic subgroups of G30 = W(H4 )

P

Q

|H ◦ |

Table 8: The parabolic subgroups of G31 = W(EN4 )

H◦

H

P

Q

|H ◦ |

H◦

H

◦

A1

G(4, 2, 3)

384

G(4, 1, 3)

H◦

A1

H3

120

H3

H

2A1
A2
I2 (5)

2A1
A2
I2 (5)

8
12
20

B2
I2 (6)
I2 (10)

H◦
H◦
H◦

2A1
A2
G(4, 2, 2)

2A1
A2
G(4, 2, 2)

32
12
96

G(4, 1, 2)
I2 (6)
G8

H◦
Q × Z4
H◦

A1 + A2
A1 + I2 (5)
A3
H3

1
1
1
A1

2
2
2
2

A1
A1
A1
A1

H◦
H◦
H◦
H◦

A1 + A2
A3
G(4, 2, 3)

1
1
A1

4
4
4

Z4
Z4
Z4

H◦
H◦
H◦

Table 9: The parabolic subgroups of G32 = W(L4 )

Table 10: The parabolic subgroups of G33 = W(K5 )

P

Q

|H ◦ |

H◦

H

P

Q

|H ◦ |

H◦

H

L1

L3

1296

M3

H◦

A1

D4

192

D4

H ◦ o Z3

2L1
L2

2L1
L2

72
72

G(6, 1, 2)
G5

H◦
H◦

2A1
A2

3A1
A2

48
18

B3
G(3, 1, 2)

H◦
H × Z2

L1 + L2
L3

1
L1

6
6

Z6
Z6

H◦
H◦

A1 + A2
A3
3A1
G(3, 3, 3)

1
A1
2A1
1

3
4
24
24

L1
2A1
G(6, 3, 2)
L2

H ◦ × Z2
H◦
H◦
H◦

A1 + A3
A4
G(3, 3, 4)
D4

1
1
1
A1

2
2
2
6

A1
A1
A1
Z6

H◦
H◦
H◦
H◦

20

◦

Table 11: The parabolic subgroups of G34 = W(K6 )

Table 12: The parabolic subgroups of G35 = W(E6 )

P

Q

|H ◦ |

H◦

H

P

Q

|H ◦ |

H◦

H

A1

K5

51 840

K5

H ◦ × Z3

A1

A5

720

A5

H◦

F4
G(3, 1, 4)

H ◦ × Z3
H ◦ × Z2

2A1
A2

A3
2A2

48
36

B3
2A2

H◦
A2 o Z2

A1 + A2
A3
3A1

A2
2A1
A1

6
8
12

A2
B2
A1 + A2

H◦
H◦
H◦

A1 + A3
A4
2A2
2A1 + A2
D4

A1
A1
A2
1
1

2
2
12
2
6

A1
A1
I2 (6)
A1
A2

H◦
H◦
H◦
H◦
H◦

A1 + A4
D5
A1 + 2A2
A5

1
1
1
A1

1
1
2
2

1
1
A1
A1

H◦
H◦
H◦
H◦

2A1
A2
A1 + A2
A3
3A1
G(3, 3, 3)

D4
1 152
G(3, 3, 4) 1 944

A2
54 G(3, 1, 2) + L1 H ◦ × Z2
A3
48
B3
H ◦ × Z3
3A1
432
G(6, 3, 3)
H◦
G(3, 3, 3) 1 296
M3
H◦

A1 + A3
G(3, 3, 4)
A4
2A1 + A2
2A2
A1 + G(3, 3, 3)
D4

A1
A2
A1
1
1
1
2A1

4
36
4
36
36
72
72

2A1
G(6, 2, 2)
2A1
G(6, 2, 2)
G(6, 2, 2)
G5
G(6, 1, 2)

H × Z3
H◦
◦
H × Z3
H◦
H◦
H◦
H◦

A1 + A4
A2 + A3
A1 + G(3, 3, 4)
A5
A05
D5
G(3, 3, 5)
K5

1
1
1
1
1
1
1
A1

6
6
6
6
6
6
6
6

Z6
Z6
Z6
Z6
Z6
Z6
Z6
Z6

H◦
H◦
H◦
H◦
H◦
H◦
H◦
H◦

◦

21

Table 13: The parabolic subgroups of G36 = W(E7 )

H◦

H

P

Q

|H ◦ |

H◦

H

D6

H

◦

A1

E7 2 903 040

E7

H◦

720
768

A5
A1 + B4

H ◦ × Z2
H◦

2A1
A2

D6
E6

46 080
51 840

B6
E6

H◦
H × Z2

A3
A1 + A3
96
A1 + A2
A3
24
3A1
4A1
96
3A01
D4
1 152

A1 + B3
A3
A1 + B3
F4

H◦
H × Z2
H◦
H◦

A1 + A2
3A1
A3

A5
A1 + D4
D5

720
2 304
3 840

A5
A1 + F4
B5

H ◦ × Z2
H◦
H◦

A1 + A3
2A2
A4
2A1 + A2
D4
4A1

A1 + A3
2A2
A4
A3
D4
4A1

96
144
120
96
1 152
384

A1 + B3
2I2 (6)
A4
A1 + B3
F4
B4

H◦
I2 (6) o Z2
H ◦ × Z2
H◦
H◦
H◦

A1 + A4
A2 + A3
A5
D5
A 1 + D4
2A1 + A3
A1 + 2A2
3A1 + A2

A2
2A1
A1 + A2
A3
3A1
2A1
A2
A1

6
16
24
48
48
16
24
24

A2
A1 + B2
A1 + I2 (6)
B3
B3
A1 + B2
A1 + I2 (6)
A1 + I2 (6)

H ◦ × Z2
H◦
H◦
H◦
H◦
H◦
H◦
H◦

A1 + A5
A2 + A4
A6
2A1 + A4
E6
A1 + D5
2A3
D6
A2 + D4
A1 + A2 + A3
2A1 + 2A2

A1
A1
A1
1
A2
A1
1
2A1
1
A1
1

4
4
4
4
12
4
8
8
12
4
8

2A1
2A1
2A1
2A1
I2 (6)
2A1
B2
B2
I2 (6)
2A1
B2

H◦
H◦
H◦
H◦
H◦
H◦
H◦
H◦
H◦
H◦
H◦

A1 + A6
A1 + A2 + A4
A1 + E6
A2 + D5
A3 + A4
A7
D7
E7

1
1
1
1
1
1
1
A1

2
2
2
2
2
2
2
2

A1
A1
A1
A1
A1
A1
A1
A1

H◦
H◦
H◦
H◦
H◦
H◦
H◦
H◦

P

Q

A1

D6

A2
2A1

A5
A1 + D4

|H ◦ |

Table 14: The parabolic subgroups of G37 = W(E8 )

23 040

◦

◦

A4
D4
A1 + A3
(A1 + A3 )0
2A2
2A1 + A2
4A1

A2
3A01
2A1
A3
A2
A1
3A1

6
48
8
48
24
8
48

A2
B3
3A1
B3
A1 + I2 (6)
3A1
B3

H × Z2
H◦
H◦
H◦
H◦
H◦
H◦

A5
A05
D5
A1 + A4
A 1 + D4
A2 + A3
2A1 + A3
A1 + 2A2
3A1 + A2

A1
A2
A1
1
2A1
A1
A1
1
1

4
12
4
1
8
4
4
4
12

2A1
I2 (6)
2A1
1
B2
2A1
2A1
2A1
I2 (6)

H◦
H◦
H◦
Z2
H◦
H◦
H◦
H◦
H◦

A1 + A2 + A3 1
A1 + A5
1
A2 + A4
1
A1 + D5
1
A6
1
E6
1
D6
A1

2
2
2
2
2
2
2

A1
A1
A1
A1
A1
A1
A1

H◦
H◦
H◦
H◦
H◦
H◦
H◦

22

◦

Acknowledgements
This work is based on a portion of the first author’s Ph. D. thesis, which was supervised by the second
author at the University of Sydney. We thank an anonymous referee for several useful comments.
References
[1] N. Amend, A. Berardinelli, J. M. Douglass, and G. Röhrle. Restricting invariants of unitary reflection groups. In eprint
arXiv:1503.00329v3 [Math.RT], November 2016.
[2] T. Basak. On Coxeter diagrams of complex reflection groups. Trans. Amer. Math. Soc., 364(9):4909–4936, 2012.
[3] D. Bessis, C. Bonnafé, and R. Rouquier. Quotients et extensions de groupes de réflexion. Math. Ann., 323(3):405–436, 2002.
[4] W. Bosma, J. Cannon, and C. Playoust. The Magma algebra system. I. The user language. J. Symbolic Comput., 24(3-4):235–
265, 1997.
[5] N. Bourbaki. Groupes et algèbres de Lie. Chapitres 4, 5 et 6. Hermann, Paris, 1968.
[6] B. Brink and R. B. Howlett. Normalizers of parabolic subgroups in Coxeter groups. Invent. Math., 136(2):323–351, 1999.
[7] M. Broué, G. Malle, and R. Rouquier. Complex reflection groups, braid groups, Hecke algebras. J. Reine Angew. Math.,
500:127–190, 1998.
[8] A. M. Cohen. Finite complex reflection groups. Ann. Sci. École Norm. Sup. (4), 9:379–436, 1976.
[9] A. M. Cohen. Erratum: “Finite complex reflection groups”. Ann. Sci. École Norm. Sup. (4), 11:613, 1978.
[10] J. M. Douglass, G. Pfeiffer, and G. Röhrle. On reflection subgroups of finite Coxeter groups. arXiv:1101.5893v2, 2011.
[11] R. B. Howlett. Normalizers of parabolic subgroups of reflection groups. J. London Math. Soc., 21(2):62–80, 1980.
[12] J. E. Humphreys. Reflection Groups and Coxeter Groups, volume 29 of Cambridge Studies in Advanced Mathematics.
Cambridge University Press, 1990.
[13] R. Kane. Reflection groups and invariant theory. CMS Books in Mathematics/Ouvrages de Mathématiques de la SMC, 5.
Springer-Verlag, New York, 2001.
[14] G. I. Lehrer and D. E. Taylor. Unitary reflection groups, volume 20 of Australian Mathematical Society Lecture Series.
Cambridge University Press, Cambridge, 2009.
[15] G. Malle and J. Michel. Constructing representations of Hecke algebras for complex reflection groups. LMS J. Comput.
Math., 13:426–450, 2010.
[16] K. Muraleedaran. Normalisers of parabolic subgroups in unitary reflection groups. PhD thesis, University of Sydney, 2005.
[17] P. Orlik and L. Solomon. Arrangements defined by unitary reflection groups. Math. Ann., 261(3):339–357, 1982.
[18] P. Orlik and L. Solomon. Coxeter arrangements. In Singularities, Part 2 (Arcata, Calif., 1981), volume 40 of Proc. Sympos.
Pure Math., pages 269–291. Amer. Math. Soc., Providence, RI, 1983.
[19] P. Orlik and H. Terao. Arrangements of hyperplanes, volume 300 of Grundlehren der Mathematischen Wissenschaften.
Springer-Verlag, Berlin, 1992.
[20] V. L. Popov. Discrete Complex Reflection Groups, volume 15 of Communications of the Mathematical Institute, Rijksuniversiteit Utrecht. Rijksuniversiteit Utrecht Mathematical Institute, Utrecht, 1982.
[21] G. C. Shephard and J. A. Todd. Finite unitary reflection groups. Canad. J. Math., 6:274–304, 1954.
[22] T. A. Springer. Regular elements of reflection groups. Invent. Math., 25:159–198, 1974.
[23] R. Steinberg. Differential equations invariant under finite reflection groups. Trans. Amer. Math. Soc., 112:392–400, 1964.
[24] D. E. Taylor. Reflection subgroups of finite complex reflection groups. J. Algebra, 366:218–234, 2012.

23

