Extenses inteiras e o teorema da normalizao de Noether.

Denio: Sejam K e L dois anis tais que K um subanel de L (ou L

uma extenso de K).
1. Dizemos que um elemento L inteiro sobre K se existir um polinmio
mnico f(x) K[x] tal que f() = 0.
2. Seja S = {x L | x inteiro sobre K}. Dizemos que S o fecho integral
(ou fecho inteiro) de K em L. Em particular dizemos que K integralmente
fechado em L se S = K.
3. Dizemos que L uma extenso inteira ( ou extenso integral ) de K se
todo elemento de L for inteiro sobre K.
4. Caso K e L sejam corpos tomamos S = {x L | x algbrico sobre K}
e nesse caso S chamado de fecho algbrico de K em L.
Seja L uma extenso de K, e B um subconjunto de L. B algebri-
camente independente sobre K se para algum inteiro positivo n existe um
polinmio no nulo F K[X
1
, , X
n
] tal que F(b
1
, , b
n
) = 0 para dis-
tintos b
1
, , b
n
B. Caso contrrio, B algebricamente dependente sobre
K.
Se tal subconjunto B maximal (com respeito a incluso) na coleo de
subconjuntos algebricamente independentes de L, dizemos que B base de
transcendncia de L sobre K, com grau de transcendncia |B|.
Proposio: Seja R um subanel de um domnio S, v S. Ento as
seguintes armaes so equivalentes:
1. v inteiro sobre R.
2. R[v] mdulo nito sobre R.
3. Existe um subanel R

de R contendo R[v] que mdulo-nito sobre R.

Dem: 1 2: Se v
n
+ a
1
v
n1
+ + a
n
= 0, ento v
n

n1
i=0
Rv
i
.
claro que

n1
i=0
Rv
i
R[v]. Note que, se provarmos que v
m

n1
i=0
Rv
i
para todo m, teremos que R[v] =

n1
i=0
Rv
i
, pois todo elemento z R[v]
da forma

b
j
v
j
, b
j
R.
Mostremos que v
m

n1
i=0
Rv
i
para todo m. Para 0 m n, temos
que v
m

n
i=0
Bv
i
. Se m = n + 1, temos
v
n+1
= v
n
v = (a
1
v
n1
+ + a
n
)v = a
1
v
n
+ + a
n
v =
a
1
(a
1
v
n1
+ + a
0
) + + a
n
v
que uma combinao linear de v
i
, i = 0, , n 1. Usando este mesmo
racioccio, obtemos que v
m

n1
i=0
Rv
i
para todo m.
2 3: Basta tomar R

= R[v].
3 1: Se R

n
i=1
Rw
i
, ento vw
i
=

n
j=1
a
ijw
j
para algum a
ij
R.
Ento

n
j=1
(
ij
v a
ij
)w
j
= 0 para todo i, onde
ij
= 0 se i = j, e
ii
=
1. Se considerarmos estas equaes no corpo de fraes de S, veremos que
(w
1
, , w
n
) uma soluo no trivial, e assim det(
ij
v a
ij
) = 0. Uma vez
que v aparece somente na diagonal da matriz, o determinante tem a forma
v
n
+ a
1
v
n1
+ + a
n
, a
i
B. Assim v inteiro sobre R.
Corolrio: Se R subanel de S e S mdulo nito sobre R, ento S
inteiro sobre R.
Corolrio: O conjunto de elementos de S que so inteiros sobre R um
subanel de S que contm R.
Teorema de Normalizao de Noether: Seja R um domnio de in-
tegridade nito sobre um corpo K, e seja r o grau de transcendncia de K
sobre L, o corpo de fraes de R. Ento existe um conjunto algebricamente
independente
{t
1
, , t
r
}
de R tal que R inteiro sobre K[t
1
, , t
r
].
Dem: Seja R = K[u
1
, , u
n
; ento L = K(u
1
, , u
n
). Se {u
1
, , u
n
}
algebricamente independente sobre K, ento {u
1
, , u
n
} uma base de
transcendncia de L sobre K. Assim, teremos r = n e o teorema verdadeiro.
Se {u
1
, , u
n
} algebricamente dependente sobre K, ento
r n 1 e

(i
1
, ,in)
= a
i
1
in
u
i
1
1
u
in
n
= 0,
onde um conjunto nito de n-uplas distintas de inteiros no negativos,
e a
a
i
1
in
um elemento no nulo de K para cada i
1
, , i
n
. Tomemos
c um inteiro positivo maior que qualquer componente i
s
de todo elemento
(i
1
, , i
n
) . Se (i
1
, , i
n
), (j
1
, , j
n
) so tais que
i
1
+ ci
2
+ c
2
i
3
+ + c
n1
i
n
= j
1
+ cj
2
+ + c
n1
j
n
,
ento c | i
1
j
1
, o que impossvel, a menos que i
1
= j
1
, pois c > i
1
0 e
c > j
1
0. Da,
i
2
+ ci
3
+ + c
n2
i
n
= j
2
+ cj
3
+ + c
n2
j
n
, e
c | i
2
j
2
i
2
= j
2
.
Repetindo o processo, obtemos (i
1
, , i
n
) = (j
1
, , j
n
). Dessa forma,
o conjunto {i
1
+ ci
2
+ c
2
i
3
+ + c
n1
i
n
: (i
1
, , i
n
) } consiste de ||
inteiros no negativos distintos e, em particular, admite um nico elemento
maximal j
1
+ cj
2
+ + c
n1
j
n
para algum (j
1
, , j
n
) .
Agora, denimos v
2
= u
2
u
c
1
, v
3
= u
3
u
c
2
1
, , v
n
= u
n
u
c
n1
1
.
Substituindo cada u
i
por v
i
+ u
c
i1
1
, 2 i n, no somatrio acima e
expandindo as expresso, obtemos
a
j
1
jn
u
j
1
+cj
2
+c
2
j
3
++c
n1
jn
1
+ F(u
1
, v
2
, , v
n
) = 0,
2
onde o grau de F K[X
1
, , X
n
em X
1
estritamente menor que j
1
+
cj
2
+ + c
n1
j
n
. Logo u
1
raiz do polinmio mnico
X
j
1
+cj
2
+c
2
j
3
++c
n1
jn
+ a
1
j
1
jn
F(X, u
2
, , u
n
) K[v
2
, , v
n
][X].
Consequentemente, u
1
inteiro sobre K[v
2
, , v
n
. Portanto, K[u
1
, v
2
, , v
n
] =
K[v
2
, , v
n
][u
1
] inteiro sobre K[v
2
, , v
n
], temos que R = K[u
1
, , u
n
]
inteiro sobre K[v
2
, , v
n
]. Se {v
2
, , v
n
} algebricamente independente,
ento r = n 1 e o teorema est provado. Caso contrrio, o mesmo argu-
mento para K[v
2
, , v
n
] no lugar de K mostra que para certos w
3
, , w
n

A, K[v
2
, v
n
] inteiro sobre K[w
3
, , w
n
]. Da, por transitividade, R
inteiro sobre K[w
3
, , w
n
. Se {w
3
, , w
n
} algebricamente independente,
terminamos a prova. Se no for, o processo pode ser repetido at obtermos
um subconjunto algebricamente independente {z
nr+1
, , z
n
} de r elemen-
tos de R tais que R inteiro sobre K[z
rn+1
, , z
n
]
3