The First Inequality
The first inequality of class field theory states that
- |H0(E/F)| ≥ |E/F|
for cyclic layers E/F. It is usually proved using properties of the Herbrand quotient, in the more precise form
- |H0(E/F)| = |E/F|×|H1(E/F)|.
It is fairly straighforward to prove, because the Herbrand quotient is easy to work out, as it is multiplicative on short exact sequences, and is 1 for finite modules.
Before about 1950, the first inequality was known as the second inequality, and vice versa. What is now the 'second' was once the 'first' (see for example p. 49 in this treatment (PDF); this bounds the index of the norms in a class group, in old-fashioned language, and is the part of the main proof that was initially treated by means of L-functions. The historical reason behind this is that the first inequality of genus theory (concerned with 2-torsion in the class groups of quadratic fields) was an upper bound for the number of genera. (discussed at introduction to the Hilbert Zahlbericht (PDF).
Read more about this topic: Class Formation
Famous quotes containing the words the first and/or inequality:
“The moment when she crawled out onto the back of the open limousine in which her husband had been murdered was the first and last time the American people would see Jacqueline Bouvier Kennedy Onassis crawl.... She was the last great private public figure in this country. In a time of gilt and glitz and perpetual revelation, she was perpetually associated with that thing so difficult to describe yet so simple to recognize, the apotheosis of dignity.”
—Anna Quindlen (b. 1952)
“Love is a great thing. It is not by chance that in all times and practically among all cultured peoples love in the general sense and the love of a man for his wife are both called love. If love is often cruel or destructive, the reasons lie not in love itself, but in the inequality between people.”
—Anton Pavlovich Chekhov (1860–1904)