How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
A complex polynomial of degree has exactly roots counted with multiplicity
Statement
Let have degree . Then there exist distinct complex numbers and positive integers such that for some , with These exponents are uniquely determined by . Equivalently, has exactly roots counted with multiplicity.
Facts & Assumptions
Given: A polynomial of degree .
Every nonconstant polynomial in splits over (Every nonconstant polynomial in splits into linear factors).
Splitting means a nonzero scalar times a product of linear factors (Polynomials that split and splitting fields of a polynomial or a family of polynomials).
The polynomial ring is a unique factorization domain (For every field , is a unique factorisation domain).
Proof
By [L1] and [L2], there are and complex numbers such that Let be the distinct values among the , and let be the number of indices with . Then and by construction .
Suppose also that with , distinct , and positive integers . In the UFD , each linear factor is irreducible, hence prime. Therefore the exponent with which appears in a factorization of is uniquely determined. After reordering, this gives So the multiplicities are well defined.
Step 1.1 gives a factorization whose exponents sum to , and step 2.1 gives uniqueness of those exponents. This is exactly the statement that a degree- complex polynomial has exactly roots counted with multiplicity.
Depends on
Used by
- Puiseux discs normalise a reduced plane curve germ Corollary
- Chebyshev extremals and the exact disk Fekete polynomial Example
- Divisors and Riemann-Roch on the Riemann sphere and on a complex torus Example
- Local degrees of a polynomial map on the riemann sphere Example
- The cusp y²=x³ has Puiseux parameter (t²,t³) Example
- The irreducible complex characters of a finite cyclic group are the n powers of a primitive nth root Example
- The plane branch y²=x⁵ has Puiseux parameter (t²,t⁵) Example
- The Veronese linear system on the Riemann sphere Example
- An irreducible plane curve gives a connected punctured covering Lemma
- Monic polynomial lower bounds for the Chebyshev constant and capacity Lemma
- Spectral product from traces of powers Lemma
- The vanishing ideal of a reduced hypersurface germ is principal Lemma
- Rouche gives the standard leading-term proof of the fundamental theorem of algebra Remark
- A nonconstant rational map has total fibre multiplicity equal to its degree Theorem
- Convergent Puiseux parametrisation of an irreducible plane branch Theorem
- Finite local projection of a reduced hypersurface germ Theorem
- Nonvanishing of the lattice discriminant Theorem
- The chord-tangent group law and elliptic uniformization Theorem
Dependency tree · two levels
12 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- P. L. Clark, Field Theory, Chapters 3 to 5 (standard reference, not scraped)
- J. S. Milne, Fields and Galois Theory, v5.10, Chapter 5 (standard reference, not scraped)