Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The isomorphism Q<g>

  1. Sep 26, 2011 #1
    HI everyone! Sorry to be bothering you again with another question. >.<

    Anyway I think it's pretty well-known that

    [itex]\mathbb{Q}\left\langle q\right\rangle\simeq\oplus_{d|n}\mathbb{Q}\left( \zeta_d \right)[/itex]

    where n is the order of g (say in a group) and d the divisors of n.

    I was kinda wondering if the same goes for

    [itex]\mathbb{Z}\left\langle q\right\rangle\simeq\oplus_{d|n}\mathbb{Z}\left[\zeta_d \right][/itex]

    What I do know is that, for the first isomorphism, the isomorphism was shown by using a lot of isomorphisms (first is regarding group rings over cyclic groups, second by the CRT, and lastly by Kronecker's Theorem, something like that). Can the second statement not be established by using these three isomorphisms? (I think it may fail for the third; ie, Kronecker's, since [itex]\mathbb{Z}[/itex] is not a field, but I'm not quite sure if there's a version of that theorem for rings which are not fields).

    Thanks! :D
  2. jcsd
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook

Can you offer guidance or do you also need help?