The Chevalley-Warning Theorem states that if a finite field has characteristic p, and a collection of polynomials in more variables than the sum of their degrees is given over that field, then the number of common solutions to those polynomials is divisible by p, which in particular forces a nontrivial solution to exist whenever the all-zero solution does. Named for Claude Chevalley and Ewald Warning, it is a foundational result in the study of polynomial equations over finite fields, with the existence of nontrivial solutions originally conjectured by Emil Artin.
Facts
StatementFor a system of polynomials over a finite field with total degree less than the number of variables, the number of common solutions is divisible by the characteristic p of the field. 1 Classification
Statement Form Connections
Has Statement Form
Entity-backed identity for the statement-form enum value this theorem already carries, resolved to a mathematics concept by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The statement-form fact itself stays on the theorem unchanged.
In Branch
Source Chevalley-Warning theorem (Wikipedia)
Sources
1. Chevalley-Warning theorem (Wikipedia)
Statement of the Theorems
the number of common solutions (a₁, …, aₙ) ∈ Fⁿ is divisible by the characteristic p of F.
Historical Context
It was proved by Ewald Warning (1935) and a slightly weaker form of the theorem, known as Chevalley's theorem, was proved by Chevalley (1935).
- In Branch: Number Theory, Lead sentence
View the SourceReader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.