Almost all books on class field theory define ray class groups out of nowhere and proceed to prove highly nontrivial theorems on them. One naturally wonders; Where do they come from? Of course, it's easy to answer this question when the base field is the field of rational numbers. However, it's not clear to me at all when the base field is not the field of rational numbers.
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.
Here's how it works:
- Anybody can ask a question
- Anybody can answer
- The best answers are voted up and rise to the top