A theorem in algebraic number theory that identifies the natural density of rational primes whose Frobenius conjugacy class in the Galois group of a finite Galois extension lies in a prescribed conjugacy class; the density equals the size of that conjugacy class divided by the order of the Galois group.

Principle

As one ranges over primes, Frobenius elements become equidistributed across the conjugacy classes of the Galois group, with frequency proportional to the class size |C|/|G| under natural density.

Demonstration

For a quadratic extension K/Q with Galois group of order 2, primes split or remain inert according to Frobenius being the identity or the nontrivial element, so each splitting type has natural density 1/2; more generally, for a cyclotomic extension the proportion of primes with Frobenius in a given class matches the predicted ratio.

Misapplication

Applying the theorem to non-Galois extensions, to finite sets of primes without passing to density limits, or asserting effective error terms or explicit bounds without verifying analytic hypotheses is incorrect.

Consequence

One can count primes with prescribed splitting behavior, relate statistical properties of primes to group-theoretic invariants, and deduce many classical distribution results (including Dirichlet's theorem) as special cases.

Reversal

Instead of using group data to predict prime distribution, one may infer information about the Galois group from observed splitting densities of primes; abundance or scarcity of splitting types can suggest subgroup structure.

Boundary

Requires a finite Galois extension of number fields and the notion of natural (Dirichlet) density of primes; it does not by itself give uniform or effective error estimates and must be adapted for non-Galois or infinite extensions.

Semantic Tension

Often confused with Dirichlet's theorem on primes in arithmetic progressions (a special case) or with equidistribution statements in analytic families; the tension is between a group-theoretic formulation and purely analytic formulations of prime distribution.

Synthesis

Chebotarev links the algebraic structure of a Galois group to the asymptotic frequency of splitting types of primes, providing a precise proportionality law (|C|/|G|) that converts group-theoretic conjugacy data into analytic density statements about primes.