证明：设 [tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex] 是 [tex=0.786x1.286]BlkXDnmzWHxe4M6E9LlofQ==[/tex] 上的代数元, [tex=1.857x1.357]VHvV9DduV1/OkZRTTw1+mg==[/tex] 是 [tex=0.786x1.286]BlkXDnmzWHxe4M6E9LlofQ==[/tex] 上的一个首一多项式, 则下列条件等价:(1) [tex=1.857x1.357]VHvV9DduV1/OkZRTTw1+mg==[/tex] 是 [tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex] 在域 [tex=0.786x1.286]BlkXDnmzWHxe4M6E9LlofQ==[/tex] 上的极小多项式;(2) [tex=1.857x1.357]VHvV9DduV1/OkZRTTw1+mg==[/tex] 在 [tex=0.786x1.286]BlkXDnmzWHxe4M6E9LlofQ==[/tex] 上不可约, 且 [tex=3.429x1.357]+nzvPBU74mdetNBw41Ue1A==[/tex](3) [tex=1.857x1.357]VHvV9DduV1/OkZRTTw1+mg==[/tex] 是 [tex=0.786x1.286]BlkXDnmzWHxe4M6E9LlofQ==[/tex] 上以 [tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex] 为根的次数取小的非零多项式;(4) 如果 [tex=1.857x1.357]bZ4KhrFbnCaidqbMGQZfww==[/tex] 是域 [tex=0.786x1.286]BlkXDnmzWHxe4M6E9LlofQ==[/tex] 上任意一个以 [tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex] 为根的多项式, 则 [tex=4.857x1.357]+3zmuKty1AhSMDB3tNdbXzDDg/gxGAj+UD6ur3wtHjE=[/tex]
举一反三
- 设[tex=1.857x1.357]VHvV9DduV1/OkZRTTw1+mg==[/tex]是域[tex=0.786x1.286]BlkXDnmzWHxe4M6E9LlofQ==[/tex]上首系数为[tex=0.5x1.0]oYgVDn+QZqcDCRxqEZwM2A==[/tex]的多项式，且在某扩域中有根 [tex=0.929x0.786]ZAiG7AJu8kc6lTV9euHRkQ==[/tex]证明：若[tex=1.857x1.357]VHvV9DduV1/OkZRTTw1+mg==[/tex]在[tex=0.786x1.286]BlkXDnmzWHxe4M6E9LlofQ==[/tex]上不可约，则[tex=1.857x1.357]VHvV9DduV1/OkZRTTw1+mg==[/tex]是[tex=0.643x0.786]hlJJ6/DUY+n2/FE6M2JdRA==[/tex]在[tex=0.786x1.286]BlkXDnmzWHxe4M6E9LlofQ==[/tex]上的最小多项式.
- 设 [tex=1.857x1.357]VHvV9DduV1/OkZRTTw1+mg==[/tex] 是数域 [tex=0.643x1.0]0WA5oCO54gKWR/jKi5M2Zw==[/tex] 上的不可约多项式, [tex=1.857x1.357]bZ4KhrFbnCaidqbMGQZfww==[/tex] 是 [tex=0.643x1.0]0WA5oCO54gKWR/jKi5M2Zw==[/tex] 上的多项式. 证明:若 [tex=1.857x1.357]VHvV9DduV1/OkZRTTw1+mg==[/tex] 的某个复根 [tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex] 也是 [tex=1.857x1.357]bZ4KhrFbnCaidqbMGQZfww==[/tex] 的根, 则 [tex=4.571x1.357]NaXhQuud9whTIdEia7cAy145H6cmmDHeiC85YWZqPkg=[/tex], 特别地, [tex=1.857x1.357]VHvV9DduV1/OkZRTTw1+mg==[/tex] 的任一复根都是 [tex=1.857x1.357]bZ4KhrFbnCaidqbMGQZfww==[/tex] 的根.
- 设 [tex=0.786x1.286]BlkXDnmzWHxe4M6E9LlofQ==[/tex] 是特征为 [tex=0.571x1.0]FGGpnaR8m8C48rN8O0c7aw==[/tex] 的域, [tex=7.643x1.357]btud4JFbMuvgYfQLcEnwE5avp8UnpnuLTNhSRnnni64=[/tex] 证明 : [tex=1.857x1.357]bZ4KhrFbnCaidqbMGQZfww==[/tex] 在 [tex=0.786x1.286]BlkXDnmzWHxe4M6E9LlofQ==[/tex] 中不可约或 [tex=1.857x1.357]bZ4KhrFbnCaidqbMGQZfww==[/tex] 在 [tex=0.786x1.286]BlkXDnmzWHxe4M6E9LlofQ==[/tex] 中分裂.
- 证明: [tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex] 是域 [tex=0.786x1.286]BlkXDnmzWHxe4M6E9LlofQ==[/tex] 上的代数元当且仅当 [tex=0.929x1.214]cCzS/cTqVNRb3hzF7/9UBw==[/tex] 是 [tex=0.786x1.286]BlkXDnmzWHxe4M6E9LlofQ==[/tex] 上的代数元.
- 设 [tex=1.786x1.357]2pFrMmryE2cRTmNCb4YNBA==[/tex] 是以数域 [tex=0.786x1.286]BlkXDnmzWHxe4M6E9LlofQ==[/tex] 为系数范围、 [tex=0.571x0.786]ZKO2xs0EgSemzoH7MSmYTA==[/tex] 为字母的全体一元多项式 [tex=1.857x1.357]bZ4KhrFbnCaidqbMGQZfww==[/tex] 组成的 [tex=0.786x1.286]BlkXDnmzWHxe4M6E9LlofQ==[/tex] 上的线性空间. 求证:[tex=4.857x1.357]bivgtssQ+sS+7Fn1Z0yfg6T7tBGhaTZYR9UTmID1rAU=[/tex]