有理数域ℚ扩域问题：求满足环同态条件的扩张次数n的可能值

让我一步步拆解这个问题，帮你理清满足条件的n的可能取值：

核心前提：环同态的性质 #

首先明确：域到环的非零环同态一定是单同态（因为域的理想只有{0}和自身，同态核是理想，所以要么核是{0}，对应单同态；要么核是整个域，对应零同态）。通常这类代数问题默认讨论保持单位元的环同态（即Φ(1_K) = I₂，M₂(ℚ)的单位矩阵），零同态因无实质代数意义，这里不做重点讨论。

单同态下的约束推导 #

当Φ是单同态时，K可以嵌入到M₂(ℚ)中作为子域，此时有两个关键约束：

• 对任意α∈K\ℚ，α在ℚ上的极小多项式f(x)的次数等于[ℚ(α):ℚ]。
• 作为2×2有理矩阵，α满足Cayley-Hamilton定理，即它的特征多项式（次数为2）是它的零化多项式，因此f(x)必须整除这个2次多项式，这意味着f(x)的次数最多为2。

换句话说，K中所有元素在ℚ上的扩张次数都不超过2。

n的可能取值 #

基于上述约束，我们可以逐一分析：

• n=1：此时K=ℚ，显然存在合法的环同态：将每个有理数a映射到纯量矩阵 [[a, 0], [0, a]]，该映射保持加法、乘法和单位元，完全符合要求。
• n=2：比如取K=ℚ(√d)（d为无平方因子整数），我们可以构造单同态：将√d映射到矩阵 [[0, d], [1, 0]]，这个矩阵的极小多项式是x² - d，与√d的极小多项式一致，整个映射保持域的运算规则，是合法的环同态。
• n≥3：假设存在这样的单同态，根据本原元定理，K作为ℚ的n次扩域，必然存在元素α∈K使得[ℚ(α):ℚ]=n≥3。但α的极小多项式次数为n≥3，而它作为2×2矩阵的极小多项式次数最多为2，这就产生了矛盾（3次及以上的多项式无法整除2次多项式），因此n≥3时不可能存在满足条件的非零环同态。

补充：零同态的情况 #

如果允许零同态（将K中所有元素映射到0矩阵），虽然这也是环同态，但这种情况没有实际代数意义，通常不会被纳入这类问题的讨论范畴。

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