2017年5月18日

AAを可換とは限らない環,SAS\subset Aを積閉集合,BBAASSでの局所化とする.ここで局所化とはSSの元が単元になるような環で不変的なもの.可換の時とか,より一般にSSがleft denominator setならばBBは右AA加群として平坦なんだけど,一般にはどうなんだろうと.

なんかぐるぐる無駄に回ってしまったんだけど,すんごく当たり前にダメだった.どうせ忘れるのでメモ.AAX1,X2X_1,X_2を変数とする非可換多項式環,SSX1X_1X2X_2で生成される積閉集合として, f(a1,a2)=a1X1a2X2 f(a_1,a_2) = a_1X_1 - a_2X_2 f:A2Af\colon A^2\to Aを定義すると,右からX1X_1でもX2X_2でも割れるAAの元はないので単射.BAB\otimes_Aすると同じ式で定義されるF:B2BF\colon B^2\to Bを得るけど,明らかにF(X11,X21)=0F(X_1^{-1},X_2^{-1}) = 0となる.

0 件のコメント:

コメントを投稿

コメントの追加にはサードパーティーCookieの許可が必要です