In their survey article, give an earlier result of Frobenius in this area. Suppose "K" is a Galois extension of the rational number field Q, and "P"("t") a monic integer polynomial such that "K" is a splitting field of "P". It makes sense to factorise "P" modulo a prime number "p". Its 'splitting type' is the list of degrees of irreducible factors of "P" mod "p", i.e. "P" factorizes in some fashion over the prime field F"p". If "n" is the degree of "P", then the splitting type is a partition Π of "n". Considering also the Galois group "G" of "K" over Q, each "g" in "G" is a permutation of the roots of "P" in "K"; in other words by choosing an ordering of α and its algebraic conjugates, "G" is faithfully represented as a subgroup of the symmetric group "S""n". We can write "g" by means of its cycle representation, which gives a 'cycle type' "c"("g"), again a partition of "n".