抽象代数学において、加群と部分加群が与えられると、それらの剰余加群、商加群 (quotient module) を構成することができる。この構成は、以下で書かれるが、整数を整数 n を法として環を得る方法の類似である。合同式を見よ。剰余群や剰余環に用いられるのと同じ構成である。 環 R 上の加群 A と A
剰余演算
剰余演算(じょうよえんざん、モジュロとも呼ぶ)は、ある数値を別の数値(法と呼ばれることもある)で除算し、余りを取得する演算である。 2つの正の整数である、被除数 a および 除数 n が与えられた場合、a の n による剰余(a modulo n、略して a mod n とも表記される)は、ユークリッド除法における