Aulas IV mm445 PDF

Anis comutativos,
Euclideanos, fatoriais, principais e Noetherianos
Questo 1.
Vamos iniciar recordando, com alguns exerccios, fatos sobre extenses de corpos,
grau de uma extenso e polinmios irredutveis.
1. Seja
K = F (x)
o corpo das funes racionais racionais sobre um corpo
F.
dimenso innita sobre

as vezes escrevemos
nito,
2. Sejam
[K : F ] < ,
F , K,
(b) Se
ento
E K = F.
F K
irredutvel de
uma
so extenses nitas de
extenso nita
K
de
extenso innita
uma
uma extenso de
K
de
tem
F,
com grau
F .)
sobre
corpos onde
Se
tais que
primo, ento
[K : F ]
como acima, temos que
extenses de corpos e
F [x].
[ : K]
[ : F ]
K = F,
ou
K = .
so relativamente primos,
(Observe que 2a consequncia de 2b.)
polinmios minimais de
4. Sejam
(Em contraposio, se
so extenses de corpos e
(c) Mais geralmente, para
3. Sejam
F (x)
Mostre que
trs de corpos. Mostre que:
F K
[K : F ] = .
dizemos que
(a) Se
Por causa disso dizemos que
F.
e sobre
[K : F ]
algbrico sobre
F.
divide
[K : F ]
[ : F ].
O que podemos dizer dos
F?
uma extenso nita de
F.
Seja
f (x) F [x]
gr f e [K : F ] so relativamente primos, ento f
um polinmio
no pode ter raiz em
(Dica: Teorema II, pgina 5 de Notas III).
5. Sejam
que
f (x)
g(x)
gr f (x) = n.
dois polinmios irredutveis de
F [x],
uma raiz de
f (x)
e assumimos
Suponhamos que
K = F () = { ao + a1 + + an1 n1 | ao , a1 , . . . , an F }.
o corpo construdo na Questo 11, pgina 5, das Notas II. Se
concluso podemos tirar sobre
g(x)
tem uma raiz em
que
gr f (x) e gr g(x)?
6. Utilize o material dos itens ateriores para estudar as relaes entre os corpos
e
Q( 3 2).
1
Q( 2), Q( 15 2)
7. Mostre que: Se
uma extenso algbrica de
A um subanel
de
que contm
F,
ento
corpo.
F K
8. D um exemplo de que isto no verdadeiro se a extenso
K = Q()
9. Sejam
C,
com
tal que
[K : Q] = n < .
no for algbrica.
Mostre que se
impar, ento
K = Q(2 ).
10. Chama-se
caracterstica
de um anel
ao menor inteiro positivo
c(A)
tal que
c(A)
z
}|
{
c(A)1 = 1 + 1 + + 1 = 0,
caso exista. Quando
(a) Mostre que se
(b) Seja
11. Seja
n1 6= 0
positivo, denimos
c(A) = n 6= 0.
Mostre que
An = { an | a A}
de
um corpo com caracterstica zero (c(K)
em
Logo
smo no nulo de
extenso de
em
K.
(x) = xn
= 0).
1. Dados
se
Mostre que existe um nico homomor-
Logo podemos considerar que todo corpo
so anis e
com
c(K) = 0
aA bA
se e somente se
Por causa disso, dados dois ideais
de
A,
mostre que
Nas questes abaixo teremos
I J
de
b | a.
Mais ainda,
aA = bA,
se e somente
A, dizemos que I | J (I divide J ) se J I .
I + J = {x + y | x I, y J}
tambm so
A.
Mostre tambm que em relao a divisibilidade de ideais denida no item anterior temos:
o mnimo multiplo comum de
3. Dados dois ideais
1,
uma
A.
uma extenso de
mostre que
2. Dados dois ideais

ideais de
Q.
a, b A,
a b.
um homomorsmo de anel
A.
um subanel de
Questo 2. Vamos ver agora alguns exerccios bsico sobre ideais.

sempre que
c(A) = 0.
A um domnio de integridade, ento c(A) vale zero ou um nmero primo.
um anel tal que
A.
para todo inteiro
e para todo
de
I +J
o mximo divisor comum de
denimos o produto deles como
i, ai I, bi J }.
de um elemento de
Isto ,
por um elemento de
IJ
J.
2
IJ = {
I J
J.
Pn
t=1
at b t | n
o conjunto de todas as somas de produtos
Mostre que
IJ
um ideal de
e que
IJ I J .
4. Dados trs ideais
I, J
de
A, mostre que I(J +U ) = IJ +IU

I
5. Usando o exerccio anterior mostre para dois ideais
6. Dado um ideal
I de A denimos o radical de I como
Por exemplo, para
que
Mostre que
IB
8. Dado um ideal
que
de
de
IJ +IU J +U ).
(I J)(I + J) IJ .
I = { a A | an I,
n 1 }.
para algum
I = pZ.
Mostre
A.
denimos
um ideal de
de
A = Z e I = pm Z, onde p irredutvel e m > 1 temos que
um ideal de
7. Dado um ideal
(observe que
B,
J = IB = {
B.
Pn
t=1
at bt | n 1,
Esse ideal chamado de
mostre que
J A
D um exemplo de uma extenso de anis
um ideal de
AB
onde
e para todo
extenso
de
i, ai I, bi B }.
B.
A.
no corpo e existe ideal
de
tal
J A = { 0 }.
9. Mostre que um domnio que s tem dois ideais distintos um corpo.
10. Seja
:AB
ideal de
A.
um homomorsmo de anis. Mostre que para cada ideal
Observe que
1 (J)
contm o ncleo de
Ser que podemos tambm dizer: para cada ideal
11. Mostre que todo ideal
Questo 3.
de
um
de
B , 1 (J)
um
de
A, (I)
um ideal de
B ?
A-mdulo.
Vamos a seguir fazer uma generalizao da construo do corpo de fraes de um
domnio, como vimos na pgina 6 da Notas II.
1. Um subconjunto
priedades:
2. Seja
de um anel
1 S,
A.
um domnio
ar = bs.
se
a, b S ,
Tome o conjunto
Mostre que
chamado de
ento
AS
ab S
3. Dena em
Seja
se tiver as seguintes pro-
uma parte multiplicativa de
(a, s) (b, r)
se e somente se
uma relao de equivalncia.
(a, s) A S ,
S 1 A
0 6 S .
e dena nele a relao:
S 1 A = (A S)/ o conjunto quociente.
do elemento
parte multiplicativa
determine
(0, 1)
Denotando-se por
(a, s) a classe de equivalncia
(1, 1).
as seguintes operaes:
(a1 , s1 ) + (a2 , s2 ) = (a1 s2 + a2 s1 , s1 s2 ),

3
(a1 , s1 ) (a2 , s2 ) = (a1 a2 , s1 s2 ).
Mostre que essas operaes esto bem denidas.
Isto , mostre que as aplicaes de duas
variveis (binrias) que associam a cada par de elementos
((a1 , s1 ), (a2 , s2 )) a soma e o produto
so funes.
S 1 A com essas operaes um anel onde todo elemento da forma (a, s) com a S
4. Mostre que
tem inverso multiplicativo.
5. Mostre que a funo de

de anel.
S 1 A
S = A r { 0 },
(a, s) = as1 .
ento
S 1 A
a.
com
Esse anel
associa
Como
S 1 A
(a, 1)
um homomorsmo injetivo
chamado de um
o corpo de fraes de
A,
(a, s) = (a, 1) (1, s) = (a, 1) (s, 1)
anel de fraes
de
A.
j estudado anteriormente.
podemos estender
S 1 A
como no item (7) do exerccio anterior.
IS 1 A = { a/b | a, b A, b S
a I }.
Mostre que temos uma correspondncia
7. Para cada ideal

Neste caso
que a cada
(a, 1)
Logo podemos identicar
podemos escrever que
6. Se
em
de
bijetiva entre o conjunto
{I
ideal de
I S = } e o conjunto de todos os ideais de S 1 A.
Mais precisamente temos que as correspondncias
I 7 IS 1 A
J 7 J A
so bijetivas, e
uma a inversa da outra.
8. Considere o caso
A = Z.
(a) Para cada irredutvel
pZ
seja

Nesse caso denotamos
(b) Sejam agora
onde
Observao.
A
e esse anel chamado de
p1 , . . . , pm , irredutveis distintos de Z.
Verique que
localizado
Mostre que
de
em
p.
Z(p1 ) Z(pm ) = S 1 Z,
Z2 Z7 Z5 .
O anel
S 1 A
construdo no exerccio (4) pode ser considerado como o menor anel
onde todos os elementos de
tem inverso. Esse anel tem a seguinte propriedade: existe
: A S 1 A
tal que
(s)
:AB
outro anel para o qual existe um homomorsmo
s S,
S = { n Z | p - n }.
S 1 Z = { a/b Q | p - b }.
S 1 Z = Z(p)
homomorsmo injetivo (de anis)
todo
isto ,
S = Z r p1 pm .
(c) Estude
contendo
S = Z r pZ,
ento exite, e nico, homomorsmo
invertvel para todo

de forma que
: S 1 A B
tal que
(s)
Se
for
seja invertvel para
= .
Questo 4. Vejamos agora alguns exerccios sobre homomorsmos de anel.
s S.
1. Seja
:AB
um homomorsmo de um anel. Demonstre que a imagem de
um subanel de
B.
:AB
Im()
= (A)
Neste caso melhor dizemos subanel pois queremos mostrar que Im()
B.
um anel em relao a restrio das operaes de
2. Sejam
:BC
dois homomorsmos de um anis. Demonstre que
: A C
um homomorsmo de um anel.
3. Seja
A[X]
um homomorsmo de um anel
B[X]
em
cuja restrio a
seja
em um anel
B.
Construa um homomorsmo
Podemos construir essa extenso de
de
de quantas
maneiras?
4. Sejam
dois homomorsmos que tem um anel
como domnio e os anis
contra-domnios. Mostre que existe um homomorsmo

somente se o ncleo de
est contido no ncleo de
de
em
tal que
como
se e
(A denio de homomorsmo de anel e
tambm de ncleo esto na pgina 10 das Notas II. Na Questo 19 verica-se que o ncleo de
um homomorsmo um ideal.)
5. Reveja a Questo 22, pgina 11, das Notas II.
Congruncias mdulo um ideal

Recordemos que xado um inteiro
mdulo n
(notao:
a b (mod n)),
n Z
se
denimos que dois inteiros
n | (a b).
a, b Z
so
congruentes
Congruncia uma relao de equivalncia
(reexiva, simtrica e transitiva) e preserva operaes, isto :
se
a b (mod n)
c d (mod n),
ento
a + c b + d (mod n)
O conjunto das classes de equivalncia usualmente denotado por

sistema completo de restos mdulo
Zn = { 0, 1, . . . , n 1 }.
diviso de
por
o conjunto
Zn
{ 0, 1, . . . , n 1 }.
Mais geralmente para cada
mZ
ac bd (mod n).
e costumamos tomar para um
Tambm costumamos escrever
denimos
m=r
caso
seja o resto da
n.
Do fato das operaes serem preservadas pela relao de equivalncia (as equaes
obtemos em
Zn
()
operaes denidas por
a+b=a+b
a b = ab.
()
acima)
Podemos vericar que
Zn
com as operaes acima um anel. Um anel desse tipo chamado de
anel
quociente.
Vamos agora estender esse processo a um ideal qualquer de um anel.
Denio. Sejam A um anel, I um ideal de A, e a, b A.

se
Denimos
a b (mod I) se e somente
a b I.
Observe que a relao
a b (mod n) o mesmo que a b nZ.
Como
Z um domnio de ideais
principais as congruncias mdulo ideais so a mesma coisa que as congruncias mdulo elementos.
Para um anel
A que no um domnio de ideais principais as as congruncias mdulo ideais so mais
gerais.
Questo 5.
isto ,
Verique que a classe de equivalncia de um elemento
b a (mod I)
se e somente se
b = a + c,
para algum
c I.
aA
Ento
dada por
a = a + I,
a + I = {b A | b a
(mod I) }.
No caso dos inteiros temos que
m = m + nZ
e as
n1
classes distintas so dadas por
0 + nZ,
1 + nZ, . . . , (n 1) + nZ.
Denio.
Para
como na denio anterior chamamos de
anel quociente
de
por
ao
conjunto das classes de equivalncia
A/I = { a = a + I | a A }
com as operaes dadas por
a+b=a+b
quaisquer que seja
a, b A,
a b = ab,
como no caso dos inteiros.
Tambm aqui as operaes so preservadas pela relao de equivalncia, isto ,

se
a b (mod I)
c d (mod I),
ento
a + c b + d (mod I)
ac bd (mod I).
()
Por causa disso as operaes de soma e produto que denimos esto bem denidas, isto , a correspondncia
+ : A/I A/I A/I
Igualmente a correspondncia
o elemento
a+b
uma funo.
que associa a cada par
(a, b)
o elemento
que associa a cada par
: A/I A/I A/I
(a, b)
ab
tambm uma funo. Essas funes binrias (em duas variveis) denem duas operaes que tornam
A/I
um anel, com podemos vericar facilmente. igualmente imediato que a correspondncia

6
: A A/I
dada por
(a) = a uma funo e um homomorsmo sobrejetivo de anis cujo ncleo
I.
exatamente o ideal
Vamos agora relacionar homomorsmos de anel com anel quociente. O resultado que veremos
chamado de Teorema do Isomorsmo.
Seja
:AB
ncleo de
(ver denio de
: A/I B
ainda
um homomorsmo de anel. Tomemos o anel quociente
como
= .
N ()
(a) = (a)
A/N (),
onde
N ()
e tambm a Questo (19), pgina 10 das Notas II). Denido-se
obtemos que
uma funo, um homomorsmo e injetivo, e
Vemos assim que todo homomorsmo de anel pode ser decomposto na composio
de um homomorsmo sobrejetivo com um homomorsmo injetivo.

Temos ainda que
ainda Im()
N () = N ()
N () = { 0 }
(ver Questo (21), pgina 11, Notas II). Mais
= Im().
Podemos ento concluir que
um
isomorsmo
entre
A/I
e o subanel Im() (item (1) da
Questo (4)).
Denio. Dizemos que um homomorsmo de anel : A B

funo bijetora. Nesse caso escrevemos
um isomorsmo se
for uma
A ' B.
Observao. Se a coleo de todos os anis fosse um conjunto a relao de isomora ' denida
acima seria um relao de equivalncia. Contudo ela tem as trs propriedades: reexiva, simtrica e
transitiva.
Questo 6.
Seja
: A B
um isomorsmo de anis.
Demonstre que
1 : B A
um
homomorsmo de anel (portanto um isomorsmo).
Denio.
a 6= 0
e existe
Dado um anel
b A, b 6= 0
A,
dizemos que um elemento
tal que
ab = 0.
aA
Claro que o elemento
um divisor prprio de zero se
dessa denio tambm um
divisor prprio de zero.
Questo 7. O exemplo mais simples de anel com divisores prprios de zero obtido fazendo-se o
produto cartesiano de dois anis. Sejam
coordenada a coordenada:
prprios de zero em
AeB
dois anis e tome
C = AB
com operaes denidas
(a, b)+(a0 , b0 ) = (a+a0 , b+b0 ) e (a, b)(a0 , b0 ) = (aa0 , bb0 ).
Encontre divisores
C.
Questo 8. Considere os anis quocientes de Z.

vrios fatos no usuais:
Isto ,
Zn = Z/nZ.
Demonstre para esses anis
Zn
tem caracterstica
Se
Encontre valores para

e
(ver item (10) da Questo (1)).
no irredutvel, ento
a r = 0,
com
r 2.
Zn
tem divisores prprios de zero.
a 6= 0
de forma a temos
a 2 = 0.
Mais geralmente podemos ter
Elementos desse tipo so chamados de
Encontre as unidades de
Zn .
a 6= 0
nilpotentes.
Mais precisamente demonstre que
Z
n = {r | 1 r n 1
n }.
relativamente primo com
Podemos ento concluir duas coisas:
(a) o nmero de elementos de

de
ou melhor a
ordem
de
Z
n
igual a
(n) =
que por denio exatamente o nmero de inteiros no intervalo
primos com
(b) Se
Z
n,
indicador de Euler
1r<n
que que so
n.
irredutvel
Z
n = Zn r { 0 }
Zn
Vamos denotar um corpo desse tipo por
um corpo.
Fp ,
para cada irredutvel
de
Z.
Esse corpos tambm
so conhecidos como corpos de Galois.
Em alguns casos podemos determinar propriedades do anel quociente a partir de propriedades do

ideal. Vamos introduzir dois ideais especiais.
Denio. Seja A um anel e I

(primo) Dizemos que
(maximal) Dizemos que
que
J =I
ou
primo
um ideal de
se dados
a, b A
A.
tais que
ab I ,
ento
maximal, se toda vez que I J A, onde J
aI
ou
b I.
tambm um ideal de
A, resultar
J = A.
Questo 9. Vejamos a seguir alguns exerccios envolvendo anis quociente.

1. Demonstre que um ideal
integridade. Isto ,
A/I
2. Demonstre que um ideal

se
de um anel
primo se e somente se
A/I
for um domnio de
no tem divisores prprios de zero.
de um anel
A maximal se e somente se A/I
maximal observe que para todo
a A, a
/I
8
temos o ideal
for um corpo. (Sugesto:
I + aA).
3. Mostre que todo ideal maximal um ideal primo.
4. Seja
ideal primo de
5. Seja
A, A e B
uma extenso de
dizemos
um ideal primo de
so ideais de
P | IJ
quando
B,
mostre que
J A um
Demonstre os seguintes fatos:
IJ P ,
tais que
IJ P .
A.
ento
P | IJ
Logo
IP
para ideais
I, J
I1 , . . . , In
de
A,
resulta que
ideais de
A.
Se
IP
ou
ou
implica que
(b) Demonstre a recproca do item anterior. Isto , se
(c) Sejam
de
A.
um anel e
(a) Se
anis. Dado um ideal primo
J P,
I1 In P ,
J P.
P |I
Lembrar que tambm
P | J.
ou
um ideal de
ento
IJ P ,
tal que se
primo.
ento existe
1tn
tal que
It P .
6. Mostre que em um domnio de ideais principais todo ideal primo maximal. Em particular
isso verdade em todo domnio Euclidiano.
7. Mostre que em um domnio de fatorao nica
o ideal
pA,
com
pA
um irredutvel um
ideal primo. Por outro lado mostre que existem domnios de fatorao nica onde temos ideais
primos que no so maximais.
8. Sejam
dois ideais de um anel
(a) Mostre que a funo
A.
: A (A/I) (A/J)
homomorsmo de anis que tem
I J
temo um homomorsmo injetivo
denida por
(a) = (a + I, a + J)
um
como ncleo. Logo, pelo Teorema do Isomorsmo,
: A/(I J) (A/I) (A/J),
como descrito na
pgina 7.
(b)
no sobrejetiva em geral. Mas se assumirmos uma condio adicional podemos obter
a sobrejetividade e como consequncia que
Denimos que dois ideais I e J

Assumindo-se que
de um anel
igualmente
Seja
(c) A condio de
Como
c = a1 b 2 + a2 b 1 A .
c a2 J .
J
ser um isomorsmo.
so co-maximais se
I + J = A.
so co-maximais obtemos a sobrejetividade de
(a1 + I, a2 + J) (A/I) (A/J).

1 = b1 + b2 .
Portanto
I + J = A,
Observe que
existem
b1 I
De fato, seja
b2 J
tais que
c a1 = a1 (b2 1) + a2 b1 I
(c) = (c + I, c + J) = (a1 + I, a2 + J).
serem co-maximais tem outra consequncia:
I J = IJ .
interpretar esse fato dentro da aritmtica dos ideais da seguinte maneira: se

9
Podemos
so
relativamente primos (pois
I + J = A,
ou MDC de
IJ I J .
I J = IJ .
comum deles igual a seu produto, isto ,

2, vimos que
A),
ento o mnimo mltiplo
De fato, no exerccio (4) da pgina
Para mostrar a outra incluso usamos o exerccio (5) da pgina
2.
(d) O resultado acima pode ser generalizado para uma famlia nita de ideais de
I1 , . . . , In
ideais de
que dados
A,
dois a dois co-maximais, i.e.,
a1 , a2 , . . . , an A
Portanto a funo dada por

isomorsmo
existe
cA
tal que
It + Is = A
sempre que
c at (modIt ),
A:
t 6= s.
para todo
sejam
Mostre
t = 1, . . . , n.
(a + (I1 In )) = (a + I1 , a + I2 , . . . , a + In )
induz um
A/(I1 In ) ' A/I1 A/I2 A/In .
Dica. Mostre primeiro, por induo, que o fato de I1 , . . . , In serem dois a dois co-maximais
implica que
vale para
e
In
I1 I2 In = I1 In .
n1
temos
O caso
I1 I2 In1 = I1 In1 .
so co-maximais. De fato, para cada
1 = ut + v t .
v In .
Logo
Logo
usar o caso
Assumindo-se que
Armamos agora que
1tn1
existem
ut It
I1 I2 In1
vt In
u = u1 u2 un1 = (1 v1 )(1 v2 ) (1 vn1 ) = 1 v ,
1 = u + v I1 I2 In1 + In
n=2
n = 2 o item (c) acima.
e assim
para algum
I1 I2 In1 + In = A.
e a hiptese de induo para demonstrar o resultado com
tais que
Agora s
ideais.
Observao. O argumento acima demonstra que se I1 , . . . , In so dois a dois co-maximais,

ento
I1 It1 It+1 In + It = A,
Para obter o
cA
tal que
t = 1, . . . , n.
para todo
c at (modIt )
siga a seguinte receita: tome
bt I1 It1
It+1 In e dt It tais que bt +dt = 1, para todo t = 1, . . . , n (observado acima).

nalmente
c = a1 b 1 + an b n
e vericamos que
c at It ,
para todo
Tomamos
t = 1, . . . , n.
(Esse
sobre
resultado conhecido como Teorema Chines de Restos.)
9. Seja
F.
Seja
uma extenso de
o menor subcorpo de
(a) Verique que

(b) Seja
E=
: F [x] K
Conclua assim que
E = F (),
algbrico sobre
que contm
f (x)
simultaneamente.
interseo de todos os subcorpos de
anis cuja imagem
por
F, K
dada por
(g(x)) = g().
e cujo ncleo
o polinmio minimal de
contendo
Mostre que
(f ) = f (x)F [x],
induz um isomorsmo entre E
F { }.
um homomorsmo de
ideal principal gerado por
F [X]/(f ).
Esse corpo
com j zemos anteriormente e chamado de uma extenso
10
f (x).
denotado
simples
de
F.
Observe que pelo item (9a) a extenso
F ()
pode ser denida de maneira absoluta
independente de conhecermos o polinmio mnimo de
10. Observe que a construo

tomar
feita no item (9) pode ser repetida interativamente.
algbrico sobre
E().
e construir
Nesse caso vamos escrever
Mostre que temos um homomorsmo sobrejetivo de

iveis com coecientes em
ciente do anel
F [x, y].
F,
sobre
Isto , se
do Isomorsmo nos diz que
F (, ).
F [x, y],
Logo essa extenso pode ser vista como um quo-
for o ncleo do homomorsmo construdo acima o Teorema
F [x, y]/I ' F (, ).
f (x) F [x]
um polinmio irredutvel e seja
K = F [x]/(f )
o anel quociente pelo ideal
(f ).
(a) Mostre que
a,
1 , . . . , n K
F.
algbricos sobre
principal
E() = F (, ).
anel de polinmios em duas var-
11. Fazer a mesma coisa do item anterior com um nmero nito de elementos
12. Seja
Podemos
: F K,
denida por
(a) = a + (f ) = a =
classe de equivalncia de
um homomorphismo injetivo de anis (como so corpos tem que ser injetivo, ver
Questo (21), pgina 11, Notas II). Logo podemos pensar que
Vamos tambm identicar para cada
a F, a
com
a,
isto , vamos escrever
(b) Usando o algortimo de Euclides mostre que toda classe de
(c) Seja
com
a0 , a1 , . . . , an F
f (x)
e no
pode ser dada por
r(x) +
Utilizando-se os itens (12a) e (12b) anteriores mostre que
pode ser dada na forma

(lembra que
(d) Observe nalmente que

onde
a=a
F.
gr r(x) < gr f (x).
= x + (f ) = x K .
toda classe de
uma extenso de
F,
mais usar a barra sobre os elementos de
(f ) = r(x)
ai = ai ).
raiz de
a0 + a1 + + an1 n1 ,
Conclua disso que
f (x).
onde
polinmio no constante
F [x]
[K : F ] = n.
Dessa forma construmos uma extenso
tem raiz. Com a notao do item (9b) do exerccio (9) temos
(e) Conclua, baseado no fato de que
n = gr f (x)
de
K = F ().
um domnio de fatorao nica, que dado um
h(x) F [x] existe uma extenso L de F
(pelo menos uma).
11
onde
h(x) tem uma raiz
13. Para alguns casos como
p = 2, 3, 5, 7, . . .
f (x) Fp [x],
procure polinmios
sejam irredutveis e use o exerccio anterior para construir extenses
f (x)
onde
ou
que
algbricas sobre
Fp
tem raiz.
14. Teorema da Correspondncia: Sejam

sobre
Fp ()
de grau
dois anis e
um homomorsmo sobrejetivo de
B.
A
(a) Mostre que existe uma correspondncia biunvoca entre o conjunto dos ideais de
contm o ncleo de
e o conjunto de todos os ideais de
que
(use o item (9) da Questo 2
B ).
para levantar os ideais de
(b) Explore essa correspodncia vericando coisas como: ela preserva incluses, preserva intersees, preserva MDC de dois ideais, e assim por diante.
(c) Seja
um ideal de
que contm
N ()
J = (I).
Mostre que
A/I ' B/J .
exerccio (4), pgina 5, da Questo (4) para obter um homomorsmo
(Use o
: B/J A/I
depois verique que um isomorsmo.)
15. Construa homomorsmos tendo
Z[X]
como domnio e
Fp [X]
como contra-domnio. Lembrar o
item (3) da Questo (4).
16. Usando o Teorema da Correspondncia (14) e o ltimo exerccio determine todos os ideais
primos e maximais de
Z[X].
17. Na verdade os homomorsmo so a melhor maneira para determinar quem um anel quociente.
O matemtico J. J. Rotman costumava dizer: deixe que os homomorsmos trabalhem para
voce. Os dois ltimos exerccios, (15) e (16), so melhor atacados por essa tcnica. Vejamos
como fazer isso:
(a) Seja o polinmio irredutvel
Q/(f )?
exemplo.
f (x) = x3 5 Q[x]
Neste exemplo simples tomamos

Denimos
: Q[x] Q()
como
corpo
Q()
Q/(f ) ' Q().
uma raiz de
(h(x)) = h().
homomorsmo sobrejetivo de anis com ncleo

Isomorsmo,
(Eisenstein). Quem o anel quociente
N () = (f ).
f (x); =
5 R,
Vericamos que
por
um
Logo, pelo Teorema do
Observe que como visto no item (9a) do exerccio (9) o
pode ser denido de forma absoluta.
12
(b) Um exemplo mais complexo. Seja

primeiro
: Z[x] F5 [x]
I = 5Z[x]+h(x)Z[x], onde h(x) = x3 +2x1.
Tomamos
denida como
(ao + a1 x + + an xn ) = ao + a1 x + + an xn ,
onde
a = a + 5Z
a classe de restos de
5.
mdulo
Verica-se facilmente que
a projeo cannica denida na pgina 6. Em seguida estendemos
Z[x]/5Z[x] ' F5 [x]
5Z[x]
.)
Vericamos em seguida que
um ideal primo de
Z[x]
um
: Z F5 = Z/5Z
homomorsmo sobrejetivo de anis (Podemos tambm considerar
da Questo (4), para obtermos
como no item (3)
N () = 5Z[x].
Logo
pois o quociente um domnio de
integridade, mas no era isso que estamos procurando (obtemos tambm que
5Z[x]
um
ideal primo pelo exerccio (6) acima. Por outro lado, a construo que estamos fazendo
responde a segunda pergunta desse exerccio (6)).
Vericamos agora que
h(x) = x3 +2x1 F5 [x] irredutvel (no tem razes em F5 ).
no item anterior
F5 [x]/(h) ' F5 (),
algbrico de
Seja
F5 .
(g(x)) = g(),
: F5 [x] F5 ()
para todo
g(x) F5 [x].
Tomemos em seguida a composio
o ideal
I.
um corpo com
para alguma raiz
de
h(x)
escolhida em um fecho
o homomorsmo denido com no item anterior:

Temos que
e vericamos que o ncleo de
um ideal maximal e que
assim determinar todos os ideais de

(d) Considere agora o ideal
Z[x]
que contm
x2 + 1 = (x + 2)(x 2).
2)F5 [x] = (x2 + 1)F5 [x]
f (x) = x2 + 1
Temos que os ideais
redutvel em
(x + 2)F5 [x]
: F5 [x] F5 F5
pondo
(g(x)) = (g(2), g(2)).
g(x) = (x + 2)q(x) + g(2)
e igualmente
N () = (x2 + 1)F5 [x].
F5 [x].
Temos
(x 2)F5 [x]
so
(x + 2)F5 [x] (x +
Vamos agora
Observe que pelo algortimo
g(x) = (x 2)q 0 (x) + g(2).
Portanto
e analogamente podemos interpretar
De qualquer forma podemos vericar diretamente que
anis com
(ou ento verique diretamente essa igualdade).
g(2) = g(x) + (x + 2)F5 [x] F5 [x]/(x + 2)F5 [x]

g(2).
F5 [x]
5Z[x].
primos (conforme exerccio (6)) e tem como Mnimo Mltiplo Comum
de Euclides
os ideais de
J = 5Z[x] + f (x)Z[x], onde f (x) = x2 + 1 e repita o procedimento
acima. Temos porm uma situao diferente:
denir
Z[x]/I ' F5 (),
elementos.
(c) Use o Teorema da Correspondncia (14) para levantar atravs de
agora que
N () = h(x)F5 [x].
sobrejetivo e
: Z[x] F5 ()
Podemos ento concluir que
53
Como
um homomorsmo de
Finalmente, pelo item (b) do exerccio (8) obtemos que
sobrejetiva.
13
Quando tomarmos agora a composio
F5 F5
cujo ncleo
J.
teremos um homomorsmo sobrejetivo sobre
Vamos ento concluir que
no um ideal primo pois, conforme
Z[x]/J ' F5 F5
o Teorema do Isomorsmo, o anel quociente
tem divisores prprios de
zero.
(e) Observe que o polinmio
no irredutvel em
irredutvel em
f (x) = x2 + 1
F5 [x].
F5 [x],
irredutvel em
ento
dois corpos e
an xn E[x]
g(x)
irredutvel em
em
:E F
g(x)
se
Z[x].
p
de
Z.
f (x) = ao + a1 x +
E[x].
F [x].
: E[x] F [x]
(c) Mostre que existe um homomorsmo de anis

so os ideais gerados por
igual a
L,
razes de
g,
: E[x]/(f ) F [x]/(g),
seja igual a
onde
(f )
respectivamente (g(x) do item (18a)) cuja restrio a
respectivamente, extenses de
g,
E() F ()
19. Chama-se
cuja restrio a
.
(g)
E
.
K
(d) Sejam
f (x)
g(x) := (f ) := (ao )+(a1 )x+ (an )xn F [x] um polinmio irredutvel
(b) Construa um homomorsmo de anis
g(x) Z[x],
um homomorsmo de anis. Seja
um polinmio irredutvel em
(a) Mostre que
(Lema de Gauss), mas
Em contraposio, mostre que para todo
Na verdade esse argumento vale para todo irredutvel
18. Sejam
Z[x]
respectivamente.
cuja restrio a
corpo primo
de um corpo
para as quais existem
Mostre que existe um nico homomorsmo de anis
igual a
e leva
em
ao menor subcorpo de
K.
Mostre que o corpo primo de
Q, se c(K) = 0 (caracterstica zero) e Fp , se c(K) = p 6= 0 (caractersitica p).
Concluso:
todo corpo pode ser visto como um espao vetorial sobre seu corpo primo.
Em particular se
c(K) = p
Reciprocamente, se
corpo nito tem
20. Seja
pn
AP
elementos, onde
e chamado de
ento
tem
pn
elementos.
c(K) = p 6= 0
[K : Fp ]
nito. Isto , todo
a caracterstica do corpo.
A.
S = ArP
chamado de
n = [K : Fp ],
um corpo nito, ento
um ideal primo de
(a) Mostre que
localizado
localizao
de
no ideal primo
no ideal primo
14
P.
A.
Nesse caso
S 1 A
denotado por
e o processo de passar de
para
AP
(b) Mostre que
P AP = {as1 | a P, s A r P }
(c) Mostre correspondncia bijetora entre

os ideais de
AP } .
o nico ideal maximal de
todos os ideais de
AP .
contidos em
P}
todos
Comparar com o Teorema da Correspondncia (14). Compare tambm
com o exerccio (7) da Questo (3).

