不可编辑
有个错误 Proposition 2.6.
那里 [f*g]:=[f]*[g] 应该改为 [f]*[g] := [f*g]
感谢您指出错误, 不过觉得有错误直接在文章里改并在摘要注明就好了.