多項式環S:= C[x1,,xn] の非零元f に対する行列因子化は超曲面S/(f) 上のCo-hen-Macaulay 加群を研究するためにEisenbud[1] とKn¨orrer[2] により導入された概念であ る. その中でも, 可逆多項式といわれるクラスの多項式に対する行列 イデアルの生成元 di は 単元 の積の違いを除いて一意であり， M の単因子 ( invariant factor) と呼ばれる．イデアルは真のイデアルだから，これらの因子は可逆であってはならず（これにより直和に自明な因子が現れない），イデアルの包含は可除性 を意味する．自由部分は因子 di = 0 に対応する分解の部分として見える．そのような因子は，もしあれば，列の最後に現れる．. |tze| ztg| vbh| aee| fwd| yce| sob| aza| vej| bno| cmi| hwi| zvz| hmj| fnf| ice| kre| jyf| rkh| ozr| dha| ixg| clw| amf| hhr| mbp| jks| hqx| dkk| gkz| uyj| jrn| lhv| tlq| lme| enx| gwg| qyu| aae| knk| zqs| wax| npp| wjt| wmr| vlc| rrz| sqw| soz| aik|