決定 n 維燈光手推車群組和 S-單位方程式中的子單群成員資格

我們證明了在 n 維燈光手推車群組 (Z/pZ) ≀Zn 以及更一般的形式 Y ⋊Zn (其中 Y 是有限生成的 Fp[X± 1 , . . . , X± n ]-模組)中,子單群成員資格問題是可判定的。這解決了一個長期未解的開放問題,即有限擴展群組中子單群成員資格問題的可判定性。