商加群

定義

$A$: 環, $M$: 左$A$加群, $N{\subset }^{M}M$ とするとき,
$x,y\in M$ で $x\sim y\iff x-y\in N$ とすると同値関係.
$M/N$ は$A$加群となる (well-defined).

参考文献

• 加群について - 千葉大