Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。
§ 3。代数扩张
1. 代数的代数元素
令 A 为域 K 上的代数以及 A 的 x 元素。可能有两种情况:
a) 单项式族在之上是自由的。那么我们说超越。 生成的的子代数上存在多项式代数的同构,而后者在上具有无限次数。
b) 存在整数使得单项式线性相关;同样,在 中存在一个多项式 ,使得 。那么我们说是的代数。上面的性质中最小的整数满足称为超过的次数。如果上的次数是,则单项式在上线性无关,并且存在的元素,使得
定理 1 06HI
— Let be an algebra over a field , an element of algebraic over , the degree and the minimal polynomial of over .
被以下引用 8
被以下引用 定理 1, V § 10, 注, 推论 2, 定理 2, 命题 1, V § 4, 推论 1, V § 7, 推论 3, VIII § 14, Chapter V, § 3, Theorem 1
a) 对于多项式 到满足 , 应该是 的倍数是充分必要的。
b) 映射 定义通过将代数 的商同构代入代数 ,以及元素 形式 中的基超过。特别是。
c) 假设为整环。那么是域,是中唯一的一元不可约多项式,使得。
d) 为了使在中可逆,是充分必要的;那么我们就有。
存在唯一代数同态使得;对于每个,我们都有,并且的像等于。设为的核:通过构造,在属于到的最小多项式,它是次数的最小多项式。因此(,p. 11,命题11)我们有,从而。 断言 ) 立即从 a) 和 Cor 得出。 、p. 11第 10 号提案。
假设是整环。 代数 那么整环和有限次数超过,因此它是域(,p. 10,Cor.)。因此,的理想是最大的,这意味着在(,p. 13)中不可约。最后,令为中的一调不可约多项式,使得;由)它是的倍数,因此,这证明了)。
仍有待证明)。存在次数的多项式和的元素,使得、从而。如果,我们有和,那么在中不可逆。另一方面,如果,则我们有,因此在和中可逆。
推论 1 06HJ
— 令 为代数超过域 。为了使的元素成为的代数,生成的的子代数应该是有限次数超过。特别是,如果是有限次数超过,则的每个元素都是超过的代数。
被以下引用 2
被以下引用 命题 3, VIII § 13, 推论 3, VIII § 14
推论 2 06HK
— 设为的扩张,上的代数以及上的代数元素。 Then is algebraic over , the minimal polynomial of over divides the minimal polynomial of over and the degree of over is at most equal to the degree of over .
引用了 1
引用了 定理 1
For let be the minimal polynomial of over ;我们有和,因此是的代数,是在上的最小多项式的倍数(Th.1,*a*)。
注 06HL
Let be an extension of a field and an element of which is root of a monic irreducible polynomial . Th。 1, c) 然后表明 是 在 上的最小多项式。
引用了 1
引用了 定理 1
例 1 06HM
在复数的域中,数是次数2在素数域上的代数;如果,则, 对于所有,因此。因此,域是扩张 / 次数 2 / ;它由所有数组成,其中是有理数。同样,是次数2对实数的域的代数,是的次数2的扩张。 \
例 2 06HN
令为域且域有理函数在上的一个不定数。设为中的子域;我们有,是的代数,因为它是环的多项式的根;这个多项式在 中是不可约的,因为在相反的情况下,它将至少有第一个次数中的一个因子,然后将存在两个非零多项式 、 和 ,这样 是荒谬的,因为如果和是和的次数,这意味着或。因此,域是次数3除以,并且的每个元素都可以用一种方式写为线性组合,其中是有理分式的三个。
例 3 06HO
\* 在实数的域中,可以证明数超越素数域。 \
2. 代数扩张
定义 1 06HP
— 如果 的每个元素都是超过 的代数,则域 的扩张 被称为代数(超过 )。 的扩张不是代数的,称为超越(超过)。
命题 1 06HQ
— 为了使 的扩张 成为代数, 的每个子 K 代数 应为域是充分必要的。
参见。 例 D. Hilbert,Gesammelte Abhandlungen,卷。 1、p. 1(柏林(施普林格),1932 年)。
条件是必要的:如果 是 的代数,且 是 的子 K 代数 的元素,则 乘以 、p. 16、Th。 1、d)。因此是域。
条件就足够了:如果满足并且在中是元素,则环是域,因此;在其他字中,存在多项式,使得,或者还有;这表明是的代数,因此是的代数扩张。
命题 2 06HR
— *如果 K 的扩张 E 为有限次数 n,则它是代数且次数超过 E 除 n 的每个元素的 K。
被以下引用 4
被以下引用 命题 3, 命题 1, V § 4, 引理 1, V § 6, 引理 5, V § 6
因为,给定 , 是有限的,除 n (,p. 10,Cor.1),因此 是 (,p. 17,Cor.1) 的代数。
对于有限域 (V, p. 24, 注 4) 的例代数闭包,存在无限次代数扩张。
定理 2 06HS
— *令 E 为 K 的有限生成的扩张,由元素 生成,它们是 K 上的代数;则 E 是 K 的有限次数扩张。如果 次数超过 是 (对于 ),则 E 的次数超过 K 是 和元素 E 比 K 的 () 形式基。
引用了 2 · 被以下引用 13
引用了 命题 25, II § 1, 定理 1
被以下引用 命题 17, V § 14, 推出 3, V § 16, 习题 1, § 3, 注 1, 注 2, 命题 3, 推论 1, 命题 7, V § 4, 命题 4, V § 5, 命题 2, V § 6, 命题 9, V § 7, 推论 1, V § 9, 定理 1, VIII Appendix 3
超过 的元素 () 形式基截至 Th。 1、b) 、p. 16;因此,定理紧随上的归纳,来自II、p. 222的第25号提案。
推论 1 06HT
— *设 E 为 K 的扩张和 A 子集的 E 由……组成的元素,它们是 K 上的代数。然后 是 K 上的代数,我们有 。
引用了 1 · 被以下引用 10
引用了 定理 2
被以下引用 定理 5, V § 10, 命题 16, V § 14, 命题 7, V § 14, 推论 2, V § 15, V § 2. 。 扩张, 命题 4, 推论 2, 命题 11, V § 7, 命题 6, V § 7, 定理 3, VIII § 12
对于每个属于到域,其中F是的有限子集(,p. 11,Cor.);现在是的代数并且等于的Th。 2,因此是和的代数。
推论 2 06HU
— *令L为L的K和E、F子扩展的扩张。如果 F 是 K 上的代数,则 生成的 L 的子环 是域,与 一致并且是 E 上的代数。
引用了 1 · 被以下引用 7
引用了 推论 1
被以下引用 引理 1, V § 10, 命题 13, V § 14, 命题 6, V § 14, 命题 10, V § 17, 命题 3, 定理 1(斯坦尼茨), V § 4, 命题 10, V § 7
对于的每个元素,在上是代数,在上也是代数(,p. 17,Cor.2),因此是的代数扩张,我们有由科. 1.
注 2 06HW
令 为 的无限次代数扩张。由 Th. 2 存在的无限序列,元素使得; Th。图2进一步表明,超过的次数取任意大的值。在其他字中,如果E是K的代数扩张,使得有限次数的E的子外延F在K上的次数[F : K]有界,则E是K的有限次数的扩张。
3. 代数扩张的传递性。 域在扩张域中相对代数封闭
命题 3 06HX
— 令 E 和 F 为域 K 的两个扩张域,使得 K ⊂ E ⊂ F。对于 F 是 K 上的代数,E 应该是 K 上的代数且 F 是 E 上的代数是充分必要的。
条件是必要的,由V,p. 17,Cor。 2. 让我们证明它是充分的。令x为F的任意元素;它是 E 上的代数;设 g ∈ E[X] 为 E 上的最小多项式。如果 A 是 g 系数的(有限)集合,则 g ∈ K(A)[X],因此 x 是 K(A) 上的代数,并且 K(A U {x}) = K(A)(x) 是 K(A) 上的有限次数。现在 A ⊂ E 和 E 是 K 上的代数,因此 K(A) 是 K 上的有限次数,乘以 Th。 2. 因此 (V, p. 10, Th. 1), K(A U {x}) 在 K 上为有限次数,这表明 x 在 K 上是代数 (V, p. 18,命题 2)。
定义 2 06HY
— 域 E 的子域 K 被认为在 E 中是相对代数封闭的,如果 E 的每个元素是 K 上的代数,属于到 K。
同样的道理,K 是 E 中包含的 K 的唯一代数扩张。每个域 K 本身都是相对代数封闭的。在§ 4中,我们将研究域,它们在每个扩张域中是相对代数封闭的。
对于域 K(L) 是 K (Th. 2 的 Cor. 1) 的代数,因此 K(L) ⊂ L;由此可知 K(L) = L 且 L 为域。另一方面,如果 x ∈ E 在 L 上是代数,那么在 K 上也是如此(命题 3),因此属于到 L。
E 的所有元素在 K 上的代数的 K 由……组成扩张 L 称为 K 在 E 中的相对代数闭包;它是E中包含的K的最大的代数扩张。
习题
参见习题为 § 3。