4-有限域-代数基础-域扩张.pptVIP

子域（ subfield ） 设 F 是域, K是 F 的子集, 若K关于F 的运算构成域, 则K称为F 的子域, F 称为K 的扩域. 若K是F的子域, 则1K = 1F 子域的交仍是子域 素域 素域同构于Fp 或 Q * Field Extensions 向量空间(vector space) 设K是域, A是加法交换群, ? 是K?A到A的函数, ?(r, a)记为ra. 若对任意的r, s?K和 a, b ?A r(a???b)???ra???rb; (r???s)a???ra???sa; r(sa)???(rs)a; 1Ka???a, 则A称为K上的向量空间. 若K是F的子域, 则F是K上的向量空间. * Field Extensions 基(basis)、维数（dimension） 设X是F 的子集, 若对于X 中任意不同的有限个元素x1,…, xn有 r1x1 + r2x2 + ??? + rnxn = 0, ri?K ? ri = 0. 则X称为线性无关的. 若子集X?F是线性无关的并且X可以生成F, 则称X是F的一组基, 称 |X| 是域扩张F/K的维数, 记为[F: K]. 若[F: K]是有限的，则称F/K是有限（维数）扩张。 * Field Extensions 基(basis)、维数（dimension） 定理 设M是