作业帮 > 数学 > 作业

1.F≤K 是域,满足 [K:F]

来源:学生作业帮 编辑:作业帮 分类:数学作业 时间:2024/05/18 01:55:37
1.F≤K 是域,满足 [K:F]
1. 一般的说法是这样的:
F是有限域, K/F是一个有限扩张, 证明K是F的单扩张 (L的条件没什么用).
单扩张就是指存在α∈K, 使K = F(α).
证明: 设|F| = q, [K:F] = n, 则|K| = q^n.
K-{0}关于乘法构成一个q^n-1阶交换群.
有一个结论不知你知不知道: K-{0}是一个循环(cyclic)群.
即存在α∈K-{0}, 使K-{0}中的任意元素均可表为α^k形式, 其中k为正整数.
于是K ⊆ F(α), 又显然F(α) ⊆ K, 故K = F(α)为单扩张.
2. 记L = Q[2^(1/4),i].
考虑Q[x,y]中多项式: x, xy, xy², xy³.
它们在x = 2^(1/4), y = i处的取值依次为: 2^(1/4), i2^(1/4), -2^(1/4), -i2^(1/4).
于是2^(1/4), i2^(1/4), -2^(1/4), -i2^(1/4)∈L.
即得K ⊆ Q(2^(1/4), i2^(1/4), -2^(1/4), -i2^(1/4)) ⊆ L.
考虑Q[x,y,z,w]中多项式: x, x³y/2.
它们在x = 2^(1/4), y = i2^(1/4), z = -2^(1/4), w = -i2^(1/4)处的取值依次为2^(1/4), i.
于是2^(1/4), i∈K, 即得L ⊆ Q(2^(1/4), i) ⊆ K.
综合得K = L = Q[2^(1/4),i].