ヤコビ多様体
The Jacobian variety formula_4 of "C" is for all finite extension formula_5 isomorphic to the ideal class group formula_6. With the "Mumford's representation" it is possible to represent the elements of formula_4 with a pair of polynomials "[u, v]", where "u", "v" ∈ formula_8.