2012 Fiscal Year Research-status Report
相対差集合及び関係する difference matrix の研究
Project/Area Number |
24540023
|
Research Category |
Grant-in-Aid for Scientific Research (C)
|
Research Institution | Kumamoto University |
Principal Investigator |
平峰 豊 熊本大学, 教育学部, 教授 (30116173)
|
Project Period (FY) |
2012-04-01 – 2016-03-31
|
Keywords | difference matrix / 相対差集合 / 有限群 / 群環 / 一般アダマール行列 / デザイン |
Research Abstract |
位数uの群Uと整数k,λ>0に対してUの元を成分にもつk行uλ(=n)列の行列A=(aij)が群U上の(u,k,λ) - difference matrixであるとは任意の異なるh行とi行に対して{ah1/ai1,ah2/ai2,...ahn/ain}がマルチ集合としてUの各元をちょうどλ個含むことをいう.このような行列の各行はUのn個の直積群Un=U×...×Uの元と見ることができる.H24年度にはこのようなdifference matrixの中で行全体の集合がUnの部分群Wのcoset達の和集合となるものについて考察した.このようなdifference matrixは部分群Wに関するcoset型であるという.特にWがAのある行wで生成されるとき行wに関するcoset型difference matrixであるという.coset型のdifference matrixに関してde Launeyは行全体が群をなすときでk=uλ場合についてgroup Hadamard matrixと呼んだ.McDonough等はこのときU基本可換p-群となることを示した このcoset型に関してH24年度には次の結果を得た. 定理1.AがU上の(u,uλ,λ)-difference matrixで,Aがある行に関してcoset型ならばλ=1かまたはexp(U)はλの約数である. 定理2.Aを素数位数pの群U上のcoset型の(p,k,λ)-difference matrix (k>p)とするとpはλの約数でかつU上の正規化されたp個の小型の(p,k/p,λ/p)-difference matrices A1, A2,.,,Ap を選ぶことができてAはwと(A1,A2,.. ,Ap) を用いて第i行(1≦i≦p)を(A1,A2,.. ,Ap)wi-1とするk行uλ列の行列に拡大したものと同値になる.
|
Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
H24年度に計画していた群U上のGH(u,λ)行列を中心とする(u,k,λ)-difference matrixについては,特殊な場合を除いてexp(U)がλの約数であることを得たがこれは群Uの構造に制限を与えていることになる. さらに群が素数位数pのときを完全な意味で分類できた.すなわち行数も列数も素数pの倍数であることが示されて行数と列数を1/pに縮小した正規形のものから自然に拡大されることが示された点で完全に解明されたと考えている.初期の段階では,方向性がある程度しか分からない状態であったが,素数pの場合には完全な意味で分類までできたので,この観点からでおおむね順調に進展したと考えている.
|
Strategy for Future Research Activity |
24年度は上記のようにおおむね満足できる結果を得たが,群の位数が素数pの場合が中心であった.群が素数pのn乗(n>1)のときは未解明のままとなった. このcoset型の残された問題としてはUが一般の位数pnの基本可換p群のときを解明することである.とくにpn=22のときについては,いくつかのパターンがあることまでは示しているが,関係する係数の方程式の個数が多くて完全な分類にまでには至っていないがある程度のところまでは進む見込みがあるので今後の課題としたい.さらにp2のときも22の場合の方法を参考にして早期の解明を目指したい.
|
Expenditure Plans for the Next FY Research Funding |
該当なし
|