令m为整数>0,S分级代数k[X1,…,Xm],以及k∗的a1,…,am元素。令Φ=i,j=1∑maijXiXj为二次形式;把
Di=∂Xi∂andD=i,j=1∑mbijDiDj
其中(bij)是(aij)的逆矩阵。 a) 如果f是次数n齐次,证明S上存在唯一的s模结构,使得X+f=21D(f),X−f=21Φf和Hf=−(m/2+n)f。 b) 输入 An=Sn∩ Ker(D)。证明对于 2p+q=n,Sn 是子空间 Φp.Aq 的直和。推断身份
∑n=0∞ 暗淡(An)Tn=(1+T)/(1−T)m−1。
c) 如果f是An的非零元素,则S的简单s子模的Φpf,p≥0、形式基,同构于模Z(−2m−n)锻炼。 2.
d) 使情况m=1和m=2明确。使用案例m=3恢复Exerc的结果。 9.