Tensor product
を構成する準備として、対称テンソル積を定義する。の個のコピーのテンソル積