6 Chứng minh các đa thức sau bất khả quy trong Z[x] bằng cách đưa về modulo 2 hoặc 3.
1. 4x3 + 10x2 − 5x + 5;
2. x3 + 3x2 + 301x + 3002;
3. 3001x3 − 29x2 + 28x + 29;
4. 1991x4 + 1993x3 + 1995x2 + 1997x + 1999
Giải
Với đa thức f (x) tương ứng thì ta có
Z3 [x] 1. f (x) = x3 + x2 + x + 2. Vì f (0) = f (1) = 2 và f (2) = 1 nên f (x) không có nghiệm trong Z3 . Theo câu 6.3 ta có f (x) bất khả quy trong Z3 [x]. Lại theo câu 9.5 ta có 4x3 + 10x2 − 5x + 5 bất khả quy trong Z[x]. Z3 [x] 2. f (x) = x3 + x + 2. Vì f (0) = 2 và f (1) = f (2) = 1 nên f (x) không có nghiệm trong Z3 . Theo câu 6.3 ta có f (x) bất khả quy trong Z3 [x]. Lại theo câu 9.5 ta có x3 + 3x2 + 301x + 3002 bất khả quy trong Z[x]. Z3 [x] 3. f (x) = x3 + x2 + x + 2. Tương tự câu 1 ta có 3001x3 − 29x2 + 28x + 29 bất khả quy trong Z[x].