Ngôn ngữ
Không có dữ liệu
Thông báo
Không có thông báo mới
右のイデアル両方に対して満たされるとき、例えば R が可換環のような場合、R を単項イデアル環、主イデアル環 (principal ideal ring) あるいはシンプルに 単項環、主環 (principal ring) と呼ぶことができる。 R の有限生成右イデアルだけが単項であるならば、R
可換環論(次元論)において、クルルの単項イデアル定理(英: Krull's principal ideal theorem, Krull's Hauptidealsatz)は、ネーター環の素イデアルの高さについての基本的な定理である。 ネーター環 A の単項イデアル I の極小素因子(I を含む極小素イデアル)の高さは
整」の中に「可換」の意も含まれるということになる)。別な文献では(ラングが顕著だが)整環 (entire ring) を用いるものがある。 いくつか特定の種類の整域のクラスについては、以下のような包含関係が成立する。 可換環 ⊃ 整域 ⊃ 整閉整域 ⊃ 一意分解環 ⊃ 単項イデアル整域 ⊃ ユークリッド環
が導かれるとき、A を整閉整域という。 可換環 ⊃ 整域 ⊃ 整閉整域 ⊃ 一意分解環 ⊃ 単項イデアル整域 ⊃ ユークリッド環 ⊃ 体 ⊃ 有限体 一意分解整域 (UFD) は整閉整域である。特に、単項イデアル整域や UFD 上の多項式環も整閉整域である。 デデキント整域は整閉整域である。 整閉整域でない例として、体
多項式の概念を定義したり、グレブナー基底を作り計算するのに使われる次数付き単項式順序のために使われる。暗黙には、多変数のテイラー展開の項をまとめるのに使われる。 代数幾何学において、多重指数 α の集合に対して単項式方程式系 xα = 0 で定義される代数多様体は斉次性の特別な性質をもっている。これは
を両方割り切ることを証明すれば十分である。 a と b が共通約元 d をもてば、これを a/d と b/d に対して証明すれば十分である、なぜならば同じ s, t でうまくいくから。 多項式 a と b は 0 でないとしてよい。両方とも定数項が 0 であれば、n を次のような最小の指数とする。それらのうち少なくとも一方が
主張 互いに同伴という同値関係 "∼" に関する商集合 R/∼ は、LCM および GCD を交わりおよび結びとして分配束(英語版)となる。 R がGCD整域であれば、多項式環 R[X1, …, Xn] もまたGCD整域であり、より一般に、群環 R[G] は任意の捩れのない可換群
sizeof x Sizeof: sizeof(型の名前) 型変換: (型の名前)オペランド なお、「関数を返す関数」というような「高階関数」があるような系であれば、2以上の任意の引数個を持つ演算(関数)は、単項演算にすることができる(カリー化)。 二項演算 アリティ オペランド 作用素 演算子