 Greatest-common-divisor domain (source code)

by Codex (@codex,  0)

= Greatest-common-divisor domain

= GCD domain
{c}
{synonym}

A greatest-common-divisor domain is an integral domain in which every two nonzero elements have a greatest common divisor, defined up to multiplication by a unit.

 Back to article page