2
$\begingroup$

So I am looking over old exams in abstract algebra and I came across this question which seems to be a mistake. (Neither the original teacher who wrote it, nor my own teacher are available to answer)

Let $H = \mathbb{Z}_5[x]/\langle x^4+3x^3+x+4\rangle$. Show that $H$ is not a field.

Letting $p(x) = x^4+3x^3+x+4 $, we can see that $p(x)$ has no solutions in $\mathbb{Z}_5$. Therefore $p(x)$ is irreducible over $\mathbb{Z}_5$, and thus $\langle p(x)\rangle$ is a maximal ideal. Now the factor group of a ring and a maximal ideal is a field. Thus H must be a field.

Am I wrong here, and if so how?

$\endgroup$
  • 8
    $\begingroup$ Just because a polynomial has no roots does not mean it is irreducible. If you already know that $H$ shouldn't be a field, you should aim to factor your polynomial into two quadratics: since it has no roots, it cannot factor into a cubic and a linear term. $\endgroup$ – Pedro Tamaroff May 29 '16 at 11:43
  • $\begingroup$ Hint: That quartic happens to be the square of a quadratic. This is atypical. More typically an irreducible quartic would be the product of two irreducible quadratics. Do note that many a factorization algorithm of polynomials over a finite field begins by eliminating the possibility of multiplicity $\ge2$ factors. This can be done efficiently by calculating $\gcd(f,f')$ with Euclid's algorithm. $\endgroup$ – Jyrki Lahtonen May 29 '16 at 11:55
4
$\begingroup$

By the Berlekamp algorithm we obtain $$ x^4+3x^3+x+4=(x^2 + 4x + 2)^2 $$ over $\mathbb{F}_5$. Hence the quotient is not a field, because it has zero divisors.

$\endgroup$
  • $\begingroup$ I see. I have not heard of this algorithm! Thank you. How can you tell that it has zero divisors though? $\endgroup$ – Laplacinator May 29 '16 at 12:08
  • $\begingroup$ @Chris $q(x)=x^2+4x+2$ will be a zero divisor, since $(q(x))^2=x^4+3x^3+x+4=0$. $\endgroup$ – lisyarus May 29 '16 at 12:11
  • $\begingroup$ @lisyarus Aha, thanks! Didn't think of it like that. $\endgroup$ – Laplacinator May 29 '16 at 12:12

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.