整数論の基礎と応用アルゴリズム
合同算術の基本性質
整数 a と b が法 m において合同であるとは、m が (a - b) を割り切ることを意味し、これを \( a \equiv b \pmod{m} \) と表記する。この関係は以下の代数的性質を持つ：
加法不変性: \( a \equiv b \pmod{m} \) ならば、任意の整数 c に対して \( a + c \equiv b + c \pmod{m} \) が成り立つ。
乗法不変性: 同様に、\( a \cdot c \equiv b \cdot c \ ...
8月11日 09:05 投稿