Assertion: isometry | /r/ObjectUse | used by thompson
Facets:
Source sentences:
text: It was introduced by Dade (1964) as a generalization and simplification of an isometry used by Feit & Thompson (1963) in their proof of the odd order theorem, and was used by Peterfalvi (2000) in his revision of the character theory of the odd order theorem.
text: If K 1 is a tamely embedded subset, then the subset K consisting of K 1 without the identity element 1 satisfies the conditions above, and in this case the isometry used by Feit and Thompson is the Dade isometry.