(f)|_{V}=f}を満たすようなものが唯一つ存在する。f(x_{k})}で与えられる。小行列式の作る行列である。0}は次数付き線型空間の完全列である[9]。(V)}も完全である[10]。^{q}(W)}になっている。^{p}(W)}なるものを持つ。0}が完全である[11]。交代テンソル全体の成す部分空間と自然に同一視される。生成されるイデアルによる商多元環として定義されたことを思い出そう。(r)}}で与えられる。置換全体の成す対称群を亘る。