Similar to 準超実体

Separable polynomial

Nth root

Rational variety

Discrete valuation

Lüroth's theorem