a) Find all the units of Z[ − 7]. b) Check whether or not < 8x + 6x − 9x + 24 > [x] 3 2 Q is a field. c) Construct a field with 125 element
(a) I know some vague facts about this, but nothing too concrete. I know that if is invertible, there exists some such that , so and . I'm also aware that there's a natural norm on , namely . As the norm is multiplicative, we know that for .
(b).With p = 3, we have (mod p) since 24 = −9 = 6 = 0
(mod 3), since , and So, by the Eisenstein Criterion, is irreducible over Q.
is not a field,.
(c)
If a cubic polynomial of is reducible, then it splits into a linear factor and a quadratic factor or into the product of three linear factors. Linear factors are very easy to test for, as (x−a) is a factor of f if and only if f(a)=0.
So you might choose a random degree 3 polynomial and test for the five possible roots.
For instance, I'm tempted to try . Then
.
As none of these are zero, f(x) is an irreducible cubic.
Comments