近世代数--多项式环--未定元的存在性
博主是初学近世代数(群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。
我整理成一个系列:近世代数,方便检索。
引出未定元,环上的多项式
-
数域 F F F上的多项式: f ( x ) = a 0 + a 1 x + a 2 x 2 + … + a n x n + … … f(x)=a_0+a_1x+a_2x^2+…+a_nx^n+…… f(x)=a0+a1x+a2x2+…+anxn+……我们说 a i a_i ai是多项式 f ( x ) f(x) f(x)的系数,那么, x x x是什么?
-
数域上有多项式,一般有单位元的环上有多项式吗?
未定元indeterminate
- R R R为有单位元的环,单位元为 1 1 1,
- 根据环的扩张定理,我们知道环 R R R有扩环,表示为 R ˉ \bar{R} Rˉ,
- x ∈ R ˉ x\in \bar{R} x∈Rˉ,如果有
- ∀ r ∈ R , r x = x r \forall r\in R,rx=xr ∀r∈R,rx=xr
- 1 x = x 1x=x 1x=x
- 对 R R R的任意一组不全为零的元素 a 0 , a 1 , … … a n , f ( x ) = a 0 + a 1 x + … … + a n x n ≠ 0 a_0,a_1,……a_n,\\f(x)=a_0+a_1x+……+a_nx^n\neq 0 a0,a1,……an,f(x)=a0+a1x+……+anxn=0
称 x x x为 R R R上的未定元
(为什么要叫未定元?)
有单位元的环上未定元的存在性
“有单位元的环 R R R上一定存在未定元 x x x” 证明思路:
-
先证 x ˉ ∈ S ˉ , x ˉ \bar{x}\in \bar{S},\bar{x} xˉ∈Sˉ,xˉ是 S S S上的未定元
-
通过映射 φ : R → S , φ ( x ) = x ˉ \varphi:R\rightarrow S,\varphi(x)=\bar{x} φ:R→S,φ(x)=xˉ
-
R R R的扩环 R ˉ = ( S ˉ − φ ( R ) ) ∪ R = ( S ˉ − S ) ∪ R \bar{R}=(\bar{S}-\varphi(R))\cup R=(\bar{S}-S)\cup R Rˉ=(Sˉ−φ(R))∪R=(Sˉ−S)∪R
-
x ∈ R ˉ , x\in \bar{R}, x∈Rˉ,证明 x x x是 R R R上的未定元。
R R R是有单位元的环, -
第一步:构造环 S ˉ \bar{S} 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}
-
定义代数运算:"+"、"·"
∀ α = ( a 0 , a 1 , … a n … ) , β = ( b 0 , b 1 , … b n … ) ∈ S ˉ \forall \alpha=(a_0,a_1,…a_n…),\beta=(b_0,b_1,…b_n…)\in \bar{S} ∀α=(a0,a1,…an…),β=(b0,b1,…bn…)∈Sˉ
- “+”: α + β = ( a 0 + b 0 , a 1 + b 1 , … a n + b n … ) \alpha+\beta=(a_0+b_0,a_1+b_1,…a_n+b_n…) α+β=(a0</
-