Ring theory MOC

GCD

Let be an integral domain and . An element is a greatest common divisor or GCD of and iff #m/def/ring

and implies .¹ The GCD is unique up to associate elements, leading to the abuse of notation

Properties

1. GCDs exist for nonzero elements in a UFD

#state/develop | #lang/en | #SemBr