冷定义161:当[;+是域,F三FF≠,F按 F中的运算也是域时称[F;+是[;+, 的子也称F为F的扩又称F是域F的 个扩张。 定理161:域K为F的扩域,那么域K就是F 上的线性空间❖ 定义16.1：当[F;+,*]是域,F'F,F',F'按 F中的运算也是域时,称[F';+,*]是[F;+, *] 的子域;也称F为F'的扩域;又称F是域F'的 一个扩张。 ❖ 定理16.1: 域K为F的扩域, 那么域K就是F 上的线性空间