對於一個 有限群 ,令
為由
的所有 Sylow p-子群 生成的子群。如果
是特徵
中的射影曲線,並且如果
, ...,
是
的點(對於
),那麼
作為
的有限覆蓋
的 伽羅瓦群 出現的必要和充分條件(分支僅在點
, ...,
處)是商群
有
個生成元。
Raynaud (1994) 在仿射線(即刪除一個點的射影線)的關鍵情況下解決了阿布hyankar問題,Harbater (1994) 透過在此特殊解的基礎上證明了完整的阿布hyankar猜想。