base change lifting

体群のいずれかで、このうち巡回群、二面体群の場合にはアルティン予想はヘッケの仕事から従う。ラングランズはベースチェンジ（英語版）(base change lifting)の方法を使い四面体群の場合を証明し、タネル(Tunnell)は彼の仕事を拡張し八面体群の場合も証明した。ワイルズ(Wiles)は