同一視

φ : R ∋ f( x ) → f( x )+P ∈ R/P : integral domain ( 整域 )

とすると

2 )

φ| C : 1 to 1

∵

φ( z ) = φ( z' ) ( z , z' ∈ C )

とすると

z+P = z'+P

⇒

z-z' ∈ C ∩ P = { 0 }

⇒

z = z'

すると

C 〜 φ( C ) : 同型

⇒

C ⊂ R/P

と同一視出来る！