Questo 1.
Vamos iniciar recordando, com alguns exerccios, fatos sobre extenses de corpos,
1. Seja
K = F (x)
F.
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 ]
extenses de corpos e
F [x].
[ : K]
[ : F ]
K = F,
ou
K = .
so relativamente primos,
polinmios minimais de
4. Sejam
(Em contraposio, se
so extenses de corpos e
3. Sejam
F (x)
Mostre que
F K
[K : F ] = .
dizemos que
(a) Se
F.
e sobre
[K : F ]
algbrico sobre
F.
divide
[K : F ]
[ : F ].
F?
F.
Seja
f (x) F [x]
um polinmio
5. Sejam
que
f (x)
g(x)
gr f (x) = n.
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)
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
A um subanel
de
que contm
F,
ento
corpo.
F K
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
c(A)
tal que
c(A)
z
}|
{
c(A)1 = 1 + 1 + + 1 = 0,
caso exista. Quando
(b) Seja
11. Seja
n1 6= 0
positivo, denimos
c(A) = n 6= 0.
Mostre que
An = { an | a A}
de
em
Logo
smo no nulo de
extenso de
em
K.
(x) = xn
= 0).
1. Dados
se
so anis e
com
c(K) = 0
aA bA
se e somente se
de
A,
mostre que
I J
de
b | a.
Mais ainda,
aA = bA,
se e somente
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
1,
uma
A.
uma extenso de
mostre que
Q.
a, b A,
a b.
um homomorsmo de anel
A.
um subanel de
c(A) = 0.
A.
e para todo
de
I +J
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
Mostre que
IJ
um ideal de
e que
IJ I J .
I, J
de
6. Dado um ideal
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
um ideal de
7. Dado um ideal
(observe que
B,
J = IB = {
B.
Pn
t=1
at bt | n 1,
mostre que
J A
um ideal de
AB
onde
e para todo
extenso
de
i, ai I, bi B }.
B.
A.
de
tal
J A = { 0 }.
9. Mostre que um domnio que s tem dois ideais distintos um corpo.
10. Seja
:AB
ideal de
A.
Observe que
1 (J)
contm o ncleo de
Questo 3.
de
um
de
B , 1 (J)
um
de
A, (I)
um ideal de
B ?
A-mdulo.
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
(a, s) (b, r)
se e somente se
(a, s) A S ,
S 1 A
0 6 S .
do elemento
parte multiplicativa
determine
(0, 1)
Denotando-se por
(1, 1).
as seguintes operaes:
so funes.
S 1 A com essas operaes um anel onde todo elemento da forma (a, s) com a S
4. Mostre que
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,
anel de fraes
de
A.
j estudado anteriormente.
podemos estender
S 1 A
IS 1 A = { a/b | a, b A, b S
a I }.
que a cada
(a, 1)
6. Se
em
de
{I
ideal de
I 7 IS 1 A
J 7 J A
so bijetivas, e
8. Considere o caso
A = Z.
pZ
seja
Observao.
A
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
: A S 1 A
tal que
(s)
:AB
s S,
S = { n Z | p - n }.
S 1 Z = { a/b Q | p - b }.
S 1 Z = Z(p)
todo
isto ,
S = Z r p1 pm .
(c) Estude
contendo
S = Z r pZ,
: S 1 A B
tal que
(s)
Se
for
= .
s S.
1. Seja
:AB
um subanel de
B.
:AB
Im()
= (A)
Neste caso melhor dizemos subanel pois queremos mostrar que Im()
B.
2. Sejam
:BC
: 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
de
de quantas
maneiras?
4. Sejam
de
em
tal que
como
se e
tambm de ncleo esto na pgina 10 das Notas II. Na Questo 19 verica-se que o ncleo de
um homomorsmo um ideal.)
mdulo n
(notao:
a b (mod n)),
n Z
se
n | (a b).
a, b Z
so
congruentes
se
a b (mod n)
c d (mod n),
ento
a + c b + d (mod n)
Zn = { 0, 1, . . . , n 1 }.
diviso de
por
o conjunto
Zn
{ 0, 1, . . . , n 1 }.
mZ
ac bd (mod n).
denimos
m=r
caso
seja o resto da
n.
Do fato das operaes serem preservadas pela relao de equivalncia (as equaes
obtemos em
Zn
()
a+b=a+b
a b = ab.
()
acima)
Zn
anel
quociente.
Vamos agora estender esse processo a um ideal qualquer de um anel.
Denimos
a b (mod I) se e somente
a b I.
Observe que a relao
Como
Z um domnio de ideais
principais as congruncias mdulo ideais so a mesma coisa que as congruncias mdulo elementos.
Para um anel
gerais.
Questo 5.
isto ,
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
0 + nZ,
1 + nZ, . . . , (n 1) + nZ.
Denio.
Para
anel quociente
de
por
ao
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,
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
Igualmente a correspondncia
o elemento
a+b
uma funo.
(a, b)
o elemento
(a, b)
ab
tambm uma funo. Essas funes binrias (em duas variveis) denem duas operaes que tornam
A/I
: A A/I
dada por
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
como
= .
N ()
(a) = (a)
A/N (),
onde
N ()
obtemos que
Vemos assim que todo homomorsmo de anel pode ser decomposto na composio
N () = N ()
N () = { 0 }
= Im().
um
isomorsmo
entre
A/I
Questo (4)).
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
Denio.
a 6= 0
e existe
Dado um anel
b A, b 6= 0
A,
tal que
ab = 0.
aA
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
C = AB
Encontre divisores
C.
Isto ,
Zn = Z/nZ.
Zn
tem caracterstica
Se
no irredutvel, ento
a r = 0,
com
r 2.
Zn
a 6= 0
de forma a temos
a 2 = 0.
Encontre as unidades de
Zn .
a 6= 0
nilpotentes.
Z
n = {r | 1 r n 1
n }.
ou melhor a
ordem
de
Z
n
igual a
(n) =
primos com
(b) Se
Z
n,
indicador de Euler
1r<n
que que so
n.
irredutvel
Z
n = Zn r { 0 }
Zn
um corpo.
Fp ,
de
Z.
que
J =I
ou
primo
um ideal de
se dados
a, b A
A.
tais que
ab I ,
ento
aI
ou
b I.
tambm um ideal de
A, resultar
J = A.
A/I
de um anel
primo se e somente se
A/I
for um domnio de
de um anel
a A, a
/I
8
temos o ideal
I + aA).
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
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
(c) Sejam
de
A.
um anel e
(a) Se
J P,
I1 In P ,
J P.
P |I
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.
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
A.
: A (A/I) (A/J)
I J
denida por
(a) = (a + I, a + J)
um
como descrito na
pgina 7.
(b)
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.
Portanto
I + J = A,
Observe que
existem
b1 I
De fato, seja
b2 J
tais que
c a1 = a1 (b2 1) + a2 b1 I
I J = IJ .
Podemos
so
I + J = A,
ou MDC de
IJ I J .
I J = IJ .
A),
2.
(d) O resultado acima pode ser generalizado para uma famlia nita de ideais de
I1 , . . . , In
ideais de
que dados
A,
a1 , a2 , . . . , an A
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
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 .
1 = ut + v t .
v In .
Logo
Logo
usar o caso
Assumindo-se que
1tn1
existem
ut It
I1 I2 In1
vt In
1 = u + v I1 I2 In1 + In
n=2
e assim
para algum
I1 I2 In1 + In = A.
tais que
Agora s
ideais.
I1 It1 It+1 In + It = A,
Para obter o
cA
tal que
t = 1, . . . , n.
para todo
c at (modIt )
bt I1 It1
c = a1 b 1 + an b n
e vericamos que
c at It ,
para todo
Tomamos
t = 1, . . . , n.
(Esse
sobre
9. Seja
F.
Seja
uma extenso de
o menor subcorpo de
E=
: F [x] K
E = F (),
algbrico sobre
que contm
f (x)
simultaneamente.
por
F, K
dada por
(g(x)) = g().
e cujo ncleo
o polinmio minimal de
contendo
Mostre que
(f ) = f (x)F [x],
F { }.
um homomorsmo de
F [X]/(f ).
Esse corpo
10
f (x).
denotado
simples
de
F.
F ()
algbrico sobre
E().
e construir
F [x, y].
F,
sobre
Isto , se
F (, ).
F [x, y],
f (x) F [x]
K = F [x]/(f )
(f ).
a,
1 , . . . , n K
F.
algbricos sobre
principal
E() = F (, ).
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,
(c) Seja
com
a0 , a1 , . . . , an F
f (x)
e no
r(x) +
a=a
F.
= x + (f ) = x K .
toda classe de
uma extenso de
F,
(f ) = r(x)
ai = ai ).
raiz de
a0 + a1 + + an1 n1 ,
f (x).
onde
polinmio no constante
F [x]
[K : F ] = n.
n = gr f (x)
de
K = F ().
11
onde
p = 2, 3, 5, 7, . . .
f (x) Fp [x],
procure polinmios
f (x)
onde
ou
que
algbricas sobre
Fp
tem raiz.
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
que
B ).
(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
(Use o
: B/J A/I
Z[X]
como domnio e
Fp [X]
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:
Q/(f )?
exemplo.
f (x) = x3 5 Q[x]
: Q[x] Q()
como
corpo
Q()
uma raiz de
(h(x)) = h().
N () = (f ).
f (x); =
5 R,
Vericamos que
por
um
12
: Z[x] F5 [x]
Tomamos
denida como
(ao + a1 x + + an xn ) = ao + a1 x + + an xn ,
onde
a = a + 5Z
a classe de restos de
5.
mdulo
5Z[x]
.)
um ideal primo de
Z[x]
um
: Z F5 = Z/5Z
N () = 5Z[x].
Logo
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
no item anterior
algbrico de
Seja
F5 .
(g(x)) = g(),
: F5 [x] F5 ()
para todo
g(x) F5 [x].
o ideal
I.
um corpo com
de
h(x)
escolhida em um fecho
Z[x]
que contm
x2 + 1 = (x + 2)(x 2).
f (x) = x2 + 1
redutvel em
(x + 2)F5 [x]
: F5 [x] F5 F5
pondo
e igualmente
F5 [x].
Temos
(x 2)F5 [x]
so
(x + 2)F5 [x] (x +
Vamos agora
Portanto
anis com
F5 [x]
5Z[x].
de Euclides
os ideais de
denir
elementos.
agora que
N () = h(x)F5 [x].
sobrejetivo e
: Z[x] F5 ()
53
Como
um homomorsmo de
sobrejetiva.
13
F5 F5
cujo ncleo
J.
Z[x]/J ' F5 F5
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]
L,
razes de
g,
: E[x]/(f ) F [x]/(g),
seja igual a
onde
(f )
respectivamente, extenses de
g,
E() F ()
19. Chama-se
cuja restrio a
.
(g)
E
.
K
(d) Sejam
f (x)
g(x) Z[x],
um polinmio irredutvel em
18. Sejam
Z[x]
respectivamente.
cuja restrio a
corpo primo
de um corpo
igual a
e leva
em
ao menor subcorpo de
K.
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 ]
a caracterstica do corpo.
A.
S = ArP
chamado de
n = [K : Fp ],
um ideal primo de
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
P AP = {as1 | a P, s A r P }
AP } .
todos os ideais de
AP .
contidos em
P}
todos
M,
anel local.
Seja
esto contidos em
M.
D r M = D .
c R
22. Seja
um ponto e
contidos em
de
com
restrita a
contnua (C o
c).
Mostre
M = { f C | f (c) = 0 }.
Observe que
Questo 10.
C.
C.
Vamos agora estudar a relao entre ideais de um anel com os ideais de uma
Mostre que
inteiro sobre
A,
(todo
1. Todo elemento
bB
com coecientes em
Escolha
e seja
de
I A
b I , b 6= 0
temos que
I A
um ideal de
f (x) A[x],
f (x) = ao + a1 x + + xn
um ideal no nulo de
A.
A.
a I A
com
a 6= 0
f (a) = 0.
0 6= ao I A.
3. Mostre que
de
A.
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
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.
6. Um ideal primo
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
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
a1 , . . . , an Q,
Dividindo-se
a1 , . . . , a n
Portanto, se
pZ = P Z,
o anel quociente
O/P ,
Fp .
Q.
a1 u1 + + an un = 0,
en-
a1 , . . . , an Z.
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).
B ).
K.
extenso algbrica de
for maximal