热门问题
时间线
聊天
视角

代数闭域

来自维基百科,自由的百科全书

Remove ads

数学上,一个被称作代数闭域当且仅当任何系数属于且次数大于零的单变量多项式里至少有一个。代数闭域一定是无限域。

例子

举例明之,实数域并非代数闭域,因为下列实系数多项式无实根:

同理可证有理数域非代数闭域。此外,有限域也不是代数闭域,因为若列出的所有元素,则下列多项式在中没有根:

反之,复数域则是代数闭域;这是代数基本定理的内容。另一个代数闭域之例子是代数数域。

Remove ads

等价的刻划

给定一个域,其代数封闭性与下列每一个性质等价:

不可约多项式当且仅当一次多项式

是代数闭域,当且仅当环 中的不可约多项式是而且只能是一次多项式。

“一次多项式是不可约的”的断言对于任何域都是正确的。如果 是代数闭域, 的一个不可约多项式,那么它有某个根 ,因此 的一个倍数。由于 是不可约的,这意味着对于某个 ,有 。另一方面,如果 不是代数闭域,那么存在 内的某个非常数多项式 内没有根。设 的某个不可约因子。由于 内没有根,因此 内也没有根。所以, 的次数大于一,因为每一个一次多项式在 内都有一个根。

Remove ads

每一个多项式都是一次多项式的乘积

是代数闭域,当且仅当每一个系数位于次数 内的 的多项式 都可以分解成线性因子。也就是说,存在域 的元素 ,使得

如果 具有这个性质,那么显然 内的每一个非常数多项式在 内都有根;也就是说, 是代数闭域。另一方面,如果 是代数闭域,那么根据前一个性质,以及对于任何域 ,任何 内的多项式都可以写成不可约多项式的乘积,推出这个性质对 成立。

Remove ads

的每一个自同态都有特征向量

是代数闭域,当且仅当对于每一个自然数 ,任何从 到它本身的线性映射都有某个特征向量

自同态具有特征向量,当且仅当它的特征多项式具有某个根。因此,如果 是代数闭域,每一个 的自同态都有特征向量。另一方面,如果每一个 的自同态都有特征向量,设 的一个元素。除以它的首项系数,我们便得到了另外一个多项式 ,它有根当且仅当 有根。但如果 ,那么 是以下友矩阵的特征多项式:

Remove ads

有理表达式的分解

是代数闭域,当且仅当每一个系数位于 内的一元有理函数都可以写成一个多项式函数与若干个形为 的有理函数之和,其中 是自然数, 的元素。

如果 是代数闭域,那么由于 内的不可约多项式都是一次的,根据部分分式分解的定理,以上的性质成立。

而另一方面,假设以上的性质对于域 成立。设 内的一个不可约元素。那么有理函数 可以写成多项式函数 与若干个形为 的有理函数之和。因此,有理表达式

可以写成两个多项式的商,其中分母是一次多项式的乘积。由于 是不可约的,它一定能整除这个乘积,因此它也一定是一个一次多项式。

Remove ads

代数闭包

为代数扩张,且是代数闭域,则称的一个代数闭包。可以视之为包含的最小的代数闭域。

若我们承认佐恩引理(或其任一等价陈述),则任何域都有代数闭包。设为任两个的代数闭包,则存在环同构使得;代数闭包在此意义上是唯一的,通常记作

Remove ads

文献

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads