a variety 是有理的 当且仅当 其 function field 纯超越:math.stackexchange.com/questions/284767/
例如,$y^2=1-x^2$有理,其 function field 是$k(x + \sqrt{1-x^2})$,且$k(x + \sqrt{1-x^2})/k$纯超越。
例如,$y=x^3$有理,其 function field 是$k(x)$,且$k(x)/k$纯超越。
例如,$y^2=x^3-x$不是有理的,其 function field 是$k(x, \sqrt{x^3-x})$,且$k(x, \sqrt{x^3-x})/k$不是纯超越的:math.stackexchange.com/questions/5278/