分離多項式の定義、決定、および性質