Aufgabe:
Zeigen Sie: Für \( a, b \in \mathbb{Z} \), nicht beide gleich 0 , und \( c \in \mathbb{Z} \backslash\{0\} \) gilt (wobei \( (a, b)=\operatorname{ggT}(a, b) \) und \( [a, b]=\operatorname{kgV}(a, b)) \) :
(a) \( |a b|=(a, b) \cdot[a, b] \)
(b) \( (a c, b c)=|c| \cdot(a, b) \)
(c) \( (c|a \wedge c| b) \Longrightarrow\left(\frac{a}{c}, \frac{b}{c}\right)=\frac{1}{|c|} \cdot(a, b) \)
(d) \( (a|c \wedge b| c \wedge(a, b)=1) \Longrightarrow a b \mid c \)
Hinweis: Verwenden Sie die Darstellungen \( a=\prod \limits_{i=1}^{\infty} p_{i}^{\alpha_{i}} \) etc.
Problem/Ansatz:
Teilaufgaben a), b) und d) habe ich bereits mittels dem Hinweis bewiesen! Nur bei c) habe ich schon am Anfang große Schwierigkeiten. Vielen Dank für eure Hilfe im Voraus ☺.