Computer Algebra
《Computer Algebra》 · 第 85–86 页 · Chapter III「Jacobian Varieties」，Section 1「Overview and definitions」，Theorem 1.2 后
Assume $C(k)\ne\varnothing$. The functor $P_C^0$ is represented by an abelian variety $J$. […] From (1.1), we know that $J$ is uniquely determined. It is called the Jacobian variety of $C$.