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 :
これがナカナカ進まない・・・