当存在"R"中的一个元素"x"使得"ax" = "b"。整除关系满足传递性，即"a"整除"b"，"b"整除"c"推出"a"整除"c"。"a"整除"b"，则"a"整除"b"的所有倍数。"a"的两个倍数的和与差仍是"a"的倍数。1的约数称为"R"的可逆元。可逆元整除所有元素。若"a"整除"b"并且"b"整除"a"，则称"a"与"b"相伴。"a"与"b"相伴当且仅当存在可逆元"u"使得"au" = "b"。非可逆元"q"称为既约元，如果"q"不能写成两个非可逆元的乘积。 如果"p"不是零元或可