5
$\begingroup$

This problem is as titled.

The textbook states that the order of the Weyl group of type $E_8$, $F_4$ are $2^{14}3^55^27$ and 1152 respectively, but I am wondering how are these groups like, namely, how can they be decomposed into simpler groups, or what kind of subgroup or ideals do they have.

Thanks for any attention and help~

$\endgroup$
  • 4
    $\begingroup$ In the title you also ask about $G_2$: but that one is easy... The Weyl group $W(G_2)$ is simply a dihedral group of order $12$. $\endgroup$ – Mariano Suárez-Álvarez Mar 13 '11 at 19:26
5
$\begingroup$

According to GAP, $F_4$ is

(((((C2 x D8) : C2) : C3) : C3) : C2) : C2

Here C2 and so on denote cyclic groups, D8 denotes the dihedral group of order $8$, x denotes direct product, and : denotes semidirect product. That is not the most enlightening description of the group, but shows that it is made up from rather simple pieces.

You should download GAP and play with it a lit to explore the subgroups and what not in the groups. It's fun.

$\endgroup$
5
$\begingroup$

Every Weyl group is a Coxeter group with Coxeter diagram given more or less by the Dynkin diagram of the corresponding Lie algebra (up to some minor alterations). A good reference is Humphreys' Reflection groups and Coxeter groups.

$\endgroup$
2
$\begingroup$

The Weyl group of type $E_8$ is the group $O(8,\mathbb{F}_2)^+$ of order $696729600$. It is a stem extension by the cyclic group $C_2$ of an extension of $C_2$ by a group $G$, namely where $G$ is the unique simple group of order $174182400$, known as $PSΩ_8^+(\mathbb{F}_2)$. For a discussion see also this MO question (there is a discussion on the notation $O(8,\mathbb{F}_2)^+$).

The Weyl group of $F_4$ is a soluble group of order $1152$, for detailed references see here. One of the presentations of it is $$ < x, y \mid x^2 = y^6 = (xy)^6 = (xy^2)^4 = (xyxyxy^{-2})^2 = 1 >. $$

$\endgroup$
  • $\begingroup$ The link to the $W(F_4)$ is down. Is there any other link? Thank you in advance. $\endgroup$ – Shripad Garge Jul 22 at 5:33
  • 1
    $\begingroup$ @ShripadGarge Thank you. I have updated the link. $\endgroup$ – Dietrich Burde Jul 22 at 8:50
  • $\begingroup$ Oh, if you only wanted a reference for the solvability of $W(F_4)$ then the Wikipedia page, en.wikipedia.org/wiki/F4_(mathematics)#Weyl/Coxeter_group, would also have worked. I am not sure if this paper of Carter, though a wonderful one, is available freely online. $\endgroup$ – Shripad Garge Jul 23 at 11:44
  • 1
    $\begingroup$ @ShripadGarge The disabled link had more information on the presentations of $W(F_4)$. I am sure you will find another link when googling. I have given one presentation and think this is what the OP wanted to know. The group is solvable by Burnside, because it is a group of order $2^7\cdot 3^2$. $\endgroup$ – Dietrich Burde Jul 23 at 13:09
  • $\begingroup$ Thank you Dietrich. $\endgroup$ – Shripad Garge Jul 24 at 14:09

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.