-1
$\begingroup$

this lemma is a corollary of the following lemma: if $\gcd(b,c)=1$ $gcd(a,bc)=gcd(a,c)gcd(a,b)$

$\endgroup$
1
  • 1
    $\begingroup$ Where is the question? $\endgroup$
    – CSch of x
    Commented Oct 21, 2020 at 21:02

1 Answer 1

0
$\begingroup$

$$b|a\implies (\exists k\in \Bbb N)\;:\; a=kb$$

$$c|a\implies (\exists k'\in\Bbb N)\;:\;a=k'c$$

So $$kb=k'c$$

which means that $ \;b|k'c \;$ but, by Gauss's Theorem, as $ gcd(b,c)=1 $, we conclude that $\; b|k' \;$ or

$$(\exists k''\in \Bbb N)\;:\; k'=k''b$$

thus $$a=k''bc$$ which says that $\; bc|a$. Done.

$\endgroup$

Not the answer you're looking for? Browse other questions tagged .