高等代数学
模W的同余类的基本性质:
(1) 若 α ′ ∈ α + W , 则 α ′ + W = α + W . ( 2) 若 γ ∈ α + W , 而 γ β + W , 则 (α + W ) ∩ ( β + W ) = , 证 (1) ∵ α ′ ∈ α + W → β ∈ W , 使 α ′ = α + β . γ ∈ α ′ + W , β1 ∈ W,使 γ = α ′ + β1 = α + β + β1 = α + β + β1) α + W ∴ 左 右； ( ∈同理 δ ∈ α + W , β 2 ∈ W ,使 δ = α + β 2 = α + β β + β 2 = α ′ + β 2 β) α ′ + W . ( ∈ ∴ 右 左， 左 = 右.10