代数的な元
K 上代数的な元の 次数 は拡大 K(a) / K の次数である。a は代数的なので、それは K-ベクトル空間 K[a] の次元である。したがってそれはまた a の最小多項式(a が消える最小次数のモニック多項式)の次数でもある。