关于任意次数n∈ℕ的全实数域的存在性及典范实例问询

嘿，刚接触域论就能想到这个问题，真的很敏锐！直接给结论：是的，对任意自然数n，都存在n次全实域的典范实例，而且你的等价表述完全正确——n次全实域等价于ℚ添加某个n次不可约实多项式的所有实根得到的域（因为全实域的定义是所有到ℂ的嵌入都映射到ℝ，这等价于生成元的极小多项式所有根都是实数）。

下面给你两种靠谱的构造思路，包括你提到的例子的延伸：

1. 分圆域的全实子域（典范实例） #

你提到的ℚ(cos(2π/k))就是分圆域ℚ(ζ_k)的全实子域，它的次数是φ(k)/2（φ是欧拉函数）。那怎么用这个构造覆盖所有n呢？

根据狄利克雷定理：对于任意互素的正整数a和d，存在无穷多个素数p≡a mod d。我们取d=2n，a=1（显然1和2n互素），那么存在素数m≡1 mod 2n，此时φ(m)=m-1=2n（因为m是素数，欧拉函数φ(m)=m-1），所以ℚ(cos(2π/m))的次数就是φ(m)/2 = n，而且这个域是全实的（因为cos(2π/m)是实数，且分圆域的全实子域的所有嵌入都在ℝ中），同时对应的极小多项式就是n次不可约多项式，所有根都是cos(2πk/m)（k=1,2,...,n），全是实数。

这个构造非常典范，因为它和分圆域这种结构清晰的域紧密相关，是域论里很经典的全实域例子。

2. 直接构造不可约全实多项式 #

如果不想依赖分圆域和狄利克雷定理，也可以直接构造n次不可约全实多项式：

考虑多项式 f(x) = (x-1)(x-2)...(x-n) - 1，这是一个整系数n次多项式。我们可以证明它在ℚ上不可约：

• 假设f(x)可以分解为两个次数≥1的整系数多项式g(x)和h(x)，那么对每个整数k=1,2,...,n，都有g(k)h(k)=f(k)=-1。
• 因为g(k)和h(k)都是整数，所以只能是g(k)=1、h(k)=-1，或者g(k)=-1、h(k)=1，也就是说g(k) + h(k)=0对所有k=1,2,...,n成立。
• 但g(x)+h(x)是一个次数≤max(deg g, deg h)的多项式，而deg g + deg h = n，所以max(deg g, deg h) < n（除非其中一个是0次，但0次多项式是常数，不可能满足g(k)+h(k)=0对n个不同的k成立），这就矛盾了——一个次数小于n的多项式不可能有n个不同的根。
• 因此f(x)在ℚ上不可约。

同时，f(x)的所有根都是实数：

• 当x > n时，(x-1)(x-2)...(x-n)是n个正数的乘积，显然大于1，所以f(x)=(正数)-1>0；而f(n)=-1，根据连续函数介值定理，在(n, +∞)内有一个实根。
• 当x < 1时，(x-1)(x-2)...(x-n)是(-1)^{n乘以n个正数的乘积，当n为偶数时，这个乘积是正数，且当x足够小时，乘积远大于1，所以f(x)=正数-1>0；当n为奇数时，乘积是负数，但当x足够小时，乘积的绝对值远大于1，所以f(x)=负数-1<0？不对，调整一下：当n为奇数时，x→-∞时，(x-1)...(x-n)是(-1)}n * |x|^n + ... = -|x|^n + ...，趋近于-∞，所以f(x)=-∞-1<0，而f(1)=-1，哦，这里应该换个多项式：f(x) = (x-1)(x-2)...(x-n) + (-1)^n，这样能保证在每个区间(k, k+1)内都有实根，不过核心逻辑是通过构造让多项式在多个区间内变号，从而得到n个实根，再结合不可约性证明，就能得到我们需要的多项式。

内容的提问来源于stack exchange，提问作者p4sch