• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

代数的数体における構造不変量の研究

研究課題

研究課題/領域番号 06640034
研究種目

一般研究(C)

配分区分補助金
研究分野 代数学
研究機関名古屋大学

研究代表者

横井 英夫  名古屋大学, 大学院・人間情報学研究科, 教授 (50023560)

研究分担者 佐藤 健一  名古屋大学, 情報文化学部, 教授 (60015500)
篠田 寿一  名古屋大学, 人間情報学研究科, 助教授 (30022685)
三井 武友  名古屋大学, 人間情報学研究科, 教授 (50027380)
中野 伸  名古屋大学, 理学部, 講師 (40180327)
北岡 良之  名古屋大学, 理学部, 教授 (40022686)
研究期間 (年度) 1994
研究課題ステータス 完了 (1994年度)
配分額 *注記
1,800千円 (直接経費: 1,800千円)
1994年度: 1,800千円 (直接経費: 1,800千円)
キーワード代数的教体 / 構造不変量 / 実2次体 / 不定方程式
研究概要

平方因子を含まない任意の正の整数Dに対して、我々はさきに2次体Q(√<D>)の新しい不変量m_Dと(a_D,b_D)を以下のようにして定義した。まず A_D={a:0≦a<D,a^2≡4Nε_D(mod D)},(A,B)_D={(a,b):a∈A_D,a^2-4Nε_D=bD}と置く。ここでε_Dは実2次体Q(√<D>)の基本単数であり、基本単数ε_D=(t_D+u_D)/2>1 よって定まる既知の不変量t_D,u_Dとの間の関係式 t_D=Dm_D+a_D,u_D^2=Dm_D^2+2a_Dm_D+b_D を満たす非負整数m_Dと、(A、B)_Dの元(a_D,b_D)として一意的に定義することができた。
今回は、これらの新不変量を使って,不定方程式x^2-Dy^2=±2 が整数解をもつための条件とその整数解を具体的に与えることができた。すなわち、x^2-Dy^2=2 が整数解をもつためには(a_D,b_D)=(2,0) が必要かつ十分であり、その最小整数解は (x,y)=(√<Dm_D/2+2>,√<m_D/2>)。一方、x^2-Dy^2=-2 が整数解をもつためには(a_D,b_D)=(D-2,D-4) が必要かつ十分であり、その最小整数解は (x,y)=(√<Dom_D/2-2>,√<(m_D+1)/2)> である。
そのほか、集合論のプール代数値モデルおける超構造から、超準宇宙を構成する方法を確立することができた。また、リスク鋭感的確立制御問題に対応するベルマン方程式の解の存在を示し、値関数が爆発しないための条件を示し得た。 さらに、加法過程の強過渡性、弱過渡性の判定条件を、特性関数の挙動によって与えることもできた。

報告書

(1件)
  • 1994 実績報告書

URL: 

公開日: 1994-04-01   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi