Results 1 to 7 of 7

Math Help - modulo arithmetic

  1. #1
    Super Member
    Joined
    Apr 2009
    Posts
    677

    modulo arithmetic

    This question is inspired from a earlier post on this forum.

    Prove that if

    x.y = -1 mod 24

    Then, prove

    x = -y mod 24.

    Is there a smart way to do this? All I could do was enlist the distinct values for x,y and prove the above for each such pair.

    Thanks
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Banned
    Joined
    Oct 2009
    Posts
    4,261
    Thanks
    2
    Quote Originally Posted by aman_cc View Post
    This question is inspired from a earlier post on this forum.

    Prove that if

    x.y = -1 mod 24

    Then, prove

    x = -y mod 24.

    Is there a smart way to do this? All I could do was enlist the distinct values for x,y and prove the above for each such pair.

    Thanks


    The group of units modulo 24, better known as \left(\mathbb{Z}\slash 24\mathbb{Z}\right)^{*} is the elementary abelian group \left(\mathbb{Z}\slash 2\mathbb{Z}\right)^3 , in which every non-unit element has order two (i.e., it's an involution)...

    Tonio
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Super Member
    Joined
    Apr 2009
    Posts
    677
    Quote Originally Posted by tonio View Post
    The group of units modulo 24, better known as \left(\mathbb{Z}\slash 24\mathbb{Z}\right)^{*} is the elementary abelian group \left(\mathbb{Z}\slash 2\mathbb{Z}\right)^3 , in which every non-unit element has order two (i.e., it's an involution)...

    Tonio

    Thanks Tonio. I am afraid I did not understand everythign you said (I have limited exposure to Group Theory)

    What you must be saying is that ans to my question is direct application of the fact you wrote. But is there a way to do it understand it without relying on this.

    I will tell you my approach - I found all pairs of x,y (between 0 and 23) for which the first condition is satisfied. Then checked the result to be proved for each such case. And hence satisfied my self with it.

    But I'm not too happy with this approach. What if instead of 24 - I had a a bigger number? Is 24 the only number that satisfies this - are there others? If yes - what is the criteria etc? (I know for sure there are a few more numbers like that). So, these are the questions I am struggling to answer.

    Any direction / input will be great.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor chiph588@'s Avatar
    Joined
    Sep 2008
    From
    Champaign, Illinois
    Posts
    1,163
     xy\equiv-1\bmod{24}\implies x(-y)\equiv1\bmod{24}\implies -y\equiv x^{-1}\bmod{24}

    Now  \mathbb{Z}/24\mathbb{Z} is special in the sense that  x^{-1}\equiv x\bmod{24} for all  x with an inverse.
    Last edited by chiph588@; April 15th 2010 at 07:06 AM.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    MHF Contributor Drexel28's Avatar
    Joined
    Nov 2009
    From
    Berkeley, California
    Posts
    4,563
    Thanks
    21
    Quote Originally Posted by chiph588@ View Post
     xy\equiv-1\bmod{24}\implies x(-y)\equiv1\bmod{24}\implies -y\equiv x^{-1}\bmod{24}

    Now  \mathbb{Z}/24\mathbb{Z} is special in the sense that  x^{-1}\equiv x\bmod{24} for all  x with an inverse.
    .
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Super Member
    Joined
    Apr 2009
    Posts
    677
    Thanks but this is what I am not able to prove. I do not know / have never studied the group tonio mentioned in his post.
    Follow Math Help Forum on Facebook and Google+

  7. #7
    MHF Contributor chiph588@'s Avatar
    Joined
    Sep 2008
    From
    Champaign, Illinois
    Posts
    1,163
    Quote Originally Posted by aman_cc View Post
    Thanks but this is what I am not able to prove. I do not know / have never studied the group tonio mentioned in his post.
     \mathbb{Z}/24\mathbb{Z} = \{0,1,2,\ldots,23\}

     (\mathbb{Z}/24\mathbb{Z})^\times = \{x\in \mathbb{Z}/24\mathbb{Z} \;|\; (x,24)=1 \} = \{1,5,7,11,13,17,19,23\}
    Last edited by chiph588@; April 15th 2010 at 09:54 AM.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Modulo Arithmetic
    Posted in the Number Theory Forum
    Replies: 2
    Last Post: March 4th 2009, 11:47 AM
  2. Modulo Arithmetic
    Posted in the Number Theory Forum
    Replies: 3
    Last Post: January 9th 2009, 03:56 AM
  3. modulo arithmetic proof
    Posted in the Advanced Algebra Forum
    Replies: 6
    Last Post: February 17th 2008, 12:33 PM
  4. modulo arithmetic
    Posted in the Math Topics Forum
    Replies: 7
    Last Post: December 31st 2007, 09:52 AM
  5. Modulo arithmetic
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: December 2nd 2007, 05:16 AM

Search Tags


/mathhelpforum @mathhelpforum