(Translated by https://www.hiragana.jp/)
GCD环 - 维基百科,自由的百科全书 とべ转到内容ないよう

GCD环

维基百科ひゃっか自由じゆうてき百科ひゃっかぜん


GCD环一种有特殊性质的せいR,满足其中にん二个非零的元素都有さい大公たいこう因数いんすう(GCD),あるものとう价的,みやこゆう最小公倍数さいしょうこうばいすう(LCM)[1]

GCD环是しょう唯一ゆいいつ分解ぶんかいせい推广いた诺特环てきじょう况,こと实上,いち个整环是唯一ゆいいつ分解ぶんかいせいわか且惟わか其为满足しゅ理想りそうます条件じょうけんえいascending chain condition on principal idealsてきGCD环。

せい

[编辑]

GCD环中ごと不可ふか元素げんそみやこただし元素げんそ过GCD环中一定要有不可约元素,其至GCD环可能かのういちいき)。GCD环是 整数せいすうふうえいintegrally closedてき,且其ちゅうごと一个非零的元素都是素性すじょう元素げんそえいprimal element[2]。换句话说,まい个GCD环都Schreier环えいSchreier domain

针对GCD环Rなかてきごといち元素げんそxy,其最大公たいこう因数いんすうd最小公倍数さいしょうこうばいすうm以选择为使dm = xy成立せいりつてきすう值,换句话说,わかxy为非れい元素げんそ,而dこれxてきyてきにんなんいち个最大公たいこう因数いんすう,则xy/dxyてき最小公倍数さいしょうこうばいすうたんまたしか

わかRGCD环,其项式环R[X1,...,Xn]也是GCD环[3]

针对いち个GCD环中てき项式X以定义其内容ないよう所有しょゆうけいすうてき最大さいだいこう因数いんすうよし此多项式じょう积的内容ないようそく为其项式内容ないようてきじょう积,如同こう斯引叙述じょじゅつてきいち样。

举例

[编辑]
  • 唯一ゆいいつ分解ぶんかいせいGCD环,唯一ゆいいつ分解ぶんかいせい环是GCD环中恰好かっこう也是原子げんしまい一个非零非单位元素,いたりしょうゆう一种分解为不可约元素乘积的方式)てき份。
  • Bézout环えいBézout domainまい个有げん生成せいせいてき理想りそうみやこただし主要しゅよう理想りそうてきせい环)GCD环。Bézout环不どう主要しゅよう理想りそうえいPrincipal ideal domainまい理想りそう主要しゅよう理想りそう),Bézout环不一定要是唯一分解整环,れい如一个せい函数かんすうてき是非ぜひ原子げんしせいてきBézout环,也有やゆう许多其他类似てきれいせい环是PrüferえいPrüfer domainてきGCD环的たかし必要ひつよう条件じょうけん其为Bézout环[4]
  • わかR是非ぜひ原子げんしせいてきGCD环,则R[X]GCD环中すんで唯一ゆいいつ分解ぶんかいせい环(いん为非原子げんしせい),也不Bézout环(いんXR一个不能取倒数的非零元素a以产せいいち个不包括ほうかつ1てき理想りそうただし1Xaてき最大さいだいこう因数いんすうてきれいにんなん符合ふごう条件じょうけんてきR[X1,...,Xn]みやこゆう类似せい质。

参考さんこう资料

[编辑]
  1. ^ Scott T. Chapman, Sarah Glaz (ed.). Non-Noetherian Commutative Ring Theory. Mathematics and Its Applications. Springer. 2000: 479. ISBN 0-7923-6492-9. 
  2. ^ planetmath proof. [2015-08-26]. (原始げんし内容ないようそん于2012-03-15). 
  3. ^ Robert W. Gilmer, Commutative semigroup rings, University of Chicago Press, 1984, p. 172.
  4. ^ Ali, Majid M.; Smith, David J., Generalized GCD rings. II, Beiträge zur Algebra und Geometrie, 2003, 44 (1): 75–98 [2015-08-26], MR 1990985, (原始げんし内容ないようそん于2015-09-24) . P. 84: "It is easy to see that an integral domain is a Prüfer GCD-domain if and only if it is a Bezout domain, and that a Prüfer domain need not be a GCD-domain.".