nk_restriction.module_restriction
=[x,y,z]
, W =[1,0,0]
であれば
x について制限を行う.
以下は, D 自由加群 D^2 の部分加群 M = D . { (dx, dy), (dy, dx), (x, y) } をとり, D 加群 D^2 / M の x ついての制限加群を計算した例である.
[2691] nk_restriction.module_restriction([[dx,dy],[dy,dx],[x,y]], [x,y], [dx,dy], [1,0]); .... bfunction : s [[1,1],[s,1]] integer roots : [0,0] Generators: [e1,e2] Relations: [-8*e2*dy,4*e2*dy^2,-4*e2*dy^3,4*e1*y*dy-4*e1,-4*e1*dy^2,-4*e2,-e2*y*dy^2+2*e2*dy,-e1*y*dy+e1,e1*y*dy-e1] [[0,-1],[-dy^2,0],[y*dy-1,0]]
制限加群は (0, -1), (-dy^2, 0), (y, dy-1, 0) で生成されることがわかる.
Go to the first, previous, next, last section, table of contents.