ヤコビアン代数の定義、存在、および共役性質