研究課題/領域番号 |
20K03563
|
研究機関 | 工学院大学 |
研究代表者 |
森澤 貴之 工学院大学, 教育推進機構, 准教授 (50724374)
|
研究期間 (年度) |
2020-04-01 – 2024-03-31
|
キーワード | 単数 / 類数 |
研究実績の概要 |
令和4年度、研究代表者は以下の研究を行った。 1)pを素数とする。本研究課題において扱う無限次代数体の中で、有理数体上の円分的Z_p-拡大体を考える。本年度においても引き続き、この有理数体上の円分的Z_p-拡大体の無限個の中間体のイデアル類群の位数(類数)に注目して研究を行った。本研究課題で取り扱う有理数体上の実アーベル拡大体の類数はその単数群と円単数群の商群の位数と関連があることが知られており、特にその部分群である相対単数群を調べることで類数のある種の非可除性についての情報を得ることができる。令和3年度においては、その方向で研究を進め、相対単数群に対し、合同式から定まる部分群列と、ガロア作用から定まる部分群列の2つの異なる部分群列を定義し、それらの部分群列に関してある種の等式が成り立つことを示した。本年度も、同じ部分群列について研究を進め、より精密な結果を得ることができた。 2)本年度は、上記の研究を他の実アーベル体上で展開すべく研究をすすめた。そのための第一歩として、pを4を法として1と合同な素数とし、有理数体にpの平方根を付け加えた実アーベル体上の円分的Z_p-拡大体の場合に研究を進めた。この場合においても、上記の有理数体上の円分的Z_p-拡大体の場合と類似する現象がいくつか確認できた。これにより、相対単数群の2つの部分群列における同様の等式が成り立つことが予想されるため、そういった方向性で研究を進めている。
|
現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
素数pに対し、有理数体上の円分的Z_p-拡大体の無限個の中間体の相対単数群について、その構造をより精密に記述することができた。これによりイデアル類群の位数に関する情報も得られた。また、pが4を法として1と合同である場合、有理数体にpの平方根を付け加えた実アーベル体上の円分的Z_p-拡大体の相対単数及びイデアル類群の場合においても類似の結果が得られることが期待される。
|
今後の研究の推進方策 |
pを4を法として1と合同な素数とし、有理数体にpの平方根を付け加えた実アーベル体上の円分的Z_p-拡大体の場合を考える。この場合においても有理数体上の円分的Z_p-拡大体と同様に、相対単数群の2つの部分群列においてある種の等式が成り立つことが予想されるため、それを証明する。
|
次年度使用額が生じた理由 |
申請当初に予定していた出張を行うことができなかったため、次年度使用額が生じた。 コロナの感染状況を見ながら、可能な範囲で積極的に旅費として用いたいと考えている。
|