Introductory reading on the Scholz reflection principle? The Scholz reflection principle says, among other things, that if $D < 0$ is a negative fundamental discriminant, not $-3$, then the 3-ranks of the class group of $\mathbb{Q}(\sqrt{D})$ is either equal to that of $\mathbb{Q}(\sqrt{-3D})$, or one larger.
Does anyone know of (and recommend) any introductory reading on this fact? Why it is true, what context to view it in, etc.? Googling reveals some highbrow perspectives on it, some interesting applications, and citations to Scholz's 1932 article (which I'm having difficulty accessing for the moment). All of this is interesting, but there doesn't seem to be any obvious place to begin.
Thank you!
 A: Hi Frank,
There are two places that I remember reading, and enjoying, when learning about the reflection principle:
i) Washington's book on cyclotomic fields section 10.2.(This book is just so great, so in case you don't own a copy this might be a good excuse to buy it.) 
ii) Reflection principles and bounds for class group torsion By Ellenberg and Venkatesh--This is a VERY cool paper, but in case you are short on time you just need to read Lemmas 4 and 5. 
Also some of the answers to this question Explicit map for Scholz reflection principle might help a bit.
A: This is covered in Ralph Greenberg's book-in-progress "Topics in Iwasawa theory"
http://www.math.washington.edu/~greenber/book.pdf
It also contains lots of other interesting stuff on class groups.
A: Gras' book Class field theory: from theory to practice has an entire section devoted to the reflection principle you mention and its generalizations. It also shows up in Manjul Bhargava's work, but given what you say you're interested in, you likely already know about his work.
A: This is simple class field theory plus Galois theory. Consider a quadratic number field $K$
with class number divisible by $3$. For constructing an unramified cyclic cubic extension $L/K$, adjoin the cube root of unity, and denote the resulting field by $K'$. The Kummer generator of the Kummer extension $L' = K'(\sqrt[3]{\mu})$ must be an ideal cube for the extension to be unramified: $(\mu) = {\mathfrak m}^3$. Since $L'/K$ is abelian, Galois theory shows that the ideal class of ${\mathfrak m}$ must come from the quadratic subfield $F$ different from $K$ and ${\mathbb Q}' = {\mathbb Q}(\sqrt{-3})$. Thus the unramified cubic extensions of $K$ correspond roughly to the $3$-class group of $F$; any differences come from the fact that $\mu$ might be a unit.
The reflection theorem was found independently by Reichardt and then generalized by Leopoldt. 
For a dvi file of Scholz's article, see 
here. 
Edit.Here's an English translation.
