before-content-x4
代数では、数学のサブエリアでは、整合性リングはと呼ばれます 主な理想的なリング また 主な理想的なアレス すべての理想が主なアイデアである場合。主なディスルスリングの最も重要な例は、整数のリングと、1つの体の上の無期限の輪の多項式リングです。主なアイデアの概念により、これら2つの特別なケースに関するステートメントを均一に定式化することができます。一般的な理論におけるアプリケーションの例は、ヨルダンの通常の形態、部分的な破損の崩壊、または最終的に生成されたアベルシュグループの構造理論です。
整合性リング
(すなわち、ゼロディバイダー – フリーの通勤リング
)呼ばれます 主な理想的なリング 、すべての理想の場合
主なアイデアです。 H.があります
、 となることによって
。
以下であり
主な理想的なリングと
彼の商の体。さらに、be
すべてのIrreduzibleにとって多くのこと
ちょうど1つも
関連する要素が含まれます。その場合
(ポジティブな)素数の量です
、 その場合
体のために
鉛係数を伴う灌漑多項式の量1。
次のリングが主なアイデアです。
- 体
(整数のリング)
(すべてのガウシェン番号のリング)
- polynomringe
体の無期限に
- 正式なパワーロウリング
体の無期限に
- 個別の評価リング
- ユークリッドリング(このクラスには上記のすべての例が含まれていますが、すべての主なアイデアがユークリジーではありません)
- Hauptdealringenのローカリゼーションが再び主要なアイデアです。
- 体の全体的なリング
、d。 H.鉄の石の数字のリングは、主な理想的なリングです。次の声明も適用されます:正方形の給与体の全体的なリング
負の正方形のない
ifの場合、まさに主なアイデアです
(参照:Heegner番号)。証拠は、理想的なクラスグループの検査に基づいており、数体については、リングが主なアイデアであることから除去される尺度の尺度と見なすことができます。
主なアイデアは、次の一般的なクラスのリングの1つです。
-
- 要素
それが非lucidであるとき、それはただの素数です。
- 各要素は、の商のゼロです
明確な方法で形で明確にすることができます
-
-
- 総数があります
そしてユニット
書く。
- Gaußの補題:各無作法な要素
のいずれかの要素です
(一定の多項式として考案)またはin
係数は部分的に異質である無核となる多項式。 [2]
- 主なアイデアは、すべての理想が最終的に(要素の)生成されるため、些細なことです。
- 主なアイデアは常にdedekindリングです(以下も参照)
主なアイデアはありません:
- 要素の最大の一般的な除数(関連することから明確な)最大の共有部門
(関連する明確さを除く)理想の生産者です
。特に、これは適用されます ベズアウトの補題 : それが存在します
と
-
-
- 特別なケース:
もしそうなら好意的ではありません
で与えます
-
- の最小の一般的な倍数
理想のプロデューサーです
。
- 中国の残留物:
スパ – ペアで、それは標準的なリングの同性愛です
-
-
- 同型。 [3]
- 中国の残留物の引き締めはそれです 近似率 :与えられます
、ペアが異なります
数字と同様に
。次に、1つあります
、
参照すると
の
-te順序は近似されており、そうでなければ通常、d。 H.
-
-
ために
- と
-
ために
。
- 説明された
の指数
の主要な要因で
。 [4]
- ゼロの理想は主要な理想でもありますが、最大になる場合にのみ
体です。
もちろん、多くの人は、代数数の理論と代数のジオメトリリングの多くが主要なアイデアではなく、やや一般的なクラスのリングであるDedekind-ringenに属します。それらはメインの理想的なリングのローカライズされたバージョンであり、理想はもはやグローバルではなく、要素によって地元でのみ生産されるだけです。
- は
地元の指輪があるノーテルの完全性エリア
すべてのプリミティブのために
メインカウンターです。つまり、意味します
Dedekind-ring 。 [5]
次のプロパティは主なアイデアに適用されますが、より一般的にはDedekindリングにも適用されます。
Dedekindリングが要因または半局所である場合、それが主なアイデアです。 [6]
全般的 [ 編集 | ソーステキストを編集します ]
-
-
最終的に生成されたモジュール:初等部門の交換 [ 編集 | ソーステキストを編集します ]
小学校部門は、無刻なモジュールで最終的に生成されたモジュールの分解の構造について説明しています。 (モジュール
モジュールがない場合、不正確なことを意味します
で与えます
。)
そうです
上記の灌漑要素の代表的なシステムのように(関連することを除く)。最終的に作成されたモジュールごとに
明らかに特定の非陰性数があります
と
ために
ほぼすべてがゼロです
-
支払い
通りです
明確に定義されており、個々の要因
また。
遠方です。理想
、 のために
適用されます 小学生 から
。 [11]
最終的に生成されたモジュール:不変要因 [ 編集 | ソーステキストを編集します ]
最終的に作成されたモジュールごとに
有限のエピソードがあります
の要素から
必ずしもゼロと違いはない人は
ために
理想
通りです
明確に決定され、呼ばれます 不変要因 から
。要素
したがって、関連することを除いて明確に決定されます。 [12番目]
この声明には、modulnに関する2つの競合する視点があります。
逆に、写真は1つです
– エントリ付きのマトリックス
サブモジュール
、および商モジュール
(スルーのコーカー
同性愛が与えられた
)最終的に生産されます
– モジュール。
submodulnフリーモジュールの場合、ステートメントは次のとおりです。
- は
無料のもの
– モジュールと
(また無料)サブモジュール
ヴォムが鳴った
だからあります
要素
のベースの一部
要素と同様に
と
、 となることによって
の基礎
は。からのもの
緊張した部分
ねじれサブモジュールの原型として不変である可能性があります
説明。理想
モジュールの不変性(上記のように)ですか
、おそらく追加されています
。 [13]
マトリックスの場合(スミスノーマルフォーム):
-
-
- ある
繰り返しますが、上記のように不変です。 [14]
ねじりモジュール [ 編集 | ソーステキストを編集します ]
そうです
A(必ずしも最終的に生成されたわけではありません)ねじれモジュールオーバー
、d。 H.それぞれのため
存在します
と
。もう一度
灌漑要素の代表システム。次に、次のことが適用されます。 [15]
の直接的な合計です
– プリマリーアンダーモドゥルン
、d。 h。
-
と
-
結果として、それはそれに続きます
まさにその後、最初の半分です
すべてのために
。 [16]
アプリケーションの例:
- は
と
、これは声明です:すべての合理的な数字には明確なプレゼンテーションがあります
-
-
- と
、
(そしてほとんどすべて
) としても
と
。 [17]
-
-
- 走ります
刺激された多色症は標準化されています
、他のコンポーネントは通常の割合です
注文
(みんなを修正しました
)および適切なポリノーム
ために
と
。特にです
線形、それが彼らの方法です
絶え間ない。 [18]
定義は、非配信リングに一般化できます。右翼代表
正しいです –
単一の要素の
;
左翼のキャプテンです。通勤の場合のように
と
些細な(そして2面)主なアイデア。
Hurwitz Quaternionsは、非コミュニケーションリングの例であり、この標準が誠実な基準として、左と右翼の両方のClidであり、したがって右側と左側の両方にあります。
- すべての理想が最終的に作成されたことだけに挑戦されている場合、あなたはノーテルの概念に到達します。
- 逆に、最終的に作成されたすべての理想的な主要なアイデアがある整合性領域の状態を配置できます。これらはいわゆるベズアウトリングです。主なアイデアは、まさにノエターシュ・ベズトリンゲです。
- 「メインディスルスリング」という用語の定義では、ゼロディバイダー – フリーリングが許可されていない場合があるため、各理想が主なアイデアであり、
。 [20] 英語では、これは言語的に 主要な理想リング と 主要な理想ドメイン ( ドメイン =整合性エリア)。主なアイデアという用語間の対応する区別 指輪 と主なアイデア エリア ドイツ語では珍しいです。 [21]
- セルジュ・ラング: 代数。 改訂された第3版。スプリンガー、ベルリンu。 a。 2002、ISBN 0-387-95385-X( 数学の大学院テキスト 211)。
- ニコラス・ブルバキ: 代数II。第4章から第7章。 スプリンガー、ベルリンu。 a。 1990、ISBN 3-540-19375-8( 数学の要素 )。
- ニコラス・ブルバキ: 数学の要素。通勤代数。 バンド10: 第10章。 1998年版の復刻版。スプリンガー、ベルリンU.に。 2007、ISBN 978-3-540-34394-3。
- ニコラス・ブルバキ: 通勤代数。 1〜7章。 2回目の印刷。スプリンガー、ベルリンu。 a。 1989、ISBN 3-540-19371-5( 数学の要素 )。
- StefanMüller-Stach、Jens Piontkowski: 初等および代数の数字理論。古典的なトピックへの最新のアクセス。 Vieweg、Wiesbaden 2006、ISBN 3-8348-0211-5( 勉強 )。
- ↑ ラング、定理II.5.2、S。112
- ↑ ラング、定理IV.2.3、S。182
- ↑ ラング、結果II.2.2、S。95
- ↑ Bourbaki、Commutative Algebra、Ch。 VII、§2.4、命題2
- ↑ Bourbaki、Commutative Algebra、Ch。 VII、§2
- ↑ StefanMüller-Stach、Jens Piontkowski: 初等および代数の数字理論 。 Vieweg-Verlag、2006、p。188。(文18.16)
- ↑ ブルバキ、代数、ch。 VII、§3、結果2;ラング、定理III.7.1
- ↑ Bourbaki、代数、Ch。VII、§4、No。 4、結果1および2;ラング、定理III.7.3
- ↑ ブルバキ、代数、ch。 VII、§3、結果3
- ↑ Bourbaki、Algebra、Ch。X、§1、no。7、colollary 2
- ↑ ブルバキ、代数、ch。 VII、§4、No。 8、提案9;ラング、定理III。
- ↑ ブルバキ、代数、ch。 7、§4、いいえ。 4、定理2;ラング、定理III.7.7
- ↑ ブルバキ、代数、ch。 7、§4、いいえ。 3、定理1;ラング、定理III.7.8
- ↑ ブルバキ、代数、ch。 vii、§4、No。6、冠1;ラング、定理III.7.9
- ↑ ブルバキ、代数、ch。 VII、§2、No。2、定理1
- ↑ ブルバキ、代数、ch。 vii、§2、No。2、冠4
- ↑ ブルバキ、代数、ch。 VII、§2、No。3、i
- ↑ ブルバキ、代数、ch。 VII、§2、No。3、ii
- ↑ ブルバキ、代数、ch。 VII、§5、No。8、命題14
- ↑ のみ、II、§1、S。86
- ↑ レイナーシュルゼピロット: 代数と数の理論の紹介。 Springs-Pilly、2014、ISBN 978-3-642-5521116-8、S。 限られたプレビュー Google Book検索で)。
after-content-x4
Recent Comments