Results 1 to 2 of 2

Math Help - 2.2.7, need help

  1. #1
    Junior Member
    Joined
    Feb 2009
    Posts
    40

    2.2.7, need help

    this problem is on dummit, "abstract Algebra",
    it says
    Let n\in N, with n\geq3. Prove the following:
    (a). Z( D_{2n})=1 if n is odd.

    (b). Z( D_{2n})={ 1,r^{k} } if n=2k.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor Swlabr's Avatar
    Joined
    May 2009
    Posts
    1,176
    Quote Originally Posted by mancillaj3 View Post
    this problem is on dummit, "abstract Algebra",
    it says
    Let n\in N, with n\geq3. Prove the following:
    (a). Z( D_{2n})=1 if n is odd.

    (b). Z( D_{2n})={ 1,r^{k} } if n=2k.
    According to my word processor I've spent the last 52 minutes trying to solve this by induction. Which is silly.

    I gave a short bit of thought before this, wondering if there was an easier, more subtle proof. I have just realised that there is. So here is a definition and a hint:

    We can define the group thus: D_{2n} = <\alpha, \beta | \alpha^n=\beta=1, \beta \alpha \beta = \alpha^{-1}>.

    Now, when does the equality a \equiv -a \text{ mod } n hold, and why is this relevant here?
    Follow Math Help Forum on Facebook and Google+


/mathhelpforum @mathhelpforum