近世代数--多项式环--未定元的存在性

博主是初学近世代数（群环域），本意是想整理一些较难理解的定理、算法，加深记忆也方便日后查找；如果有错，欢迎指正。
我整理成一个系列：近世代数，方便检索。

引出未定元，环上的多项式

• 数域$F$上的多项式：$f(x)=a_0+a_{1}x+a_2{x}^2+\dots +a_n{x}^n+\dots \dots$我们说$a_i$是多项式$f(x)$的系数，那么，$x$是什么？

• 数域上有多项式，一般有单位元的环上有多项式吗？

未定元indeterminate

• $R$为有单位元的环，单位元为$1$，
• 根据环的扩张定理，我们知道环$R$有扩环，表示为$\bar{R}$，
• $x\in \bar{R}$，如果有
  • $\forall r\in R,rx=xr$
  • $1x=x$
  • 对$R$的任意一组不全为零的元素$$\begin{gathered} a_0,a_1,\dots \dots a_n, \\ f(x)=a_0+a_{1}x+\dots \dots +a_n{x}^n\ne 0 \end{gathered}$$

称 $x$为$R$上的未定元

（为什么要叫未定元？）

有单位元的环上未定元的存在性

“有单位元的环$R$上一定存在未定元$x$” 证明思路：

• 先证$\bar{x}\in \bar{S},\bar{x}$是$S$上的未定元

• 通过映射$\phi :R\to S,\phi (x)=\bar{x}$

• $R$的扩环$\bar{R}=(\bar{S}-\phi (R))\cup R=(\bar{S}-S)\cup R$

• $x\in \bar{R},$证明$x$是$R$上的未定元。
  
  $R$是有单位元的环，

• 第一步：构造环$\bar{S}$

  • 集合 S ˉ = { ( a 0 , a 1 … a n … ) ∣ a 0 , a 1 , … a n … ∈ R } \bar{S}=\{(a_0,a_1…a_n…)|a_0,a_1,…a_n…\in R\} Sˉ={ (a0​,a1​…an​…)∣a0​,a1​,…an​…∈R}

  • 定义代数运算："+"、"·"

    $\forall \alpha =(a_0,a_1,\dots a_n\dots ),\beta =(b_0,b_1,\dots b_n\dots )\in \bar{S}$

    • “+”：$\alpha +\beta =(a_0$