>>437
Jから1,2,4次の巡回群の存在は分かり、K（タイプミスがありますかね？生成元の組み合わせは1つではないらしいですが。）単体では有限部分群にはならない。
JとKの積の固有値を調べたら良いんですかね。