GCD domain

mathematical domain whose elements share lowest common multiples