invariant basis numberとは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > invariant basis numberの意味・解説 

Invariant basis number

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2016/05/22 00:57 UTC 版)

数学、具体的には環論において、invariant basis number (IBN) property を持つとは、R 上のすべての有限生成自由加群が well-defined な階数(ランク)を持つことをいう。の場合には、IBN property は有限次元ベクトル空間は一意的な次元を持つという主張になる。

定義

Rinvariant basis number (IBN) を持つとは、どんな正の整数 mn に対しても、RmRn に(左 R-加群として)同型ならば m = n であることをいう。

同じことだが、これは相異なる正整数 m, n であって RmRn に同型となるようなものが存在しないということである。

行列の言葉で invariant basis number の定義を言い換えると、AR 上の m × n 行列で BR 上の n × m 行列で、AB = I および BA = I であれば、必ず m = n となるということである。この形にすれば定義が左右対称なことがわかり、IBN を左加群で定義しても右加群で定義しても同じになる。

定義の同型は環としての同型ではなく加群としての同型であることに注意する。

議論

invariant basis number の条件の主たる目的は、IBN 環上の自由加群はベクトル空間に対する次元定理英語版の類似を満たすことである。すなわち、IBN 環上の自由加群の 2 つの基底は同じ濃度を持つ。(選択公理よりも真に弱い)ultrafilter lemma英語版 を仮定すると、この結果は実は上で与えた定義と同値であり、これを別の定義とすることができる。

IBN 環 R 上の自由加群 Rn階数 (rank) は Rn に同型な勝手な(したがってすべての)R-加群 Rm の指数 m濃度と定義される。したがって IBN property は自由 R-加群のすべての同型類は一意的な階数を持つことを主張する。階数は IBN を満たさない環に対しては定義されない。ベクトル空間に対しては、階数は次元とも呼ばれる。したがってこれまでの結果をまとめると: 階数がすべての自由 R-加群に対して一意的に定義されることと、それがすべての有限生成自由 R-加群に対して一意的に定義されることは同値である。

任意の(可換)体は IBN を満たし、これは有限次元ベクトル空間が well-defined な次元を持つという事実である。さらに、任意の可換環(1 = 0 の自明環は除く)は IBN を満たし、任意の左ネーター環や任意の半局所環も(したがって可除環や半単純環なども)IBN を満たす。

IBN を満たさない環の例は、列有限行列全体のなす環 である。この行列は環 R に係数を持ち、 で添え字付けられた成分を持ち、各列は有限個しか非零成分を持たないようなものである。この最後の条件によって無限行列の積 MN を定義することができ、環の構造が入る。左加群同型 が次のように与えられる:

この無限行列環は R 上の可算ランクの右自由加群の自己準同型環に同型であることがわかる。(Hungerford) の190ページ参照。

この同型から、( と略記すると、)任意の正の整数 n に対して であること、したがって任意の 2 つの正の整数 m, n に対して であることを示すことができる。この性質を持たない非 IBN 環の例もある。例えば、(Abrams 2002) にあるように Leavitt algebra。

他の結果

IBN は零因子を持たない環()が可除環に埋め込めるための必要条件である(が十分ではない)。(可換な場合には分数体に埋め込める。)Ore condition も参照。

すべての非自明な stably finite ring は invariant basis number を持つ。

非可換体の拡大を考えると、上の体は下の体の左ベクトル空間とも右ベクトル空間ともみられるが、この 2 つのランクは一致するとは限らない。驚くべきことに、任意の整数 m, n > 1 に対して、体の拡大 KL であって、LK 上左から見て m 次元、右から見て n 次元となるものが存在する。

参考文献


「Invariant basis number」の例文・使い方・用例・文例

Weblio日本語例文用例辞書はプログラムで機械的に例文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「invariant basis number」の関連用語

invariant basis numberのお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



invariant basis numberのページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのInvariant basis number (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
Tanaka Corpusのコンテンツは、特に明示されている場合を除いて、次のライセンスに従います:
 Creative Commons Attribution (CC-BY) 2.0 France.
この対訳データはCreative Commons Attribution 3.0 Unportedでライセンスされています。
浜島書店 Catch a Wave
Copyright © 1995-2025 Hamajima Shoten, Publishers. All rights reserved.
株式会社ベネッセコーポレーション株式会社ベネッセコーポレーション
Copyright © Benesse Holdings, Inc. All rights reserved.
研究社研究社
Copyright (c) 1995-2025 Kenkyusha Co., Ltd. All rights reserved.
日本語WordNet日本語WordNet
日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2010 License All rights reserved.
WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved. License
日外アソシエーツ株式会社日外アソシエーツ株式会社
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
「斎藤和英大辞典」斎藤秀三郎著、日外アソシエーツ辞書編集部編
EDRDGEDRDG
This page uses the JMdict dictionary files. These files are the property of the Electronic Dictionary Research and Development Group, and are used in conformance with the Group's licence.

©2025 GRAS Group, Inc.RSS