In the very near future I’m going to be writing a paper on reciprocity theorems in the history of algebra. I really ought to describe a bit of that history here now, because it’s a really great story, but I’m more interested in trying to figure out how the modern approach to the subject looks. I’m fairly clear on the basic form of a reciprocity law (quadratic, most famously, but also quartic and more generally).

I’m also reasonably comfortable with basic ring theory and the manipulation of ideals and modules. I’d like to go up to Artin’s reciprocity theorem and at least be able to discuss it at the conceptual level. That means I should understand at least that much, and that will be the subject of my next post or two here.

I’m going to assume some level of comfort with rings and modules. In particular, the set of ideals has sums, products and the obvious -action

The story of class field theory begins when we ask what division could mean in the context of ideals. Everything takes place in a integral domain, where we can build a field of fractions for our ring, . A fractional ideal ought to be a submodule . We need more, though, because we also want to relate relate to via the multiplication, so we require that there is some for which . Note that this holds trivially in case is finitely generated.

It is easy to see that the multiplication of integral ideals extends to the fractions, and this gives us an associative operation with the unit . It is not the case that every fractional ideal has an inverse, but we do have a sort of “best approximation”

Then the product is trivially contained in . Moreover, if anything more were included that condition would fail, so if has an inverse in the semigroup, is it.

We also have the notion of a principle ideal , generated by a single element. This generalizes to fractional ideals as well, now allowing to range over the field . Clearly, every principle ideal is invertible, with inverse . We immediately have the notion of “principle fractional domain”, where all fractional ideals are principle. This would certainly imply that itself was a principle ideal domain, but the converse turns out to be true as well, since two principle ideals and are equal iff for some unit .

We finally get to the notion of class fields by taking the quotient of all fractional ideals by the subgroup principles. In general we only get back another monoid; if we want to get a class field group, we have to pass to the more restricted notion of a Dedekind domain. That will be the topic of my next post.