域扩张合并的条件问询：何时可将F(a₁,a₂)转化为单扩张F(a₃)

嘿，这个问题可问到域论的点子上了，刚好对应经典的本原元定理，咱们结合你举的例子慢慢捋明白：

先呼应下你提的$\mathbb{Q}(\sqrt{2},\sqrt{3})=\mathbb{Q}(\sqrt{2}+\sqrt{3})$这个例子——它能成立，本质是因为$\mathbb{Q}$是特征0的域，而特征0域上的有限扩张天生满足可分性，刚好踩中了单扩张的核心条件。

回到你的核心问题：什么时候$F(a_1,a_2)$能捏成单扩张$F(a_3)$？分场景给你说清楚：

• 最常见的情况：有限可分扩张
  只要$F(a_1,a_2)/F$是有限可分扩张，就一定存在这样的本原元$a_3 \in K$。这里的“有限”指扩张次数$[F(a_1,a_2):F]$是有限数，“可分”指$a_1$和$a_2$在$F$上的极小多项式没有重根。
  特征0的域（比如$\mathbb{Q}$、实数域$\mathbb{R}$）上，所有有限代数扩张都是可分的——这就是你举的$\mathbb{Q}$例子能成的根本原因。
  至于怎么找$a_3$？试$a_3 = a_1 + c \cdot a_2$就行，$c$选$F$里的元素，只要避开有限个“踩雷”的$c$（这些$c$是某个多项式的根，数量有限），随便选的$c$基本都能让$a_3$成为本原元，比如你例子里选$c=1$就完美生效。

• 特征素数$p$的域（比如有限域）
  这种情况要分细节：

  • 有限域的任何有限扩张都是单扩张！因为有限域的乘法群是循环群，取这个循环群的生成元当$a_3$，它就能生成整个扩张域。
  • 要是$F$是无限特征$p$域，且$F(a_1,a_2)/F$是有限但不可分的扩张，那它是单扩张的充要条件是：扩张的可分闭包在$F$上是单扩张，而且纯不可分部分满足$F(a_3^{pk}) \subseteq F$（对某个正整数$k$）。不过这种场景平时遇到的概率比有限可分扩张低得多。

• 通用判别准则
  不管域的特征是什么，一个代数扩张$E/F$是单扩张的充要条件是：$E$和$F$之间的中间域只有有限个。这个准则能覆盖所有情况：比如有限可分扩张的中间域数量有限，所以是单扩张；有限域的有限扩张中间域数量也有限，自然也符合。

备注：内容来源于Stack Exchange，提问作者ANTONIOS DYOILIS