Math 2.0

Field theory and polynomials Proposition

The minimal polynomial divides every polynomial vanishing at the element

Builds on Minimal polynomial of an algebraic elementDivision algorithm for polynomialsDivisibility in a commutative ring

Statement

Let L/KL/K be a field extension, let a∈La \in L be algebraic over KK, and let mam_a be its minimal polynomial. For every f∈K[x]f \in K[x] with f(a)=0f(a) = 0, the polynomial mam_a divides ff in K[x]K[x].

Remarks

The proof: polynomial division gives f=qma+rf = q m_a + r with deg⁡r<deg⁡ma\deg r < \deg m_a. Then r(a)=0r(a) = 0, so r=0r = 0 by the minimality of deg⁡ma\deg m_a. Equivalently, the kernel of the evaluation map K[x]→LK[x] \to L, f↦f(a)f \mapsto f(a), is the ideal (ma)(m_a). If aa is a root of ff and ff is monic and irreducible over KK, then f=maf = m_a.

Reading path

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

Show the path as a graph
Group, concept, no evidence levelGroupconceptRing, definition, no evidence levelRingdefinitionCommutative ring, definition, no evidence levelCommutative ringdefinitionPolynomial ring, definition, no evidence levelPolynomial ringdefinitionSubring, definition, no evidence levelSubringdefinitionUnit of a ring, definition, no evidence levelUnit of a ringdefinitionDivisibility in a commutative ring, definition, no evidence levelDivisibility in a com…definitionDegree of a polynomial, definition, no evidence levelDegree of a polynomialdefinitionPolynomial evaluation, definition, no evidence levelPolynomial evaluationdefinitionField, definition, no evidence levelFielddefinitionLeading coefficient, definition, no evidence levelLeading coefficientdefinitionRoot of a polynomial, definition, no evidence levelRoot of a polynomialdefinitionSubfield, definition, no evidence levelSubfielddefinitionMonic polynomial, definition, no evidence levelMonic polynomialdefinitionField extension, definition, no evidence levelField extensiondefinitionDivision algorithm for polynomials, statement, no evidence levelDivision algorithm fo…statementAlgebraic element, definition, no evidence levelAlgebraic elementdefinitionMinimal polynomial of an algebraic element, definition, no evidence levelMinimal polynomial of…definitionThe minimal polynomial divides every polynomial vanishing at the element, statement, no evidence levelThe minimal polynomia…statement
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Group concept
  2. Ring definition
  3. Commutative ring definition
  4. Polynomial ring definition
  5. Subring definition
  6. Unit of a ring definition
  7. Divisibility in a commutative ring definition
  8. Degree of a polynomial definition
  9. Polynomial evaluation definition
  10. Field definition
  11. Leading coefficient definition
  12. Root of a polynomial definition
  13. Subfield definition
  14. Monic polynomial definition
  15. Field extension definition
  16. Division algorithm for polynomials statement
  17. Algebraic element definition
  18. Minimal polynomial of an algebraic element definition
  19. The minimal polynomial divides every polynomial vanishing at the element statement

Where this leads

17 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Minimal_polynomial_(field_theory), Properties
About this page
Tag06K7SARZKR
URIm2://06K7SARZKR
Kindstatement, proposition
WritingW0 stub
MSC12F05
StatusThis copy of the site has no build data. Run m2 status 06K7SARZKR.
UsesMinimal polynomial of an algebraic element, Division algorithm for polynomials, Divisibility in a commutative ring

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