في هذا القسم، يعرف المؤلفون الأورثومورفزم لمجموعة محدودة \( G \) كتحويل ثنائي \( \phi: G \to G \) بحيث يكون التحويل \( g \mapsto g^{-1} \phi(g) \) أيضًا تحويلًا ثنائيًا. يشيرون إلى فرضية اقترحها فريدلاندر، غوردون، وتاننباوم في عام 1981، والتي تفترض أنه بالنسبة لأي مجموعة أبلية \( G \) وأي عدد صحيح \(…