1 Answers
In algebraic number theory, a reflection theorem or Spiegelungssatz is one of a collection of theorems linking the sizes of different ideal class groups , or the sizes of different isotypic components of a class group. The original example is due to Ernst Eduard Kummer, who showed that the class number of the cyclotomic field Q {\displaystyle \mathbb {Q} \left} , with p a prime number, will be divisible by p if the class number of the maximal real subfield Q + {\displaystyle \mathbb {Q} \left^{+}} is. Another example is due to Scholz. A simplified version of his theorem states that if 3 divides the class number of a real quadratic field Q {\displaystyle \mathbb {Q} \left} , then 3 also divides the class number of the imaginary quadratic field Q {\displaystyle \mathbb {Q} \left}.