Maximal toroids and Cartan subgroups of algebraic groups

We introduce a unified theory of Cartan subgroups and maximal toroids - defined as connected multiplicative type subgroups that are maximal amongst all such subgroups - which holds for all affine algebraic groups over a field, regardless of smoothness. For instance we show that maximal toroids always exist, that they are invariant under base change, and that they are in natural 1-1 correspondence with Cartan subgroups. Our results generalise known results for Cartan subgroups and maximal tori of smooth affine algebraic groups, as well as their analogues for restricted Lie algebras. We conclude with some applications to, and a brief discussion of, some generation problems for algebraic groups.