PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
[parent] $\mathrm{lcm}(ma,mb) =m \mathrm{lcm}(a,b)$ (Theorem)

For simplicity, let us work only with positive integers.

We want to prove that if a,b,m are integers, then $$ \lcm(ma,mb) = m\lcm(a,b). $$

First notice that any common multiple of $ma$ and $mb$ is also a multiple of $m$ so any common multiple of $ma$ and $mb$ is of the form $mk$ with some integer $k$

Now notice that if $t=\lcm(a,b)$ and $u<t$ it cannot happen that $a\mid u$ and $b\mid u$ since $t$ is the smallest number, So, when $a\nmid u$ then $ma\nmid mu$ and if $b\nmid u$ then $mb \nmid mu$ We conclude that $mu$ is not a common multiple of $ma$ and $mb$ when $u<t$

So far, we proved that $mt = m\lcm(a,b)$ is a common multiple of $ma$ and $mb$ and previous paragraph shows that there is no smaller common multiple, therefore $m\lcm(a,b)$ is the least common multiple of $ma$ and $mb$ in other words: $$ \lcm(ma,mb) = m\lcm(a,b). $$




"$\mathrm{lcm}(ma,mb) =m \mathrm{lcm}(a,b)$" is owned by drini. [ full author list (2) | owner history (1) ]
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: number, multiple, integers, positive

This is version 9 of $\mathrm{lcm}(ma,mb) =m \mathrm{lcm}(a,b)$, born on 2005-02-18, modified 2005-02-19.
Object id is 6774, canonical name is MbMLcmaProofThatLcmma.
Accessed 1504 times total.

Classification:
AMS MSC11-00 (Number theory :: General reference works )

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy
messed up title in latest addition box by drini on 2005-02-18 00:34:01
originally title was in text mode, since \lcm is not a builtin
I forgot to use ,, and then it got messed up (actually I dond't know I had to use ,,).

so I changed it to ,, and title on entry looked fine, but not on latest additions. Finally I tried to rendered it on math mode (which it looks fine on the actual entry) but the latest addition box is still mangled
 f
G -----> H G
p \ /_ ----- ~ f(G)
 \ / f ker f
 G/ker f 
[ reply | up ]

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)