Results 1 to 8 of 8

Math Help - Cyclic Groups

  1. #1
    Junior Member
    Joined
    Sep 2009
    Posts
    27

    Cyclic Groups

    ...
    Last edited by dabien; December 8th 2009 at 02:18 AM.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Super Member
    Joined
    Apr 2009
    From
    México
    Posts
    721
    Nevermind, I misread the question.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor Swlabr's Avatar
    Joined
    May 2009
    Posts
    1,176
    Quote Originally Posted by dabien View Post
    Prove that if p is a prime then (Z/p^2)^x \cong C_p x C_{p-1} \cong C_{p(p-1)} where C_n denotes the cyclic group of order n.

    My idea was to consider a homomorphism Z/p^2 \rightarrow Z/p and observe that (Z/p)^x is a cyclic group of order p-1. Then maybe use proof by induction that if p is an odd prime then (Z/p^n)^x is cyclic for all n.

    Next part is to describe the Galois structure of the field of p^2 roots of unity, p is prime for the cases of a. p=5, b. p=7. How many intermediate fields are there in these cases?
    I'm a bit confused as to what the question is asking here - is it saying " (Z/p^2)^x \cong C_p \times C_{p-1} \cong C_{p(p-1)}"? That is, \underbrace{(Z/p^2) \times (Z/p^2) \times \ldots \times (Z/p^2)}_\textrm{x times} \cong C_{p(p-1)}?

    If so, I don't think I believe this. C_{p(p-1)} is finite, but if this is isomorphic to the direct product of Z/p^2 with itself an arbitrary number of times we get that C_{p(p-1)} \cong C_{p(p-1)} \times C_{p(p-1)}, a contradiction...

    I am willing to be proved wrong though.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Banned
    Joined
    Oct 2009
    Posts
    4,261
    Thanks
    2
    Quote Originally Posted by Swlabr View Post
    I'm a bit confused as to what the question is asking here - is it saying " (Z/p^2)^x \cong C_p \times C_{p-1} \cong C_{p(p-1)}"? That is, \underbrace{(Z/p^2) \times (Z/p^2) \times \ldots \times (Z/p^2)}_\textrm{x times} \cong C_{p(p-1)}?

    If so, I don't think I believe this. C_{p(p-1)} is finite, but if this is isomorphic to the direct product of Z/p^2 with itself an arbitrary number of times we get that C_{p(p-1)} \cong C_{p(p-1)} \times C_{p(p-1)}, a contradiction...

    I am willing to be proved wrong though.

    \left({\mathbb{Z}}\slash{p^2\mathbb{Z}}\right)^{*}  = the group of units of the ring of residues modulo p^2

    Tonio
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Banned
    Joined
    Oct 2009
    Posts
    4,261
    Thanks
    2
    Quote Originally Posted by dabien View Post
    Prove that if p is a prime then (Z/p^2)^x \cong C_p x C_{p-1} \cong C_{p(p-1)} where C_n denotes the cyclic group of order n.

    My idea was to consider a homomorphism Z/p^2 \rightarrow Z/p and observe that (Z/p)^x is a cyclic group of order p-1. Then maybe use proof by induction that if p is an odd prime then (Z/p^n)^x is cyclic for all n.

    Next part is to describe the Galois structure of the field of p^2 roots of unity, p is prime for the cases of a. p=5, b. p=7. How many intermediate fields are there in these cases?

    We know \left|\mathbb{Z}/p^2\mathbb{Z}\right|=\phi(p^2)=p(p-1) ==> as we're dealing with abelian groups, there're elements a,b of order p, p-1, resp. As (ord(a), ord(b))=1 , we get that ord(ab)=p(p-1) and we're done.

    Tonio
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Junior Member
    Joined
    Sep 2009
    Posts
    27
    Thanks I will take a look and see if I have more questions.
    Follow Math Help Forum on Facebook and Google+

  7. #7
    MHF Contributor

    Joined
    May 2008
    Posts
    2,295
    Thanks
    7
    Quote Originally Posted by tonio View Post

    ... there're elements a,b of order p, p-1, resp.
    why does the element b exist? if your arguemnt was true, then every abelian group of order p(p-1) would be cyclic, which is a false result.

    [to dabien] here's a hint: let c be a generator of (\mathbb{Z}/p)^{\times}. show that either c or c+p will generate (\mathbb{Z}/p^2)^{\times}.
    Follow Math Help Forum on Facebook and Google+

  8. #8
    Junior Member
    Joined
    Sep 2009
    Posts
    27
    ...
    Last edited by dabien; December 8th 2009 at 02:18 AM.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Automorphism groups of cyclic groups
    Posted in the Advanced Algebra Forum
    Replies: 5
    Last Post: August 15th 2011, 09:46 AM
  2. cyclic groups
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: February 25th 2010, 07:29 PM
  3. Cyclic groups.
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: May 2nd 2009, 04:33 PM
  4. cyclic groups
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: September 17th 2008, 04:24 AM
  5. Cyclic Groups
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: March 1st 2008, 07:47 PM

Search Tags


/mathhelpforum @mathhelpforum