R : =R[X] ist ein euklidischer Ring, also
auch ein Hauptidealring, in dem z.B. die eindeutige
Primelement-Zerlegung gilt. Die Einheiten von R
sind R∗=R∗. Gilt a∣b und b∣a,
so sind a und b assoziiert, d.h. b=a⋅c mit einer
Einheit c, also einer reellen Konstante c=0.
Die allgemeinste Definition für den lcm = kgV ist wohl
v=kgV({a1,⋯,an}), wenn
1. a1∣v∧⋯∧an∣v und
2. ∀e∈R : (a1∣e∧⋯∧an∣e)⇒v∣e.
Uns interessiert kgV({−5}). Da −5 eine Einheit ist, gilt
−5∣1 und (−5∣e⇒1∣e) für alle e∈R,
also ist 1 ein kgV.