A homework template for Mathematical Tools for Computer Science (CPSC 202), an undergraduate course at Yale University.
This template is designed to allow students to print out solutions in multiple parts, which are submitted separately to individual graders. It may also serve as an introductory template for LaTeX beginners.
In this paper, we do exactly what the title implies: prove the Čebotarev Density Theorem. This is an extremely valuable theorem because it is a vast generalization of Dirichlet's Theorem on primes in an arithmetic progression. Our theorem goes even further to the case of other number fields; we will show that the prime ideals in an imaginary quadratic field K are virtually equidistributed among the conjugacy classes of Artin symbols in the Galois group of a Galois extension L over K. Note that L need not be abelian over K!