history and/or motivation for cohomology in class field theory I am currently learning (local) class field theory via group cohomology with Milne's notes.
I have a number of questions about using group cohomology to prove the main statements of class field theory. The first thing: how do you motivate the appearance of group cohomology in class field theory? The best thing I could find is: the group cohomology groups $H^r(G,M)$ are the same as the singular cohomology of an aspherical space with coefficients in $M$. (When the space is aspherical, the homology groups only depend on the space having $G$ as its fundamental group). Anyway, now for class field theory, somehow there is singular homology (and the topology of the classifying space?) in the background that is giving us these results. I think if I can understand this more closely then I can be more comfortable with the machinery being used.
Does there exist references that develop class field theory with interpretations closely related to the "background singular homology"? How did people even come up with the cohomological proofs, did they have these ideas?
Thank you
 A: Tate writes in his article in Cassels and Frolich that the cohomology calculations have their origin in genus theory (going back --- at least --- to Gauss's Disquitiones).
I haven't gone that far back, but I have read parts of Hilbert's Zahlbericht, where e.g. his Theorem 90 appeared.
(The theorems are labelled in order throughout the book.)
If you look at how Hilbert argues there, he uses Theorem 90 in much the same way
we do --- it gives a vanishing result, which can be fed into other computations via
the snake lemma (i.e. the boundary map in the cohomology long exact sequence).  Indeed, he has many calculations that are concrete forms of the snake lemma in the 
book.
There are also computations with units, especially in the case of cyclic extensions,
which are analogous to what we would describe as computing the Herbrand quotient
of the unit group (which nowadays appears as an input along the way to computing
the Herbrand quotient of the idele class group for a cyclic extension).   (Note 
that these sorts of computations go back to Kummer.  The chapter by Rosen in
Modular Forms and Fermat's Last Theorem gives some nice insight into this.)
As Rene Schipperus notes in another answer, there was a (at least apparently)
separate thread in the first half of the 20th century, in which Brauer, Hasse,
and Noether were studying central simple algebras over number fields, 
and discovered and proved that the sum of the local invariants is zero.  They
then realized that this result could be applied to reprove Artin's reciprocity
law.  (See this historical survey for more details.)
When the theory of central simple algebras was recast cohomologically, this
development was unified with the earlier arguments of genus theory, and 
the modern cohomological treatment emerged.
(There is yet another thread of development, which is the replacement
of $L$-functions in the argument with algebraic arguments via Kummer theory,
which isn't quite as relevant to your question.)
Genus theory isn't so commonly treated in modern alg. no. theory books.
Advanced number theory, by Harvey Cohn, gives a discussion for quadratic
fields (although the cohomological aspects are not made explicit, you can
see that Hilbert's Thm. 90 plays an important role).  Here is an exercise sheet that turns up when
you google genus theory, and which is more cohomological. 
[Incidentally, while group cohomology literally came out of alg. topology,
the computations in alg. number theory that it captures are much older!
E.g. Hilbert's Thm. 90, at least in the cyclic case, certainly predates the invention of group cohomology by algebraic topologists.  One thing that
group cohomology is good at is expressing the non-cylic case; my memory
is that there was a period when people --- maybe Emmy Noether --- expressed
the non-cyclic case of HT90 in the language of crossed homomorphisms etc.
that can be used to talk about group $H^1$.  It must have been a relief 
to discover that all the different computations, crossed homomorphisms,
factor sets, local invariants, proofs of the Artin rec. law, and so on,
could be unified by the language of gp. cohomology!]
A: The cohomology formulation came at the end of a long line of development. Briefly, local class field theory was developed using Brauer groups, and Brauer groups can be interpreted as cohomology groups, then it was seen that one could dispense with the Brauer formalism and deal directly with the cohomology groups, finally the basic maps were interpreted as cap products. Jacobson's Basic Algebra II presents the basic theory of Brauer groups along with some number theory applications. The book by Pierce, Associative Algebra treats the subject in great detail. Also if you are really into the history the papers of Nakayama are nice.
