Ideal Class Group - Connections To Class Field Theory

Connections To Class Field Theory

Class field theory is a branch of algebraic number theory which seeks to classify all the abelian extensions of a given algebraic number field, meaning Galois extensions with abelian Galois group. A particularly beautiful example is found in the Hilbert class field of a number field, which can be defined as the maximal unramified abelian extension of such a field. The Hilbert class field L of a number field K is unique and has the following properties:

  • Every ideal of the ring of integers of K becomes principal in L, i.e., if I is an integral ideal of K then the image of I is a principal ideal in L.
  • L is a Galois extension of K with Galois group isomorphic to the ideal class group of K.

Neither property is particularly easy to prove.

Read more about this topic:  Ideal Class Group

Famous quotes containing the words connections, class, field and/or theory:

    “Our business being to colonize the country, there was only one way to do it—by spreading over it all the associations and connections of family life.”
    —Henry Parkes (1815–1896)

    “The pursuit of Fashion is the attempt of the middle class to co-opt tragedy. In adopting the clothing, speech, and personal habits of those in straitened, dangerous, or pitiful circumstances, the middle class seeks to have what it feels to be the exigent and nonequivocal experiences had by those it emulates.”
    —David Mamet (b. 1947)

    “He stung me first and stung me afterward.
    He rolled me off the field head over heels
    And would not listen to my explanations.”
    —Robert Frost (1874–1963)

    “We commonly say that the rich man can speak the truth, can afford honesty, can afford independence of opinion and action;—and that is the theory of nobility. But it is the rich man in a true sense, that is to say, not the man of large income and large expenditure, but solely the man whose outlay is less than his income and is steadily kept so.”
    —Ralph Waldo Emerson (1803–1882)