• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

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

Research Project

Project/Area Number 06640034
Research Category

Grant-in-Aid for General Scientific Research (C)

Allocation TypeSingle-year Grants
Research Field Algebra
Research InstitutionNagoya University

Principal Investigator

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

Co-Investigator(Kenkyū-buntansha) 佐藤 健一  名古屋大学, 情報文化学部, 教授 (60015500)
篠田 寿一  名古屋大学, 人間情報学研究科, 助教授 (30022685)
三井 武友  名古屋大学, 人間情報学研究科, 教授 (50027380)
中野 伸  名古屋大学, 理学部, 講師 (40180327)
北岡 良之  名古屋大学, 理学部, 教授 (40022686)
Project Period (FY) 1994
Project Status Completed (Fiscal Year 1994)
Budget Amount *help
¥1,800,000 (Direct Cost: ¥1,800,000)
Fiscal Year 1994: ¥1,800,000 (Direct Cost: ¥1,800,000)
Keywords代数的教体 / 構造不変量 / 実2次体 / 不定方程式
Research Abstract

平方因子を含まない任意の正の整数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)> である。
そのほか、集合論のプール代数値モデルおける超構造から、超準宇宙を構成する方法を確立することができた。また、リスク鋭感的確立制御問題に対応するベルマン方程式の解の存在を示し、値関数が爆発しないための条件を示し得た。 さらに、加法過程の強過渡性、弱過渡性の判定条件を、特性関数の挙動によって与えることもできた。

Report

(1 results)
  • 1994 Annual Research Report

URL: 

Published: 1994-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi