Abstract:
The results of [4] are used here to show that there exists a continuum of locally finite varieties of groups with pairwise distinct “ordinal” functions, thus disproving a conjecture of G. Higman. On the other hand, an example is given of distinct varieties having the same “ordinal” function.