(d) Poderamos fazer localizao com ideais que no fossem primos?
21. Todo anel com um nico ideal maximal chamado de

nico maximal
M,
mostre que todos os ideais de
anel local.
Seja
esto contidos em
M.
um anel local com
Mostre tambm que
D r M = D .
c R
22. Seja
um ponto e
contidos em
o conjunto de todas as funes
tais que existe vizinhana aberta
de
com
com domnio e contradomnio
restrita a
contnua (C o
conjunto de todas as funes a valores reais contnuas numa vizinhana aberta de

que
Seja
c).
Mostre
com a soma e o produto usual de funes um anel.
M = { f C | f (c) = 0 }.
Observe que
Questo 10.
o nico ideal maximal de
no um ideal nitamente gerado de
C.
C.
Vamos agora estudar a relao entre ideais de um anel com os ideais de uma
extenso inteira. Seja

elemento de
Mostre que
um domnio de integridade que uma extenso inteira de um anel
inteiro sobre
A,
(todo
conforme item (i) da segunda denio da pgina 1 das Notas III).
Temos ento que:
1. Todo elemento
bB
com coecientes em
algbrico sobre o corpo de fraes
Escolha
e seja
de
I A
Verique diretamente que
b I , b 6= 0
temos que
I A
um ideal de
f (x) A[x],
f (x) = ao + a1 x + + xn
e tem um polinmio mnimo
um ideal no nulo de
A.
Para ver que existe
A.
a I A
com
polinmio no constante e mnico, tal que
a 6= 0
f (a) = 0.
de menor grau possvel com essa propriedades. Mostre que
0 6= ao I A.
3. Mostre que
de
A.
2. Para todo ideal no nulo
tome
B A = A .
15
Tome
u B A.
f (u1 ) = 0.
Ento
u1 B
Tome o produto
e portanto existe
un1 f (u1 ) = 0
e isole
f (x) = ao + a1 x + + xn A[x]
u1
u1 A.
para obter
tal que
Verique depois
a outra incluso.
4. Seja
Dado
um ideal primo de
u B/I
B.
Ento
uma extenso inteira de
considere o polinmio mnico
polinmio com coecientes em
5.
B/I
um corpo se e somente se
A/(I A)
A
f (x) A[x]
que se anula em
A/(I A).
tal que
f (u) = 0
para obter um
u.
for um corpo.
Estude a demonstrao do Corolrio II da pgina 4 das Notas III, especialmente o terceiro

pargrafo da demonstrao.
6. Um ideal primo
de
ser um ideal maximal de
se e somente se
I A
for maximal.
Use os dois itens anteriores e os exerccio (2) e (4) da Questo (9), pgina 8.
7. Tire como consequncia do item anterior que se todo ideal primo no nulo de
(em
8. Seja
A),
K
ento todo ideal primo no nulo de
uma extenso nita de
tambm maximal (em
o fecho inteiro de
em
(b) Usando o exerccio (4) conclua que para todo ideal primo
(c) Sejam
maximal.
de
temos que
u1 , . . . , u n
Sugesto: se
pZ
tal que
pZ = P Z.
Logo
O/P
tais que
u1 , . . . , un O/P
uma
uma extenso
so linearmente independentes sobre
so linearmente independentes sobre
a1 , . . . , an Q,
Dividindo-se
a1 , . . . , a n
Portanto, se
pZ = P Z,
o anel quociente
O/P ,
Fp .
Q.
no todos nulos, so tais que
a1 u1 + + an un = 0,
to, multiplicando-se pelo denominador comum, podemos assumir que
en-
a1 , . . . , an Z.
pelo MDC deles, podemos assumir que so relativamente primos.

ento existe
isto , considere
1 i n
tal que
[O/P : Fp ] [K : Q]
O/P
um corpo nito.
16
p - ai .
a1 u1 + + an un O/P ,
contradio.
Concluso
O/P
Fp .
u1 , . . . , u n O
Mostre que
Z/(P Z).
Observe que existe um irredutvel

algbrica de
B ).
K.
(a) Conclua do item anterior que todo ideal primo no nulo de
extenso algbrica de
for maximal
Passe agora para

para chegar a uma

Aulas IV mm445 PDF

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Aulas IV mm445 PDF

Încărcat de

Drepturi de autor:

Formate disponibile

Anis comutativos,

Euclideanos, fatoriais, principais e Noetherianos

grau de uma extenso e polinmios irredutveis.

o corpo das funes racionais racionais sobre um corpo

dimenso innita sobre

como acima, temos que

(Observe que 2a consequncia de 2b.)

(c) Mais geralmente, para

trs de corpos. Mostre que:

Por causa disso dizemos que

O que podemos dizer dos

uma extenso nita de

gr f e [K : F ] so relativamente primos, ento f

no pode ter raiz em

(Dica: Teorema II, pgina 5 de Notas III).

dois polinmios irredutveis de

tem uma raiz em

uma extenso algbrica de

8. D um exemplo de que isto no verdadeiro se a extenso

ao menor inteiro positivo

(a) Mostre que se

um corpo com caracterstica zero (c(K)

Mostre que existe um nico homomor-

Logo podemos considerar que todo corpo

Por causa disso, dados dois ideais

Nas questes abaixo teremos

A, dizemos que I | J (I divide J ) se J I .

3. Dados dois ideais

2. Dados dois ideais

Questo 2. Vamos ver agora alguns exerccios bsico sobre ideais.

A um domnio de integridade, ento c(A) vale zero ou um nmero primo.

um anel tal que

para todo inteiro

o mximo divisor comum de

denimos o produto deles como

o conjunto de todas as somas de produtos

4. Dados trs ideais

A, mostre que I(J +U ) = IJ +IU

5. Usando o exerccio anterior mostre para dois ideais

I de A denimos o radical de I como

Por exemplo, para

A = Z e I = pm Z, onde p irredutvel e m > 1 temos que

Esse ideal chamado de

D um exemplo de uma extenso de anis

no corpo e existe ideal

um homomorsmo de anis. Mostre que para cada ideal

Ser que podemos tambm dizer: para cada ideal

11. Mostre que todo ideal

Vamos a seguir fazer uma generalizao da construo do corpo de fraes de um

domnio, como vimos na pgina 6 da Notas II.

se tiver as seguintes pro-

uma parte multiplicativa de

uma relao de equivalncia.

e dena nele a relao:

S 1 A = (A S)/ o conjunto quociente.

(a, s) a classe de equivalncia

(a1 , s1 ) + (a2 , s2 ) = (a1 s2 + a2 s1 , s1 s2 ),

(a1 , s1 ) (a2 , s2 ) = (a1 a2 , s1 s2 ).

Mostre que essas operaes esto bem denidas.

Isto , mostre que as aplicaes de duas

variveis (binrias) que associam a cada par de elementos

((a1 , s1 ), (a2 , s2 )) a soma e o produto

tem inverso multiplicativo.

dimenso innita sobre

uma extenso nita de

denimos o produto deles como

I de A denimos o radical de I como

um homomorsmo de anis. Mostre que para cada ideal

Ser que podemos tambm dizer: para cada ideal

e dena nele a relao:

Mostre que essas operaes esto bem denidas.

Logo podemos identicar

outro anel para o qual existe um homomorsmo

homomorsmo injetivo (de anis)

ento exite, e nico, homomorsmo

Questo 4. Vejamos agora alguns exerccios sobre homomorsmos de anel.

um homomorsmo de um anel. Demonstre que a imagem de

dois homomorsmos de um anis. Demonstre que

dois homomorsmos que tem um anel

contra-domnios. Mostre que existe um homomorsmo

(A denio de homomorsmo de anel e

denimos que dois inteiros

(reexiva, simtrica e transitiva) e preserva operaes, isto :

operaes denidas por

Podemos vericar que

Denio. Sejam A um anel, I um ideal de A, e a, b A.

Verique que a classe de equivalncia de um elemento

como na denio anterior chamamos de

um anel, com podemos vericar facilmente. igualmente imediato que a correspondncia

(a) = a uma funo e um homomorsmo sobrejetivo de anis cujo ncleo

um homomorsmo de anel. Tomemos o anel quociente

e tambm a Questo (19), pgina 10 das Notas II). Denido-se

uma funo, um homomorsmo e injetivo, e

de um homomorsmo sobrejetivo com um homomorsmo injetivo.

Denio. Dizemos que um homomorsmo de anel : A B

homomorsmo de anel (portanto um isomorsmo).