The product of Weyl groups is the Weyl group of the product

104 Views Asked by At

Let $G$ and $H$ be compact, connected Lie groups. Write $W(-)$ for the Weyl group. Then it is not hard to see that $$W(G \times H) \cong W(G) \times W(H).$$ Where can I find a published statement of this fact?