互质(英文:coprime,符号:⊥,又称互素、relatively prime、mutually prime、co-prime)。在数论中,如果两个或两个以上的整数的最大公约数是 1,则称它们为互质。依此定义:
两个整数 a 与 b 互素,记为 a ⊥ b。
例如 8 与 10 的最大公约数是 2,不是 1,因此它们并不互质。
又例如 7, 10, 13 的最大公约数是 1,因此它们互质。
最大公因数可以通过辗转相除法得到。
三个或三个以上的整数互质有两种不同的情况:
两两互素是较为严格的互素,如果一个整数集合是两两互素的,它也必定是整集互素,但是整集互素不必然是两两互素,甚至可能两两皆不互素,例如,是整集互素,但、、,任两者皆不互素。
性质之一:整数a和b互质当且仅当存在整数x,y使得xa+yb=1。 或者,一般的,有存在整数x,y使得xa+yb=d,其中d是a和b的最大公因数。(贝祖等式)