研究概要 |
有限群Gの標数p>0の代数的閉体F上の群環をFGとし,そのブロックをB,不足群をDとする.Bのカルタン行列をC_B=(c_<ij>)とし,C_BのPerron-Frobenius固有値をρ(B)とする.どのような場合ρ(B)が整数になるか,さらにどのような場合C_Bの固有値と単因子が一致するかなどについて考察することを研究目的とした.コンピュータを用いて膨大な実験をした結果,次が成り立つのではないかという予想を得た. 1.予想 C_Bの単因子全体の集合をEとする.C_Bの固有多項式f_B(x)=f_1(x)【triple bond】f_r(x)をZ-既約分解とする.各f_i(x)=0の根全体の集合をR_iとすると,次の(i),(ii),(iii)を満たすEのdisjointな分割E=E_1∪【triple bond】∪E_rが存在するのではないか. (i)各iについて |R_i|=|E_i|. (ii)R_i, E_iに含まれる固有値,単因子の積が一致する. (iii)ρ(B)∈R_1とすると|D|∈E_1となっている. 次の場合この予想が正しいことを証明した. 2.定理 Bが有限表現型(すなわちDが巡回群のとき)で既約B-加群の個数l(B)が5以下のとき,またはBがtame(すなわちp=2でDがdihedral, generalized quaternionまたはsemidihedral groupのとき)のとき,予想は正しい.さらにこのときはρ(B)がf_1(x)=0の根のとき,degf_1【greater than or equal】degf_i for all iが成り立つ.さらに単純群でカルタン行列が知られている場合は予想が成り立つことを確かめた.
|