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

2004 Fiscal Year Annual Research Report

一階の構造のgeneric自己同型写像の研究とその代数学への応用

Research Project

Project/Area Number 16540117
Research InstitutionTokai University

Principal Investigator

桔梗 宏孝  東海大学, 理学部, 助教授 (80204824)

Co-Investigator(Kenkyū-buntansha) 渡邊 純三  東海大学, 理学部, 教授 (40022727)
板井 昌典  東海大学, 理学部, 教授 (80266361)
坪井 明人  筑波大学, 数学系, 助教授 (30180045)
Keywordsgeneric自己同型 / generic述語 / 融合性 / 自由融合性 / 不安定 / 加群の自己同型 / quasi-minimal structure / generic構造
Research Abstract

安定でない理論のgeneric自己同型写像のクラスが一階のクラスにならないという予想に対して進展があった。安定でない理論の例を作る方法としてgeneric述語と呼ばれる関係を新たに導入する方法があるが,自己同型写像に関する自由融合性をもつ理論をもとにこの拡張を行っても,自己同型写像に関する自由融合性は保存されることが証明できた。研究代表者がすでに得ている結果を使うと,この構成法を繰返して得られる不安定理論のgeneric自己同型写像のクラスは一階のクラスにならないことがわかる。
無限個の有限構造をうまく貼り合わせて構成されるgeneric構造というものがあり,様々なモデル理論的性質をもつ構造の構成に利用されている。ZilberとPeatfieldは代数幾何や複素幾何に登場する構造の位相と次元の性質を抽象化してanalytic Zariski structureという構造を定義し,generic構成法で得られる典型的な例の1つがこの構造になることを示した。そのときに,考えている有限構造のクラスに対するgeneric構造を簡単な公理の可算飽和モデルとして特徴付けをした。generic構造をもつ有限構造のクラスに対していつでもこのような特徴付けができる訳ではないが,局所次元を利用して定義される素直なクラスに対しては同様の特徴付けができることがわかった。これらのクラスのgeneric構造がanalytic Zariski structureになっているのか,あるいは,自己同型写像がどうなっているのかは今後の課題である。
一方,可除加群である種の自己同型を考えた構造の理論は比較的簡単な理論をもち,量化記号の消去ができることがわかった。これはquasi-minimal structureに関連する結果であるが,generic自己同型と関係がありそうである。

  • Research Products

    (4 results)

All 2005 2004

All Journal Article (4 results)

  • [Journal Article] On Generic Predicates and the Amalgamation Property for Automorphisms2005

    • Author(s)
      Hirotaka Kikyo
    • Journal Title

      Proceedings of the School of Science of Tokai University 40(印刷中)

  • [Journal Article] Omega-saturated quasi-minimal model of Th(Q^omega, +, sigma,0)2005

    • Author(s)
      Masanori Itai, et al.
    • Journal Title

      Mathematical Logic Quarterly 51・3

      Pages: 258-262

  • [Journal Article] On Generic Predicates and Automorphisms2004

    • Author(s)
      Hirotaka Kikyo
    • Journal Title

      京都大学数理解析研究所講究録 1390

      Pages: 1-8

  • [Journal Article] Construction of Saturated Quasi-minimal Structure2004

    • Author(s)
      Masanori Itai, et al.
    • Journal Title

      The Journal of Symbolic Logic 69・1

      Pages: 9-22

URL: 

Published: 2006-07-12   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi