外觀
當 a 除 n 的餘數 和 b 除 n 餘數相同,我們記做
於是,可以有這些性質:
也就是說,在模 n 底下,我們可以拿到一個環。
對於和 n 互質的元素 m ,存在反元素,通常可以記做 m−1
這並不是那麼的顯然,不過可以考慮輾轉相除法所能證明的
直接使用就可以拿 x 做為 m 的反元素。
14dc447