基本ベクトルformula_14は混合行列formula_15の列を形成し、生成式はformula_16と表され、このときformula_17である。