On sait, depuis les travaux de Zil'ber et de Cherlin, que le degré de Morley de la théorie T d'un groupe G totalement transcendant est l'indice du plus petit sous-groupe définissable d'indice fini de G. Il est clair qu'il lui est supérieur, et l'inégalité inverse peut s'obtenir de la manière suivante: on fait agir G sur les types de S1(G) de rang de Morley maximum en associant à p, type de x au-dessus de G, le type ap de ax au-dessus de G; on montre alors que cette action est définissable, que le fait que ap = q équivaut au fait que a satisfasse une certaine formule à paramètres dans G, ce qui est bien facile si on n'oublie pas que dans une théorie stable tous les types sont définissables; on montre ensuite que cette action est transitive, que si p et q sont de rang de Morley maximum il existe a dans G tel que ap = q, et la méthode la plus rapide, mais qui est aussi la plus sophistiquée, est d'utiliser l'argument de symétrie de la déviation employé dans la preuve de la Proposition 1 de présent article; on conclut alors puisque le degré de Morley, qui est par définition le nombre de types de rang de Morley maximum, ést egal à l'indice du stabilisateur de p, qui est définissable.

Ce comportement des types de rang de Morely maximum se retrouve sans peine, si G est seulement superstable, dans celui des types de “plus petit rang continu” (encore appellé “degré de Shelah”) maximum. Pour trouver ce qui leur correspond dans le cas où G est seulement stable, il faut être un peu plus soigneux, et considérer les types p de S1(G), où G aura éventuellement été remplacé par une extension élémentaire suffisament saturée, tels que pour tout a de G ap ne dévie pas sur ∅: on montre qu'ils existent, et qu'ils sont tous conjugués par action de G; le fait que ap = q s'exprimera cette fois par une infinité de formules et non plus par une seule.