Prove $\,a\mid bc\!\!\iff\!\! a\mid(a,b)c\!\iff\!\!\frac{a}{(a,b)}\!\mid c\ $ [general Euclid's Lemma] I tried to start by showing that $ \frac{a}{\gcd(a,b)} $ is always an integer, let's call it $d$, because $a$ is always a multiple of $(a,b)$ based on the definition of a g.c.d. I then tried to show that if $a | b$ then $a|bc$ from the theorem that states that $a|b$ implies that $a|bc$ for any integer $c$, but I cant seem to prove that $a | b$ or that $a|bc$ only if $d \mid c$ (where $d = \frac{a}{\gcd(a,b)}$ ). Any help would be much appreciated.
 A: Note that $x\mid y$ if and only if $(x,y) = x$; then use the properties of the gcd.
\begin{align*}
a|bc &\Longleftrightarrow (a,bc) = a\\\
&\Longleftrightarrow \left(\frac{a}{(a,b)}, \frac{bc}{(a,b)}\right) = \frac{a}{(a,b)}\\\
&\Longleftrightarrow \left(\frac{a}{(a,b)}, \frac{b}{(a,b)}c\right) = \frac{a}{(a,b)}\\\
&\Longleftrightarrow \left(\frac{a}{(a,b)}, c\right) = \frac{a}{(a,b)}&&\mbox{(by Euclid's Lemma)}\\\
&\Longleftrightarrow \frac{a}{(a,b)} \Bigm| c,
\end{align*}
using Euclid's Lemma ("If $(x,y)=1$, then $x|yz\Leftrightarrow x|z$") and
$$1 = \frac{1}{(a,b)}(a,b) = \left(\frac{a}{(a,b)},\frac{b}{(a,b)}\right).$$
The manipulations are consequences of $x(y,z) = (xy,xz)$; see Bill Dubuque's proof here.
A: Using $\rm\color{#c00}{U} = $ gcd Universal Property $\, x\mid y,z\!\!\!\overset{\rm\color{#c00}{U}\!}\iff\! x\mid (y,z)_{\phantom{|_{|_|}}} $
and $\ \ \ \rm\color{#0a0}D = $ GCD  Distributive Law $\ \  \ (ac,bc)\, \overset{\rm\color{#0a0}D}=\, (a,b)\:\!c\,$
it is easy: $\ \ \ a\mid bc\iff a\mid ac,bc\smash{\overset{\rm\color{#c00}{U}\!}\iff} a\mid (ac,bc) \overset{\rm\color{#0a0}D}= (a,b)\:\!c\iff a/(a,b)\mid c\quad$ QED
Or dually: $\ a\mid bc\iff a,b\mid bc\smash{\overset{\rm\color{#c00}{U}\!}\iff} [a,b]\mid bc\iff [a,b]/b\ |\ c,\  $ $\, [m,n]\, :=\ {\rm lcm}(m,n)$
Combining both yields the GCD $\times$ LCM law: $\ [a,b]/b\, =\, a/(a,b),\ $ i.e. $\ (a,b)\ [a,b] =\, ab\,.$
Alternatively $ $ by cancelling $\ (a,b)\,$ it reduces to Euclid's Lemma $\ (a,b)= 1,\ a\,|\,bc\ \Rightarrow\ a\mid c.\,$ [generally $ $ in homogeneous problems we can assume wlog $\,(a,b)=1\,$ by canceling $(a,b)\,$].
Generally the result is the special case $\ a\,|\,bc\ $ of $\ (a,bc) = (a,(a,b)\,c),\,$ which holds true for both GCDs and ideals. As you can see these basic properties are all intimately connected, so it is useful to master these properties to become proficient with GCD arithmetic. For another example of applying these properties to obtain simple proofs see this proof of the Freshman's Dream $\ (A,B)^n = (A^n,B^n)\ $ for GCDs and invertible ideals.
A: This might not qualify as a formal proof, but might have some pedagogical value.
We have the prime factorizations
$b = b_1^{n_1} b_2^{n_2} b_3^{n_3} \dots b_j^{n_j}$
$c = c_1^{m_1} c_2^{m_2} c_3^{m_3} \dots c_k^{m_k}$
It is useful to put $b \times c$ in the numerator and $a$ in the denominator of the integer,
$$\frac{b_1^{n_1} b_2^{n_2} b_3^{n_3} \dots b_j^{n_j} \times c_1^{m_1} c_2^{m_2} c_3^{m_3} \dots c_k^{m_k}}{a}$$
If we 'peel off' any prime factor of $a$ all we know for sure is it can be 'put under' some $b_h$ or $c_i$, and perhaps both when the prime number goes into $a$, $b$ and $c$.
We have an algorithm that takes one prime factor at time 'off of' $a$ and, if the prime factor is part of $b$ and if there is still 'room left', puts it in the denominator slot under the matching $b_j^{h_j}$ while increasing the exponent in that slot. If that doesn't work, the prime factor has to fit under $c$, the right side.
When the algorithm completes, the denominator looks like $(a,b) \times \frac{a}{(a,b)}$.
A: $$a\mid bc \Longleftrightarrow \frac{a}{(a,b)}\mid c$$

Show:
$\Longrightarrow$
$a\mid bc\Rightarrow\exists k\in\mathbb{N}$ such that $bc=ak$$$bc=ak\Rightarrow\frac{bc}{(a,b)}=\frac{ak}{(a,b)}\Rightarrow\frac{b}{(a,b)}c=\frac{a}{(a,b)}k\Longrightarrow$$$$\frac{a}{(a,b)}\mid\frac{b}{(a,b)}c$$
Two theorems that we will use $$\text{If}\;\;x\mid yz\;\;\text{and}\;\;(x,y)=1\Longrightarrow x\mid z\;\;\;\;(\text{Theorem}\;*)\\\text{and}\\(\frac{x}{(x,y)},\frac{y}{(x,y)})=1\;\;\;\;(\text{Theorem}\;**)$$
Returning to the question, we have $$\frac{a}{(a,b)}\mid\frac{b}{(a,b)}c$$ by theorems $*$ and $**$ we have $$\frac{a}{(a,b)}\mid c\;\;\;\;\;\Box$$
$\Longleftarrow$
$$\frac{a}{(a,b)}\mid c\Longrightarrow a\mid bc$$
$$\frac{a}{(a,b)}\mid c\Longrightarrow\exists k'\in\mathbb{N}\;\;\text{such that}\;\; c=\frac{a}{(a,b)}\cdot k'\\bc=\frac{ab}{(a,b)}\cdot k'\Longrightarrow bc=a(\frac{b}{(a,b)}\cdot k')\Longrightarrow a\mid bc\;\;\;\;\;\Box$$

A: Here is a modification and simplification to @marcelolpjunior answer with divisibility and gcd rules.
To prove such statement, we need these three propositions:


*

*$$a|bc \Longrightarrow \frac{a}{(a,b)}|\frac{bc}{(a,b)} \hspace{5cm} (1)$$

*$$ (ca,cb) = c(a,b) \hspace{6cm} (2)$$

*$$a|b, a|c \Longrightarrow a|(b,c) \hspace{5.5cm} (3)$$

*$$(\frac{a}{(a,b)}, \frac{b}{(a,b)}) = 1 \hspace{5.4cm} (4)$$



since by $(3),(4):$ $$(\frac{a}{(a,b)},\frac{b}{(a,b)}) = 1 \Longrightarrow (\frac{ac}{(a,b)},\frac{bc}{(a,b)}) = c$$ Clearly,
  $\frac{a}{(a,b)}|\frac{ac}{(a,b)}$ and , from the hypothesis and $(1),\frac{a}{(a,b)}|\frac{bc}{(a,b)}$. Thereby, by $(3),\frac{a}{(b,c)}|c$ as required.

For the converse:

since $\frac{a}{(a,b)}|c \Longrightarrow a|(a,b)c$. But $(a,b)|b$ Thus,
  $a|bc$ as required.

