对于一个 有限群 ,令
为由
的所有 Sylow p-子群 生成的子群。如果
是特征
中的射影曲线,并且如果
, ...,
是
的点(对于
),那么
作为
的有限覆盖
的 伽罗瓦群 出现的必要和充分条件(分支仅在点
, ...,
处)是商群
有
个生成元。
Raynaud (1994) 在仿射线(即删除一个点的射影线)的关键情况下解决了阿布hyankar问题,Harbater (1994) 通过在此特殊解的基础上证明了完整的阿布hyankar猜想。