スレイター行列式
is the exchange operator, defining the electron exchange energy due to the antisymmetry of the total "N"-electron wave function. This "exchange energy" operator formula_9 is simply an artifact of the Slater determinant. Finding the Hartree–Fock one-electron wave functions is now equivalent to solving the eigenfunction equation