Tra cứu

と1対1に対応している。 この代数関数論から、より高次元の代数多様体を考えるにあたっては代数多様体としてはコンパクトなものを考え、その上の関数としては有理型関数あるいはコンパクトなもの同士の間の正則写像を考えると都合が良い、という教訓が得られる。この要請を満たす代数多様体は射影空間の中で定義される射影代数多様体として実現できる。