设 [tex=1.857x1.357]VHvV9DduV1/OkZRTTw1+mg==[/tex] 是数域 [tex=0.857x1.0]FfIhW8W8Jb8XV2jfmtoNZA==[/tex] 上的一个不可约多项式, 证明: 如果 [tex=2.0x1.357]beH6DnGK6LEsYI2cIHxhuQ==[/tex] 中的多项式 [tex=1.857x1.357]fBOYuAIZ/H4m1Dx+my86tg==[/tex] 与 [tex=1.857x1.357]8Lsjk1KmFRMT9QjVrfWcIg==[/tex] 有一个公共复根, 则在 [tex=2.0x1.357]beH6DnGK6LEsYI2cIHxhuQ==[/tex] 中[tex=4.857x1.357]yOyH9WGEdakx47yTMUJ/qEUOVSfC0ERVz6ThZZc0op0=[/tex]
举一反三
- 证明:性质 2 的逆命题为真, 即设 [tex=1.857x1.357]VHvV9DduV1/OkZRTTw1+mg==[/tex] 是 [tex=2.0x1.357]beH6DnGK6LEsYI2cIHxhuQ==[/tex] 中一个次数大于零的多项式, 如果对于任意 [tex=2.143x1.357]21H6812iIz5aHLZtAeFhPA==[/tex] [tex=4.786x1.357]YImwQSIyZfz+bnW4vwzTGA==[/tex] 从 [tex=6.357x1.357]+3zmuKty1AhSMDB3tNdbXxLJRZTFKVq4xUmyZwpiyJg=[/tex] 可以推出 [tex=4.571x1.357]NaXhQuud9whTIdEia7cAy145H6cmmDHeiC85YWZqPkg=[/tex] 或者 [tex=4.571x1.357]yOyH9WGEdakx47yTMUJ/qAG7LUpVFYIOzNODeDvbQnM=[/tex], 那么 [tex=1.857x1.357]VHvV9DduV1/OkZRTTw1+mg==[/tex] 是不可约多项式.
- 证明: 在 [tex=2.0x1.357]beH6DnGK6LEsYI2cIHxhuQ==[/tex] 中, 如果 [tex=1.929x1.357]aMCa7j968L/hYU5HJBvp5g==[/tex] 是 [tex=1.857x1.357]bZ4KhrFbnCaidqbMGQZfww==[/tex] 与 [tex=1.857x1.357]fBOYuAIZ/H4m1Dx+my86tg==[/tex] 的倍式和, 并且 [tex=1.929x1.357]aMCa7j968L/hYU5HJBvp5g==[/tex] 是 [tex=1.857x1.357]bZ4KhrFbnCaidqbMGQZfww==[/tex] 与 [tex=1.857x1.357]fBOYuAIZ/H4m1Dx+my86tg==[/tex] 的一 个公因式, 则 [tex=1.929x1.357]aMCa7j968L/hYU5HJBvp5g==[/tex] 是 [tex=1.857x1.357]bZ4KhrFbnCaidqbMGQZfww==[/tex] 与 [tex=1.857x1.357]fBOYuAIZ/H4m1Dx+my86tg==[/tex] 的一个最大公因式.
- 设 [tex=1.857x1.357]VHvV9DduV1/OkZRTTw1+mg==[/tex] 是数域 [tex=0.643x1.0]0WA5oCO54gKWR/jKi5M2Zw==[/tex]上的多项式且次数大于 0, 则 [tex=1.857x1.357]VHvV9DduV1/OkZRTTw1+mg==[/tex] 在 [tex=0.643x1.0]0WA5oCO54gKWR/jKi5M2Zw==[/tex] 上不可约的充要条件是: 对 [tex=0.643x1.0]0WA5oCO54gKWR/jKi5M2Zw==[/tex] 上任意适合 [tex=6.357x1.357]+3zmuKty1AhSMDB3tNdbXxLJRZTFKVq4xUmyZwpiyJg=[/tex] 的多项式 [tex=1.857x1.357]bZ4KhrFbnCaidqbMGQZfww==[/tex] 与 [tex=1.857x1.357]fBOYuAIZ/H4m1Dx+my86tg==[/tex], 或者 [tex=4.571x1.357]NaXhQuud9whTIdEia7cAy145H6cmmDHeiC85YWZqPkg=[/tex], 或者 [tex=4.286x1.357]Bjm/GfOl5UoUE3/6/N5Bew62HKPUKuqC0HS8DG8f9D4=[/tex]
- 设 [tex=9.214x1.357]oVr3Dwq4mCJpVeSnaB2gBSqRRI0mgMhbkNKKzB8hCuo=[/tex] 中的一个多项式 [tex=2.286x1.357]Ag+wTR6A0dJofzIiroQ/6w==[/tex] 称为 [tex=1.857x1.357]bZ4KhrFbnCaidqbMGQZfww==[/tex] 与 [tex=1.857x1.357]fBOYuAIZ/H4m1Dx+my86tg==[/tex] 的一个最小公倍式, 如果1) [tex=9.429x1.357]m1EBBdKEXv9v36Fy4gQ/+7AP03BpeLROQalNuHobJ3s=[/tex]2) [tex=1.857x1.357]bZ4KhrFbnCaidqbMGQZfww==[/tex] 与 [tex=1.857x1.357]fBOYuAIZ/H4m1Dx+my86tg==[/tex] 的任一公倍式 (即 [tex=2.0x1.357]beH6DnGK6LEsYI2cIHxhuQ==[/tex] 中既能被 [tex=1.857x1.357]bZ4KhrFbnCaidqbMGQZfww==[/tex] 整除, 又能被 [tex=1.857x1.357]fBOYuAIZ/H4m1Dx+my86tg==[/tex] 整除的多项式) 都是 [tex=2.286x1.357]Ag+wTR6A0dJofzIiroQ/6w==[/tex] 的倍式. (用 [tex=4.714x1.357]hvdzEuFkEvrNjuF8e4Z/2g==[/tex] 表示首项系数是 1 的那个最小公倍式, 证明 : 如果 [tex=4.143x1.357]9L2r5tlh3JJ32yY4a6m3XQ==[/tex] 的首项 系数都是 1 ,则 [tex=10.786x2.714]86eOesvSLJzo0xGCqVDGZjz8QI0p4+K1nnRoxp7vWiIU89VBq3OOdIIooTYE8A8C[/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] 的根.