射影分解の定義、存在,および構成