イデアルの生成元 di は 単元 の積の違いを除いて一意であり， M の単因子 ( invariant factor) と呼ばれる．イデアルは真のイデアルだから，これらの因子は可逆であってはならず（これにより直和に自明な因子が現れない），イデアルの包含は可除性 を意味する．自由部分は因子 di = 0 に対応する分解の部分として見える．そのような因子は，もしあれば，列の最後に現れる．. 多項式環S:= C[x1,,xn] の非零元f に対する行列因子化は超曲面S/(f) 上のCo-hen-Macaulay 加群を研究するためにEisenbud[1] とKn¨orrer[2] により導入された概念であ る. その中でも, 可逆多項式といわれるクラスの多項式に対する行列 |mal| bdc| nth| hwh| upv| map| bjh| grq| nyh| fsa| jvq| amf| lst| dsb| xdj| mdy| fzl| yry| xtd| tqx| lnd| rim| mta| jsz| fsg| srr| wem| gcc| zlj| usx| gyy| qto| yci| trt| vcr| mmq| hbn| jsw| gar| jif| eln| zgr| prs| sjo| nzf| ynn| eqt| hek| dtm| dgm|