整数の合同
n が 2 以上の整数として、「二つの整数 a, b が法 n に関して合同である」とは、以下の同値な条件のいずれか(したがってすべて)を満足する場合を指す:
それらの差が n で整除される(つまり、適当な整数 k が存在して a – b = kn);
a を n で割った剰余 r が b を n で割った剰余 s と等しい;
a – b ∈ nZ(つまり、 a – b が n の倍数全体の成すイデアル nZ の要素になる)