Results 1 to 2 of 2

Thread: Hilbert class field

  1. #1
    Newbie
    Joined
    Oct 2008
    Posts
    24

    Hilbert class field

    For the number fields K whose ring of integer is UFD,
    why the Hilbert class field of K is K itself???



    thanks
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    May 2008
    Posts
    2,295
    Thanks
    7
    Quote Originally Posted by chipai View Post
    For the number fields K whose ring of integer is UFD,
    why the Hilbert class field of K is K itself???

    thanks
    it's actually an if and only if statement. the reason is quite clear: $\displaystyle \mathcal{O}_K,$ the ring of integers of $\displaystyle K$, is a UFD if and only if it's a PID because $\displaystyle \mathcal{O}_K$ is always a Dedekind domain.

    on the other hand by definition $\displaystyle H(K),$ the ideal class group of $\displaystyle K,$ is trivial if and only if every ideal of $\displaystyle \mathcal{O}_K$ is principal, i.e. if and only if $\displaystyle \mathcal{O}_K$ is a PID. so $\displaystyle |H(K)|,$ the class

    number of $\displaystyle K,$ is 1 if and only if $\displaystyle \mathcal{O}_K$ is a PID. finally the dimension of the Hilbert class field of $\displaystyle K,$ as a vector space over $\displaystyle K,$ is exactly $\displaystyle |H(K)|$ and the result follows.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Ring, field, Galois-Field, Vector Space
    Posted in the Advanced Algebra Forum
    Replies: 4
    Last Post: Nov 15th 2012, 03:25 PM
  2. Replies: 6
    Last Post: Dec 5th 2009, 06:53 AM
  3. Inverse of Mapping from Hilbert Space to Hilbert Space exists
    Posted in the Differential Geometry Forum
    Replies: 3
    Last Post: Jun 2nd 2009, 08:15 PM
  4. conjugacy class and class equation
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: Mar 1st 2009, 06:52 PM
  5. class field theory
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: Feb 12th 2009, 08:24 PM

Search Tags


/mathhelpforum @mathhelpforum