代数的整数論、特に類数およびイデアル類群の研究

代数数论，特别是类数和理想类群的研究

• 批准号: 63540029
• 负责人: 太田 喜一郎
• 金额: $ 0.64万
• 依托单位: Gifu University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for General Scientific Research (C)
• 财政年份: 1988
• 资助国家: 日本
• 起止时间: 1988 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-63540029/
• 关键词: イデアル類群; 4次体の類数; 8次体の類数; 16次体の類数; (2,2,…,2)型のアーベル拡大

本研究においては、まずKが有理数体Qの2^m次のアーベル拡大でそのガロア群G(K/Q)が型(2,2…,2)をもつ場合に、そのイデアル類群C_Kの構造を明確にし、またその広義の類数h_Kの計算法を確立するなどの成果を得た。すなわち次の定理を証明することができた。定理1.Kは有理数体Qの2^m次のアーベル拡大で、そのガロア群G(K/Q)は型(2,2,…,2)をもつとする。t=2^m-1として、k_1,k_2,…,k_tはKの相異なる2次部分体とする。さらにi=1,2,…,tについてC_i(2)はk_iの2-類群として、k_iのイデアル類群をC_i(2)×B_iとおく。もしKの類数h_Kが奇数であるならば、Kのイデアル類群C_KはC_K=B_1×B_2×…×B_tのように直積分解される。したがってB_iの位数をb_iで表すならず、Kの類数h_Kは、h_K=b_ib_2…b_tと表される。次に本研究では上記の定理1を用いて(2,2)型の4次体、(2,2,2)型の8次体および(2,2,2,2)型の16次体の類数を具体的に計算するために、それらの類数が奇数となるための条件をいくつか求めた。次の定理はその条件の一つを示す。定理2.K=Q(√<p>,√<q>,√<r>)は8次体とする。ただしp、q、rは相異なる。さらに(q/p)=1 そして(p/r)=(r/q)=-1と仮定する。そのときもし4次部分体k=Q(√<p>,√<q>)の類数が奇数ならば、Kの類数h_Kも奇数である。最後に、数多くの4次体、8次体および16次体について、その類数を実際に計算し、それを表にまとめた。このことも本研究の成果である。本研究の結果は日本数学会で1988年秋の総合分科会と1989年春の年会でそれぞれ口答発表を行った。また裏面のように雑誌に発表の予定。

In this study, we study the type of rational number field Q

项目成果

太田喜一郎: 岐阜大学教養部研究報告. 25. (1989)

太田喜一郎：岐阜大学文学院研究报告25。（1989）