高等代数学
( 2 ) 若 δ ∈ (α + W ) ∩ ( β + W ), 则由 (1 ) 知 α +W = δ +W = β +W 与已知 γ ∈ α + W , γ β + W 矛盾 .
线性空间 V 上按模 W 同余关系所得等价类 的集合 V = {α + W α ∈ V } 是 V 的商集 .
在商集 V 中定义加法和数乘如下 ： (α + W ) + ( β + W ) = (α + β ) + W , c (α + W ) = c α + W .则V 对于所定义的运算构成 域F上的线性 空间，称为 V的商空间. 记作 V / W . 11