Maximal Abelian Sets of Roots

Book excerpt: In this work the author lets be an irreducible root system, with Coxeter group . He considers subsets of which are abelian, meaning that no two roots in the set have sum in . He classifies all maximal abelian sets (i.e., abelian sets properly contained in no other) up to the action of : for each -orbit of maximal abelian sets we provide an explicit representative , identify the (setwise) stabilizer of in , and decompose into -orbits. Abelian sets of roots are closely related to abelian unipotent subgroups of simple algebraic groups, and thus to abelian -subgroups of finite groups of Lie type over fields of characteristic . Parts of the work presented here have been used to confirm the -rank of , and (somewhat unexpectedly) to obtain for the first time the -ranks of the Monster and Baby Monster sporadic groups, together with the double cover of the latter. Root systems of classical type are dealt with quickly here; the vast majority of the present work concerns those of exceptional type. In these root systems the author introduces the notion of a radical set; such a set corresponds to a subgroup of a simple algebraic group lying in the unipotent radical of a certain maximal parabolic subgroup. The classification of radical maximal abelian sets for the larger root systems of exceptional type presents an interesting challenge; it is accomplished by converting the problem to that of classifying certain graphs modulo a particular equivalence relation.