I'm wondering if there is a proof of the Chebotarev density theorem that does not require the use of any big results in class field theory, such as Artin Reciprocity.
As I understand it, the main difficulty comes in establishing the abelian case, in which the idea of proof is similar to Dirichlet's theorem. Then we run into the issue of the non-vanishing of the L-function, which is proven by showing that their product is the Dedekind zeta function. This last statement requires Artin reciprocity.
I would like to know if there's another way of getting around this or if the last statement doesn't actually require any advanced class field theory.
How about this?
The abstract says "We give two proofs of the Chebotarev density theorem: Chebotarev’s original proof [Tsc26], which predates class field theory, and a more recent proof due to Lagarias and Odlyzko [LO77] and refined by Serre [Ser81] which gives an “effective” error term. ".
Although avoiding Artin reciprocity law, it seems to appear similar theorem for cyclotomic extension(Lemma 5.4,5.5).
It seems to prove for in the order of cyclotomic extension case, finite Abelian extension case, finite Galois extension case.