extension typeを列挙するために，次のLemma2が必要となる． Lemma21) 2) ＜Lemma2の証明＞ いずれも証明というよりも直接計算による確認である(表はWild論文のものに不動点を加えた）． 1) の生成元をとする．はの像により定まる．結果は次の通り． の像 位…