1to1

A : ideal of R = K[ x ] ( K : field )

AV( A )

= R/I( V( A ) )

と置く.

V( A )

∋ (α)

に対して

M(α)

= { f( x )+I( V( A ) ) ∈ AV( A ) | f(α)+I( V( A ) ) = I( V( A ) ) }

と置くと

M(α) : maximal ideal of AV( A )

で

(α) → M(α) : 1to1

になっている.

proof :

これがナカナカ進まない・・・