Chevalley theorem Cartan subalgebra Chevalley restriction theorem Chevalley's structure theorem Chevalley–Shephard–Todd theorem Chevalley–Warning theorem Claude Chevalley Constructible set (topology) Weyl group