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

環論と関連分野の研究

研究課題

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

一般研究(C)

配分区分補助金
研究分野 数学一般(含確率論・統計数学)
研究機関静岡大学

研究代表者

伊澤 達夫  静岡大学, 理学部, 助教授 (20021941)

研究分担者 横山 美佐子  静岡大学, 理学部, 助手 (80240224)
古森 雄一  静岡大学, 理学部, 助教授 (10022302)
小崎 高太郎  静岡大学, 理学部, 助教授 (10028186)
浅井 哲也  静岡大学, 理学部, 教授 (50022637)
研究期間 (年度) 1993
研究課題ステータス 完了 (1993年度)
配分額 *注記
1,200千円 (直接経費: 1,200千円)
1993年度: 1,200千円 (直接経費: 1,200千円)
キーワード組成列 / 自己準同型環 / デデキント和 / 高次微分 / ラムダ計算 / BCK論理 / 軌道体
研究概要

研究代表者による加群の一般化された組成列に関する研究について。代表者は1993年夏ドイツで催された「環と加群に関する国際会議」に参加して、最近の環と加群の研究における動向を察知し得た。その内の一つとして、quasi-Frobenius環(略してQF環)の特徴付けを制限されたイデアルについての連鎖律によって与える研究がある。このような観点から、代表者の導入した一般化された組成列(所謂、U-組成列)との関連を考察すると、左自己入射的環RがQF環となるための必要十分条件はRが左R-加群としてR-組成列をもつことである、ことが導ける。これは、Teply-Millerの定理により左零化イデアルのクラスが降鎖律を満たすことと同値である。これを一般化して、加群Mの自己準同型環がQF環になるための条件をMの一般化された組成列との関連において求められるのではないかと期待される。このような見地から、代表者は国内の環論研究者と昨年来情報と意見を交換しながら引き続き研究している。
研究分担者によるその他の研究について。浅井は3つの連続するFarey分数に対するDedekind和の符号に関するRademacherの問題に完全な解答を与えた。そこでD_1-関数に関するRademacher符号条件を満たすすべての分数の組を与えた。また、古森は直観主義論理から縮約規則を除いた体系であるBCK論理において与えられた証明できる論理式の正規な証明図の個数を決定できる方法を与えた。
さらに、縮約規則と割増規則のない2つの論理BIとBB'IについてGentzen式の体系をつくって研究をおこなった。その過程でシンタクティカルには未解決であったT-W問題を解いた。

報告書

(1件)
  • 1993 実績報告書
  • 研究成果

    (3件)

すべて その他

すべて 文献書誌 (3件)

  • [文献書誌] 浅井 哲也: "On the sign problem of Dedekind sums" Rep.Fac.Sci.Shizuoka Univ.27. 9-12 (1993)

    • 関連する報告書
      1993 実績報告書
  • [文献書誌] 古森 雄一: "The number of proofs for a BCK-formula" Journal of Symbolic Logic. 58. 626-628 (1993)

    • 関連する報告書
      1993 実績報告書
  • [文献書誌] 古森 雄一: "Syntactical investigations in BI logic and BB'I logic" Studia Logica.

    • 関連する報告書
      1993 実績報告書

URL: 

公開日: 1993-04-01   更新日: 2018-06-07  

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

Powered by NII kakenhi