如何定义域扩张中的乘法运算？加法源于基域向量空间但乘法不直观

这问题问到点子上了！很多人学域扩张的时候，都觉得加法顺理成章——毕竟扩张域本来就是基域上的向量空间，加法就是向量加法嘛，但乘法总像个凭空强加的规则，只能死记硬背。其实域扩张的乘法完全不是瞎定义的，核心是用多项式商环的结构来“定制”符合域公理的乘法，我给你一步步掰明白：

当我们说域$K$是域$F$的有限扩张（也就是$K$作为$F$上的向量空间维数有限），根据单扩张定理，一定存在一个$F$上的不可约多项式$f(x)$，使得$K$和商环F[x]/(f(x))是同构的。乘法规则就从这个商环的结构里自然诞生了。

1. 先把扩张域的元素“包装”成多项式形式 #

不管是复数域$\mathbb{C}/\mathbb{R}$，还是有限域$\text{GF}(9)/\text{GF}(3)$，扩张域里的每个元素都可以表示成$F$上的多项式：

• 比如$\mathbb{C}$，我们选$\mathbb{R}$上的不可约多项式$f(x)=x^{2+1$，那么$\mathbb{C}$的每个元素都能写成$a+bi$的形式——本质上就是商环`ℝ[x]/(x²+1)`里的等价类`[a+bx]`，只是把$x$换成了满足$x}2=-1$的$i$而已。
• 再比如$\text{GF}(9)$，选$\text{GF}(3)$上的不可约多项式$f(x)=x^{2+1$，那$\text{GF}(9)$的元素就是$a+bx$（$a,b\in\text{GF}(3)$），这里的$x$满足$x}2=-1=2$（在$\text{GF}(3)$的运算里，$-1$等价于$2$）。

2. 乘法定义：多项式相乘后“模掉”不可约多项式 #

说白了就是两步走：

• 第一步：把扩张域里的两个元素当成$F$上的普通多项式，按多项式乘法规则相乘；
• 第二步：用预先选定的不可约多项式$f(x)$做带余除法，把相乘得到的多项式除以$f(x)$，最终的余数就是乘法的结果。

举两个直观的例子：

复数乘法的本质 #

计算$(a+bi)(c+di)$：

1. 先按多项式乘法展开：$ac + adi + bci + bdi^2$
2. 因为$f(x)=x^{2+1$，所以$x}2 \equiv -1 \mod f(x)$，把$x$换成$i$就有$i^2=-1$，代入后化简得到$(ac-bd)+(ad+bc)i$——这就是我们从小背的复数乘法规则！

有限域$\text{GF}(9)$的乘法 #

计算$(1+2x)(2+x)$（$x$满足$x^2=2$）：

1. 多项式乘法展开：$2 + x + 4x + 2x^{2$，在$\text{GF}(3)$里$4\equiv2$，所以变成$2+2x+2x}2$
2. 代入$x^2=2$：$2+2x+2\times2=2+2x+4$，$\text{GF}(3)$里$2+4=6\equiv0$，最终结果就是$2x$。

3. 为什么这个定义是合理的？ #

• 保证是域：因为$f(x)$是$F$上的不可约多项式，它生成的理想是$F[x]$里的极大理想，而极大理想的商环一定是域——这样定义的乘法就能满足域的所有公理（比如每个非零元素都有逆元）。
• 兼容性强：基域$F$里的元素可以看成常数多项式，它们的乘法和原来$F$里的乘法完全一致，不会出现矛盾。
• 加法乘法统一：加法就是向量空间的加法，和多项式加法完全匹配，整个结构完美融合了向量空间和域的性质。

4. 多元素生成的扩张怎么办？ #

如果扩张域$K=F(\alpha,\beta)$是由多个代数元生成的，也不用慌：先做单扩张$F(\alpha)\cong F[x]/(f(x))$（$f(x)$是$\alpha$在$F$上的极小多项式），再把$\beta$看成$F(\alpha)$上的代数元，找到$\beta$在$F(\alpha)$上的极小多项式$g'(y)$，那么$K\cong F(\alpha)[y]/(g'(y))$，乘法规则还是一样：先按多项式相乘，再模掉$g'(y)$。

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