Slater determinant
複数スレイター行列式は、単一スレイター行列式に励起演算子formula_17を作用させることで得られる。