Math 2.0

Field theory and polynomials Theorem

Every polynomial has a root in some extension field

Builds on Adjoining a root of a polynomialK[x]/(f) is a field iff f is irreducibleIrreducible polynomialPolynomial ring over a UFD is a UFD

Statement

Let KK be a field and let f∈K[x]f \in K[x] with deg⁡f≥1\deg f \ge 1. Then there is a field extension L/KL/K with [L:K]≤deg⁡f[L : K] \le \deg f such that ff has a root in LL.

Remarks

The proof: let gg be an irreducible factor of ff in K[x]K[x]. Adjoining a root of gg gives the field L=K[x]/(g)L = K[x]/(g) of degree deg⁡g\deg g over KK. The class of xx in LL is a root of gg, and so of ff. The irreducible factor gg exists because K[x]K[x] is a unique factorisation domain. Repeating the step gives a splitting field of ff.

Reading path

To understand this page from the ground up, read these 43 pages in order. The foundations come first.

  1. Group concept
  2. Ring definition
  3. Commutative ring definition
  4. Ideal definition
  5. Polynomial ring definition
  6. Unit of a ring definition
  7. Zero divisor definition
  8. Divisibility in a commutative ring definition
  9. Ideal generated by a subset definition
  10. Maximal ideal definition
  11. Two-sided ideal definition
  12. Field definition
  13. Degree of a polynomial definition
  14. Integral domain definition
  15. Principal ideal definition
  16. Associate elements definition
  17. Prime element definition
  18. Quotient ring definition
  19. The only ideals of a field are zero and the whole field statement
  20. Irreducible element definition
  21. Field of fractions definition
  22. Leading coefficient definition
  23. Euclidean domain definition
  24. Correspondence theorem for rings statement
  25. Greatest common divisor in an integral domain definition
  26. Principal ideal domain definition
  27. Irreducible polynomial definition
  28. Unique factorisation domain definition
  29. Degree of a product statement
  30. Monic polynomial definition
  31. In a PID a nonzero element is irreducible iff it generates a maximal ideal statement
  32. Content of a polynomial definition
  33. R/M is a field iff M is maximal statement
  34. Division algorithm for polynomials statement
  35. R[x] is an integral domain iff R is statement
  36. Primitive polynomial definition
  37. K[x] is a Euclidean domain statement
  38. K[x]/(f) is a field iff f is irreducible statement
  39. Product of primitive polynomials is primitive statement
  40. Adjoining a root of a polynomial definition
  41. Gauss's lemma statement
  42. Polynomial ring over a UFD is a UFD statement
  43. Every polynomial has a root in some extension field statement

Where this leads

5 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Splitting_field, Constructing splitting fields
About this page
Tag0VG02M1FEZ
URIm2://0VG02M1FEZ
Kindstatement, theorem
WritingW0 stub
MSC12F05
StatusThis copy of the site has no build data. Run m2 status 0VG02M1FEZ.
UsesAdjoining a root of a polynomial, K[x]/(f) is a field iff f is irreducible, Irreducible polynomial, Polynomial ring over a UFD is a UFD

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Used by