A theorem that describes the asymptotic density of prime ideals in a number field whose Frobenius conjugacy class lies in a specified conjugacy class C of the Galois group of a finite Galois extension: the (natural) density equals |C|/|G|.

Principle

Frobenius elements attached to unramified primes become equidistributed across conjugacy classes of the Galois group; algebraic splitting conditions manifest statistically with frequencies proportional to class sizes.

Demonstration

For a Galois extension K/Q with group G, the set of rational primes p whose Frobenius in Gal(K/Q) sits in C has density |C|/|G|. For a quadratic extension this recovers the statement that roughly half the primes split and half remain inert depending on the nontrivial conjugacy class.

Misapplication

Treating the theorem as giving exact finite counts rather than asymptotic densities, ignoring ramified primes, or failing to distinguish natural density from other density notions can mislead applications.

Consequence

Gives powerful statistical control of splitting behaviour of primes in extensions, underlies many results about distribution of primes with arithmetic constraints, and connects Galois-theoretic data to analytic prime-counting asymptotics.

Reversal

If one inverts the perspective and studies single primes rather than statistical families, Chebotarev gives no exact guarantee about an individual prime's Frobenius class; equidistribution is inherently asymptotic and collective.

Boundary

Requires a finite Galois extension (or passing to the Galois closure) and formulates density for unramified primes; it does not by itself provide effective error terms without further analytic hypotheses like GRH and needs care for ramified or wild primes.

Semantic Tension

Sometimes confused with Dirichlet's theorem on primes in arithmetic progressions (a special abelian case) or with statements equivalent to GRH about error terms; Chebotarev is a Galois-theoretic density theorem whose full effectiveness depends on analytic input.

Synthesis

Chebotarev ties the algebraic structure of a Galois group to the arithmetic distribution of primes: conjugacy class sizes predict natural densities of primes with given Frobenius behaviour, yielding a unifying statistical law for prime splitting in extensions.