近世代数课件--5.2单扩域.pptVIP

* §．单扩域 假定 是域 的扩域，而 是 的一个元． 要讨论单扩域 的结构，我们把 的元分成两类． 定义　 叫做域 上的一个代数元，假如存在 的不都等于零的元 ， ，…， ，使得 　　　　　　　　　 … 假如这样的 ， ，…， 不存在， 就叫做 上的一个超越元．若 是 上的一个代数元， 就叫做 的一个单代数扩域；若 是 上的一个超越元， 就叫做 的一个单超越扩域． 单扩域的结构通过以下定理可以掌握 定理１　若 是 上的一个超越元，那么 　　　　　　 的商域 这里 是 上的一个未定元 的多项式环． 若 是 上的一个代数元，那么 　　　　　　　 这里 是 的一个唯一的确定的、最高系数为１的不可约多项式，并且． 证明　 包含 上的 的多项式环 　　　　　　一切 ，