A is a GCD domain (i.e., any two elements have a greatest common divisor) satisfying (ACCP).
A är en SGD-domän (det vill säga, varje par av element har en största gemensamma delare) som satsifierar SKP.