Results 1 to 4 of 4

Math Help - GCD Multiplicative Property

  1. #1
    Junior Member
    Joined
    May 2009
    Posts
    36

    GCD Multiplicative Property

    i'm reading Introduction to Analytic Number Theory, Tom M. Apostol and i have a doubt about an exercise in chapter 1. Follow the exercise:

    Prove the following multiplicative property of the gcd:

    (ah,bk)=(a,b)(h,k)\left ( \frac{a}{(a,b)},\frac{k}{(h,k)} \right )\left ( \frac{b}{(a,b)},\frac{h}{(h,k)} \right )

    i already tried using Bezout identity and (a,b)=\frac{a\cdot b}{[a,b]}
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Super Member fardeen_gen's Avatar
    Joined
    Jun 2008
    Posts
    539
    Let
    (a,b)=m,
    (h,k)=n,
     a=ma_{1},
    b=mb_{1},
    h=nh_{1},
    k=nk_{1},
    then (a_{1},b_{1}), (h_{1},k_{1})=1

    Then the question becomes:
    (a_{1}h_{1},b_{1}k_{1})=(a_{1},k_{1})(b_{1},h_{1})

    (\frac{a_{1}}{(a_{1},k_{1})}\times\frac{h_{1}}{(b_  {1},h_{1})},\frac{k_{1}}{(a_{1},k_{1})}\times\frac  {b_{1}}{(b_{1},h_{1})})=1, which is obviously true.

    EDIT: Then I recommend waiting for the more experienced forum members to answer.
    Last edited by fardeen_gen; May 8th 2009 at 08:48 PM. Reason: Comments
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Junior Member
    Joined
    May 2009
    Posts
    36
    I think that your way is not formal. A prove different
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor

    Joined
    May 2008
    Posts
    2,295
    Thanks
    7
    Quote Originally Posted by streethot View Post
    i'm reading Introduction to Analytic Number Theory, Tom M. Apostol and i have a doubt about an exercise in chapter 1. Follow the exercise:

    Prove the following multiplicative property of the gcd:

    (ah,bk)=(a,b)(h,k)\left ( \frac{a}{(a,b)},\frac{k}{(h,k)} \right )\left ( \frac{b}{(a,b)},\frac{h}{(h,k)} \right )

    i already tried using Bezout identity and (a,b)=\frac{a\cdot b}{[a,b]}
    it's obvious that if \gcd(x,y)=\gcd(x,z)=\gcd(t,y)=\gcd(t,z)=1, then \gcd(xt, yz)=1. \ \ \ \ \ \ \ (1)

    now let a_1=\frac{a}{\gcd(a,b)}, \ b_1=\frac{b}{\gcd(a,b)}, \ k_1=\frac{k}{\gcd(k,h)}, \ h_1=\frac{h}{\gcd(k,h)}, and:

    x=\frac{a_1}{\gcd(a_1,k_1)}, \ y=\frac{b_1}{\gcd(b_1,h_1)}, \ z=\frac{k_1}{\gcd(a_1,k_1)}, \ t=\frac{h_1}{\gcd(b_1,h_1)}. it is obvious that x,y,z,t satisfy

    the conditions in (1) and thus we have \gcd(xt,yz)=1, which is exactly your identity!
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Mean Value Property Implies "Volume" Mean Value Property
    Posted in the Differential Geometry Forum
    Replies: 3
    Last Post: March 16th 2011, 09:13 PM
  2. Multiplicative Inverse of...
    Posted in the Algebra Forum
    Replies: 1
    Last Post: April 29th 2009, 10:06 PM
  3. multiplicative
    Posted in the Number Theory Forum
    Replies: 1
    Last Post: October 18th 2008, 07:22 PM
  4. is phi multiplicative
    Posted in the Number Theory Forum
    Replies: 3
    Last Post: May 14th 2008, 08:22 AM
  5. Multiplicative Set
    Posted in the Advanced Algebra Forum
    Replies: 0
    Last Post: January 29th 2008, 03:36 PM

Search Tags


/mathhelpforum @mathhelpforum