の中間体を求めます． まず は円分拡大なので ．また なので は位数 の元一つと，位数 の元一つで生成されることがわかる． は位数 の元とする． としておくと位数が であることから ．これと から ． の行き先が決まれば写像が定まり，それらは高々 通り． …