最終更新日:2022/12/23
3) Geometric interpretation of the localization. Let V be an irreducible algebraic variety. Then P = J(V) is a prime ideal of ℂ[X_1,...,X_n] and so ℂ[V]=ℂ[X_1,...,X_n]/J(V) is an integral domain. The localization ℂ[X_1,...,X_n]_P is a subring of ℂ(X_1,...,X_n) consisting of rational functions f/g:f,g∈ℂ[X_1,...,X_n],g∉P which are defined on a nonempty subset of V. If V = {x} is a point, then P is maximal and ℂ[X_1,...,X_n]_P=f/g:f,g∈ℂ[X_1,...,X_n],g(x) ne 0 consists of rational functions which are defined at x.
音声機能が動作しない場合はこちらをご確認ください
編集履歴(0)
元となった例文
Let
V
be
an
irreducible
algebraic
variety.
Then
P
=
J(V)
is
a
prime
ideal
of
ℂ[X_1,...,X_n]
and
so
ℂ[V]=ℂ[X_1,...,X_n]/J(V)
is
an
integral
domain.
The
localization
ℂ[X_1,...,X_n]_P
is
a
subring
of
ℂ(X_1,...,X_n)
consisting
of
rational
functions
f/g:f,g∈ℂ[X_1,...,X_n],g∉P
which
are
defined
on
a
nonempty
subset
of
V.
If
V
=
{x}
is
a
point,
then
P
is
maximal
and
ℂ[X_1,...,X_n]_P=f/g:f,g∈ℂ[X_1,...,X_n],g(x)
ne
0
consists
of
rational
functions
which
are
defined
at
x.