Beruflich Dokumente
Kultur Dokumente
Acadmica
conceitos bsicos sobre conjuntos e operaes com conjuntos, seguida do tema das relaes,
relaes de ordem e relaes de equivalncia, que so necessrios para o desenvolvimento
Cultura
das estruturas algbricas abordadas nos captulos seguintes: grupos, anis e corpos. O volu-
me trata tambm de polinmios e de extenses de corpos. Estes temas so essenciais para a
parte final, que discute os trs problemas clssicos da antiguidade. Desenvolve discusses
sobre as construes geomtricas apenas com rgua e compasso e, na sequncia, sobre
a resoluo de equaes por meio de radicais.
ESTRUTURAS ALGBRICAS
ESTRUTURAS ALGBRICAS
Hrcules de Araujo Feitosa graduado em Matemtica pela Fundao Educacional de
Bauru (1984), obteve o mestrado em Fundamentos da Matemtica pela Unesp/IGCE/Rio
Claro (1992) e o doutorado em Lgica e Filosofia da Cincia pela Universidade Estadual
de Campinas/Unicamp/IFCH (1998). Atualmente professor doutor do Departamento de
Matemtica da Faculdade de Cincias da Unesp, Cmpus de Bauru. professor do Pro-
grama de Ps-Graduao em Filosofia da Unesp/FFC/Marlia. Tem grande experincia
no ensino de Lgica e Fundamentos da Matemtica. Suas investigaes cientficas esto
voltadas para lgica, tradues entre lgicas, modelos algbricos, quantificadores e lgicas
no clssicas.
ESTRUTURAS ALGBRICAS
So Paulo
2013
N244e
Nascimento, Mauri Cunha do
Estruturas Algbricas / Mauri Cunha do Nascimento [e] Hrcules de Araujo
Feitosa. So Paulo : Cultura Acadmica : Universidade Estadual Paulista,
Pr-Reitoria de Graduao, 2013.
172 p.
Bibliografia
ISBN 978-85-7983-418-9
CDD 512
equipe
Sumrio
INTRODUO 11
1 PRELIMINARES 15
1.1 Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.2 Operaes com conjuntos . . . . . . . . . . . . . . . . . . 17
1.3 Relaes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.4 Relao de equivalncia . . . . . . . . . . . . . . . . . . . 20
1.5 Funes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.6 Operaes . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.7 Propriedades das operaes . . . . . . . . . . . . . . . . . 23
1.8 Os inteiros . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2 GRUPOS 35
2.1 Definies e exemplos . . . . . . . . . . . . . . . . . . . . 36
2.2 Propriedades dos grupos . . . . . . . . . . . . . . . . . . . 41
2.3 Produto de grupos . . . . . . . . . . . . . . . . . . . . . . 42
2.4 Grupos de permutaes . . . . . . . . . . . . . . . . . . . 43
2.5 Grupos de simetria . . . . . . . . . . . . . . . . . . . . . . 45
2.6 Grupos cclicos . . . . . . . . . . . . . . . . . . . . . . . . 47
2.7 Subgrupos . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
2.8 Classes laterais . . . . . . . . . . . . . . . . . . . . . . . . 52
2.9 Subgrupos normais . . . . . . . . . . . . . . . . . . . . . . 57
2.10 Grupo quociente . . . . . . . . . . . . . . . . . . . . . . . 59
2.11 Homomorfismo de grupos . . . . . . . . . . . . . . . . . . 63
2.12 Grupos solveis . . . . . . . . . . . . . . . . . . . . . . . . 68
i i
i i
i i
8 ESTRUTURAS ALGBRICAS |
3 ANIS 73
3.1 Definies e exemplos . . . . . . . . . . . . . . . . . . . . 74
3.2 Os anis Zn . . . . . . . . . . . . . . . . . . . . . . . . . . 79
3.3 Propriedades dos anis . . . . . . . . . . . . . . . . . . . . 81
3.4 Subanis . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
3.5 Ideais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
3.6 Homomorfismo de anis . . . . . . . . . . . . . . . . . . . 89
3.7 Anel quociente . . . . . . . . . . . . . . . . . . . . . . . . 92
3.8 O teorema do isomorfismo . . . . . . . . . . . . . . . . . 94
3.9 Caracterstica de um anel . . . . . . . . . . . . . . . . . . 98
3.10 O corpo de fraes de um domnio de integridade . . . . . 100
3.11 Sobre um corpo ordenado e completo . . . . . . . . . . . 102
4 POLINMIOS 111
4.1 Anel de polinmios . . . . . . . . . . . . . . . . . . . . . . 111
4.2 Ideais principais e mximo divisor comum . . . . . . . . . 117
4.3 Polinmios irredutveis . . . . . . . . . . . . . . . . . . . 121
4.4 Fatorao em polinmios irredutveis . . . . . . . . . . . 123
4.5 Polinmios sobre os inteiros . . . . . . . . . . . . . . . . 126
5 CORPOS 131
5.1 Extenses algbricas . . . . . . . . . . . . . . . . . . . . . 132
5.2 Imerso . . . . . . . . . . . . . . . . . . . . . . . . . . . . 140
5.3 Extenses de Galois . . . . . . . . . . . . . . . . . . . . . 144
5.4 Elementos da Teoria de Galois . . . . . . . . . . . . . . . 148
5.5 Construes com rgua e compasso . . . . . . . . . . . . . 155
5.6 Resoluo de equaes com radicais . . . . . . . . . . . . 162
5.7 Polinmios Solveis . . . . . . . . . . . . . . . . . . . . . 164
BIBLIOGRAFIA 169
i i
i i
i i
NOTAES
i i
i i
i i
10 ESTRUTURAS ALGBRICAS |
i i
i i
i i
Introduo
i i
i i
i i
12 ESTRUTURAS ALGBRICAS |
i i
i i
i i
| INTRODUO 13
i i
i i
i i
i i
i i
i i
Captulo 1
Preliminares
1.1 Conjuntos
i i
i i
i i
16 ESTRUTURAS ALGBRICAS |
i i
i i
i i
| PRELIMINARES 17
i i
i i
i i
18 ESTRUTURAS ALGBRICAS |
Exerccios
1. Verificar a validade das propriedades das operaes com conjuntos.
i i
i i
i i
| PRELIMINARES 19
1.3 Relaes
i i
i i
i i
20 ESTRUTURAS ALGBRICAS |
aRc;
(iv) anti-simtrica quando, para todos a, b A, se aRb e bRa, ento
a = b.
(v) linear quando, para todos a, b A, ocorre aRb ou bRa.
Exerccios
1. Justificar a ordem da incluso de conjuntos acima e mostrar porque
ela no total.
i i
i i
i i
| PRELIMINARES 21
Exemplo 1.5. Se A = {1, 2, 3} e R = {(1, 1), (2, 2), (3, 3), (1, 2), (2, 1)},
ento R uma relao de equivalncia e as suas classes de equivalncia
so dadas por: [1] = {1, 2}, [2] = {1, 2} e [3] = {3}.
Teorema 1.1. Seja R uma relao de equivalncia em um conjunto A.
Ento:
(i) duas classes de equivalncia de R so iguais ou disjuntas e
(ii) o conjunto A a unio de todas as classes de equivalncia.
Demonstrao: (i) Sejam [a] e [b] duas classes. Se [a] e [b] so disjuntas,
nada h para verificar. Agora, se [a] [b] = , ento deve ser o caso que
[a] = [b]. Se [a] [b] = , ento existe c [a] [b] e, da, cRa e cRb.
Portanto, aRc, cRb e, assim, aRb. Se d [a], ento dRa, e como aRb,
ento dRb, ou seja, d [b], o que mostra que [a] [b]. De modo anlogo,
verifica-se que [b] [a]. Portanto, [a] = [b].
(ii) Como [a] A, ento {[a] : a A} A. Por outro lado,
A {[a] : a A}. Portando, A = {[a] : a A}.
Se R uma relao de equivalncia sobre o conjunto A, ento o con-
junto quociente de A pela relao R o conjunto das classes de equi-
valncia de R, isto , A/R = {[a] : a A} = {B P(A) : B =
[a], para algum a A}.
Exemplo 1.6. No exemplo anterior, A/R = {[1], [3]}.
1.5 Funes
i i
i i
i i
22 ESTRUTURAS ALGBRICAS |
1.6 Operaes
i i
i i
i i
| PRELIMINARES 23
i i
i i
i i
24 ESTRUTURAS ALGBRICAS |
i i
i i
i i
| PRELIMINARES 25
Exerccios
1. Verificar que:
(a) A composio de funes de R em R associativa.
(b) A potenciao em N no associativa, nem comutativa.
(c) A diviso em R no associativa, nem comutativa.
2. Mostrar que se uma operao admite elemento neutro, ento ele
nico.
3. Indicar os elementos neutros para a adio e para a multiplicao de
matrizes reais de ordem 2 isto , matrizes de ordem 2 2.
4. Seja uma operao associativa e com elemento neutro. Mostrar que
se x tem um simtrico segundo , ento ele nico.
5. Seja uma operao com elemento neutro. Mostrar que:
(a) se x simetrizvel, ento o seu simtrico x tambm simetrizvel
e (x ) = x;
(b) se associativa e x, y A so simetrizveis, ento (x y) sime-
trizvel e (x y) = y x .
6. Seja uma operao com elemento neutro num conjunto A. Mostrar
que A tem pelo menos um elemento simetrizvel.
7. Mostrar que para a adio em Z vale a lei do cancelamento.
8. Seja uma operao associativa e com elemento neutro. Mostrar que
se x simetrizvel, ento podemos cancelar x, isto , podemos mostrar
que a x = b x a = b.
i i
i i
i i
26 ESTRUTURAS ALGBRICAS |
1.8 Os inteiros
i i
i i
i i
| PRELIMINARES 27
i i
i i
i i
28 ESTRUTURAS ALGBRICAS |
i i
i i
i i
| PRELIMINARES 29
mdc(a1 , a2 , ..., an ) = 1.
i i
i i
i i
30 ESTRUTURAS ALGBRICAS |
As congruncias de mdulo n
As congruncias mdulo n, alm de exemplos de relaes de
equivalncia, tm muitas aplicaes algbricas e so importantes
instrumentos para exemplos e contra-exemplos de propriedades
algbricas.
i i
i i
i i
| PRELIMINARES 31
Operaes aritmticas em Zn
As operaes de adio e multiplicao em Zn so definidas do
modo seguinte.
Para a, b Zn , definimos:
a + b = a + b e a.b = a.b
a + b = c e a.b = d,
i i
i i
i i
32 ESTRUTURAS ALGBRICAS |
i i
i i
i i
| PRELIMINARES 33
+ 0 1 2 3 0 1 2 3
0 0 1 2 3 0 0 0 0 0
1 1 2 3 0 1 0 1 2 3
2 2 3 0 1 2 0 2 0 2
3 3 0 1 2 3 0 3 2 1
Exerccios
1. Completar a demonstrao da Proposio 1.2.
2. Provar as demais propriedades das operaes em Zn da Proposi-
o 1.3.
i i
i i
i i
i i
i i
i i
Captulo 2
Grupos
i i
i i
i i
36 ESTRUTURAS ALGBRICAS |
i i
i i
i i
| GRUPOS 37
i i
i i
i i
38 ESTRUTURAS ALGBRICAS |
i i
i i
i i
| GRUPOS 39
Exemplo 2.12. Seja GL2 (R), o conjunto das matrizes reais inversveis de
ordem 2, isto , A GL2 (R) se, e somente se, det(A) = 0. Das proprie-
dades de multiplicao de matrizes, vemos que (GL2 (R), , I2 ) um grupo
multiplicativo. Mas este no um grupo abeliano, pois:
( )( ) ( ) ( )( ) ( )
1 1 1 0 2 1 1 0 1 1 1 1
= e = .
0 1 1 1 1 1 1 1 0 1 1 2
i i
i i
i i
40 ESTRUTURAS ALGBRICAS |
Exerccios
1. Verificar se (M2 (R) , , I2 ) um grupo multiplicativo, em que M2 (R)
o conjunto das matrizes reais de ordem 2 sem a matriz nula, a mul-
tiplicao de matrizes e I2 a matriz identidade de ordem 2.
2. Verificar que (R {1}, , 0), definida por a b = a + b ab um
grupo.
3. Dar dois exemplos de monides que no so semigrupos.
4. Dar dois exemplos de semigrupos que no so grupos.
5. Seja (G, , e) um semigrupo. Mostrar que (G, , e) um grupo se, e
somente se, para todos a, b G, as equaes a x = b e y a = b tm
soluo em G.
6. Mostrar que Z[ 2] = {a + b 2 : a, b Z} determina um grupo abeli-
ano com a operao de adio.
ab
7. Verificar se R um grupo com a operao a b = .
2
8. Verificar se R um grupo com a operao nos casos abaixo:
(a) a b = a2 + b2 ;
(b) a b = a + b 3.
9. Verificar se G = {z C : |z| = 1} determina um grupo abeliano com
a operao de multiplicao de nmeros complexos.
10. Verificar se G = {x R : |x| 1} determina um grupo abeliano
com a operao de multiplicao de nmeros reais.
i i
i i
i i
| GRUPOS 41
i i
i i
i i
42 ESTRUTURAS ALGBRICAS |
Exerccios
1. Mostrar que (a1 a2 ... an ) = an an1 ... a1 , para todo n N .
Exemplo 2.15. Temos que (Z GL2 (R), . , (1, I2 )) um grupo com a ope-
rao (a, A) (b, B) = (a + b, AB), em que na primeira coordenada temos
adio de inteiros e na segunda o produto de matrizes.
i i
i i
i i
| GRUPOS 43
Exemplo 2.16. Temos que (Z2 Z2 , , (1, 1)) um grupo abeliano com 4
elementos: {(0, 0), (0, 1), (1, 0), (1, 1)}.
Exerccios
1. Mostrar a validade das afirmaes acima sobre o grupo (G
H, , (eG , eH )).
i i
i i
i i
44 ESTRUTURAS ALGBRICAS |
Exerccios
1. Encontrar o inverso para cada elemento de S3 .
2. Quais so os elementos de S4 ?
3. Encontrar elementos a e b de S4 tais que ab = ba.
4. Encontrar a, b S3 tais que (ab)2 = a2 b2 .
i i
i i
i i
| GRUPOS 45
(ABCD) = DABC
2 (ABCD) = CDAB
3 (ABCD) = BCDA
4 (ABCD) = ABCD
(ABCD) = ADCB
i i
i i
i i
46 ESTRUTURAS ALGBRICAS |
2 (ABCD) = ABCD
(ABCD) = (ADCB) = BADC
2 (ABCD) = 2 (ADCB) = CBAD
3 (ABCD) = 3 (ADCB) = DCBA
D = {e, , 2 , 3 , , , 2 , 3 }
e 2 3 2 3
e e 2 3 2 3
2 3 e 2 3
2 2 3 e 2 3
3 3 e 2 3 2
3 2 e 3 2
3 2 e 3 2
2 2 3 2 e 3
3 3 2 3 2 e
Diante disso, podemos tomar
D = { j i : 0 i 1, 0 j 3, 2 = 4 = e, = 3 , = e, j =
e para j = 1, 2, 3}
O exemplo acima pode ser estendido assim:
i i
i i
i i
| GRUPOS 47
i i
i i
i i
48 ESTRUTURAS ALGBRICAS |
Exemplo 2.22. O grupo S3 no cclico pois (1, 2)2 = (1, 3)2 = (2, 3)2 =
e e (1, 2, 3)3 = (1, 3, 2)3 = e. Logo, nenhum elemento gera S3 .
Exerccios
1. Justificar os exemplos 2.20 e 2.21.
2. Sejam a, b Z e a operao definida por a b = a + b + 1. Verificar
se Z com essa operao:
(a) um grupo ;
(b) um grupo abeliano;
(c) um grupo cclico.
3. Verificar se o grupo Z2 Z2 um grupo cclico.
4. Verificar se o grupo Z2 Z3 um grupo cclico.
5. Quais elementos de Z5 geram Z5 ?
6. Seja (G, , e) um grupo abeliano. Mostrar que se a, b G e m Z,
ento (ab)m = am bm .
7. Seja (G, , e) um grupo tal que a2 = e, para todo a G. Mostrar que
este grupo abeliano.
i i
i i
i i
| GRUPOS 49
2.7 Subgrupos
i i
i i
i i
50 ESTRUTURAS ALGBRICAS |
Exemplo 2.29. Se G = S3 = {e, (1, 2), (1, 3), (2, 3), (1, 2, 3), (1, 3, 2)},
podemos verificar que:
{e, (1, 2)} < S3 e {e, (1, 2, 3), (1, 3, 2)} < S3 .
i i
i i
i i
| GRUPOS 51
Exerccios
1. Justificar o exemplo 2.28.
2. Dar uma demonstrao do Corolrio 2.2.
3. Mostrar que S o menor subgrupo de G que contm S.
4. Mostrar que H = {2n : n Z} um subgrupo de R .
5. Mostrar que H = {x R : {(
) subgrupo}de R .
0 < x} um
a 0
6. Para G = M22 (R) e H = : a, b R , mostrar que H <
b 0
G.
7. Para G = Z Z e H = {(2a, 3b) : a, b Z}, mostrar que H < G.
8. Determinar todos os subgrupos de Z2 Z3 .
9. Quais dos seguintes subconjuntos so subgrupos cclicos de Z12 ?
(a) {0, 2, 4, 6, 8, 10} (b) {0, 6} (c) {0, 2, 3, 5, 8}
(d) {1, 3, 5, 7, 9, 11} (e) {0, 4, 8} (f) {0, 3, 6, 9}.
10. Determinar os seguintes subgrupos de Z8 .
(a) 2 (b) 5 (c) 4 (d) 2, 3 .
11. Verificar se o conjunto I dos nmeros mpares um subgrupo do
grupo (Z, ), para a b = a + b + 1.
12. Para o grupo de permutaes S4 :
(a) Determinar (1, 2, 3)
(b) Determinar (1, 2, 3, 4)
(c) Se H = {e, (1, 2)(3, 4), (1, 3)(2, 4), (1, 4)(2, 3)}, verificar se H um
subgrupo de S4 e se H abeliano.
13. Mostrar que todo subgrupo de um grupo abeliano tambm um
grupo abeliano.
14. Mostrar que todo subgrupo de um grupo cclico um grupo cclico.
i i
i i
i i
52 ESTRUTURAS ALGBRICAS |
i i
i i
i i
| GRUPOS 53
Observar que:
(CL1 ) a Ha, pois a = ea e e H;
(CL2 ) Ha = Hb a Hb, pois duas classes de equivalncia ou
coincidem ou so disjuntas;
(CL3 ) Ha = Hb ab H (verificar);
(CL4 ) Ha = H a H, pois H = He e por (b),
Ha = He a He = H.
i i
i i
i i
54 ESTRUTURAS ALGBRICAS |
i i
i i
i i
| GRUPOS 55
i i
i i
i i
56 ESTRUTURAS ALGBRICAS |
i i
i i
i i
| GRUPOS 57
Exerccios
1. Encontrar G/H para:
(a) G = S3 e H = {e, (1, 2, 3), (1, 3, 2)}
(b) G = Z10 e H = {0, 2, 4, 6, 8}
(c) G = Z10 e H = {0, 5}
(d) G = Z e H = 3Z.
2. Para H < G e a G, definimos aH = {ah : h H} e aHa = {aha :
h H}. Mostrar que:
(a) aH = Ha aHa = H
(b) aHa = H aH = Ha
(c) aG = G.
3. Em Z12 , encontrar as ordens dos seguintes elementos:
(a) 2 (b) 3 (c) 4 (d) 5 (e) 6.
4. Em S5 , encontrar as ordens dos seguintes elementos:
(a) (1, 2, 4, 3) (b) (1, 3, 2) (c) (1, 2)(3, 4) (d) (1, 3) (e) (1, 3)(2, 4, 5).
i i
i i
i i
58 ESTRUTURAS ALGBRICAS |
Exemplo 2.39. Seja H = {e, (1, 2, 3), (1, 3, 2)} < S3 . Como |H| = 3 e
|S3 | = 6, temos ento 2 classes laterais direita:
He = H = {e, (1, 2, 3), (1, 3, 2)} = H(1, 2, 3) = H(1, 3, 2);
H(1, 2) = {(1, 2), (1, 3), (2, 3)} = H(1, 3) = H(2, 3).
De modo semelhante, temos 2 classes esquerda:
eH = H = {e, (1, 2, 3), (1, 3, 2)} = (1, 2, 3)H = (1, 3, 2)H;
(1, 2)H = {(1, 2), (1, 3), (2, 3)} = (1, 3)H = (2, 3)H.
Neste caso, Ha = aH, para todo a S3 , mesmo diante do fato de S3
no ser abeliano.
i i
i i
i i
| GRUPOS 59
Exemplo 2.43. Seja H = {e, (1, 2, 3), (1, 3, 2)} < S3 . J vimos que para
todo a S3 , aH = Ha. Logo H S3 .
Exemplo 2.45. Seja H = {e, (1, 2, 3), (1, 3, 2)} < S3 . Temos que
H(1, 2) = (1, 2)H = {(1, 2), (1, 3), (2, 3)}, (1, 2, 3)(1, 2) = (1, 3) =
(2, 3) = (1, 2)(1, 2, 3), mas (1, 2, 3)(1, 2) = (1, 3) = (1, 2)(1, 3, 2).
Exerccios
1. Sejam G um grupo, H e K subgrupos de G e HK = {hk : h H e k
K}. Mostrar a validade de:
(a) HK um subgrupo de G se, e somente se, HK = KH.
(b) se G abeliano, ento HK < G.
(c) se H G ou K G, ento HK < G.
(d) se H G e K G, ento HK G.
(e) se H G e K G, ento H K G.
(f) se K G, ento H K H.
(g) se H G, K G e H K = {e}, ento hk = kh, para quaisquer
h H, k K.
2. Z(G) G, em que Z(G) = {g G : ga = ag, para todo a G}.
3. Se (G : H) = 2, ento H G.
i i
i i
i i
60 ESTRUTURAS ALGBRICAS |
i i
i i
i i
| GRUPOS 61
i i
i i
i i
62 ESTRUTURAS ALGBRICAS |
Exerccios
1. Mostrar que se G um grupo abeliano e H < G, ento G/H um
grupo abeliano.
2. Mostrar que se G um grupo cclico e H < G, ento G/H um grupo
cclico.
3. Mostrar que se G um grupo finito e N um subgrupo normal de G,
ento |G/N | = |G|/|N |.
4. Seja G um grupo que no possui subgrupos alm dos triviais {e} e G.
Mostrar que G cclico de ordem prima.
5. Sejam G um grupo e a G um elemento de ordem n. Mostrar que se
m um inteiro e am = e, ento n divide m.
6. Sejam G um grupo, a G, a = e e p um nmero primo tal que ap = e.
Mostrar que a tem ordem p.
7. Sejam G um grupo e a, b G. Dizemos que b um conjugado de a
em G se existe c G de maneira que b = c1 ac, o qual denotamos por
a v b. Mostrar que:
(a) a relao de conjugao uma relao de equivalncia.
(b) para cada a G, a classe de equivalncia de a a = {c1 ac : c G}
(c) para cada a G, C(a) = {x G : xa = ax} um subgrupo de G e
a funo f : a G/C(a), definida por f (c1 ac) = C(a)c bijetiva.
(d) |a| = |G|/|C(a)|.
i i
i i
i i
| GRUPOS 63
i i
i i
i i
64 ESTRUTURAS ALGBRICAS |
i i
i i
i i
| GRUPOS 65
i i
i i
i i
66 ESTRUTURAS ALGBRICAS |
i i
i i
i i
| GRUPOS 67
Exerccios
1. Seja f : (G1 , #, u)) (G2 , , e)) um homomorfismo de grupos
e n um inteiro positivo. Mostrar que, para a1 , a2 , ..., an G, vale
f (a1 #a2 #...#an ) = f (a1 ) f (a2 ) ... f (an ).
2. Achar o ncleo do homomorfismo f : Z C definido por f (m) =
im .
3. Determinar o ncleo do homomorfismo f : R+ R definido por
f (x) = log x.
4. Dar uma demonstrao da Proposio 2.17.
5. Dar uma demonstrao da Proposio 2.16.
6. Dar uma demonstrao das propriedades da Proposio 2.18.
7. Mostrar a validade do Lema 2.22.
8. Verificar se as seguintes funes so homomorfismos.
(a) f : Z Z Z, dada por f (n) = (n, n).
(b) f : Z Z Z, dada por f (m, n) =(( mn. ))
a b
(c) f : M22 (R) R R, dada por f = (a d, b c).
c d
(( ))
a b
(d) f : GL2 (R) R , dada por f = ad bc, onde GL2 (R)
c d
o grupo multiplicativo das matrizes reais(2 2 invertveis.
)
a b
(e) f : C GL2 (R) dada por f (a + bi) = .
b a
(f) f : C C , dada por f (a + bi) = a bi.
(g) f : C C , dada por f (a + bi) = b + ai.
(h) f : C R , dada por f (z) = |z|.
(i) f : R R, dada por f (x) = x2 .
(j) f : R R , dada por f (x) = x2 .
(k) f : Z C , dada por f (n) = in .
9. Determinar o ncleo de cada homomorfismo do exerccio anterior.
10. Sejam G um grupo e g G. Verificar que funo f : G G definida
por f (a) = gag um isomorfismo.
11. Seja G um grupo. Verificar que a funo f : G G, definida por
f (a) = a , um homomorfismo. Caso G seja abeliano, mostrar que f
um isomorfismo.
i i
i i
i i
68 ESTRUTURAS ALGBRICAS |
Exemplo 2.56. J vimos que {e} N = {e, (1, 2, 3), (1, 3, 2)} S3 e S3 /N
um grupo abeliano, pois s possui 2 elementos. Assim, S3 um grupo
solvel.
i i
i i
i i
| GRUPOS 69
Proposio 2.26. O grupo G solvel se, e somente se, G(r) = {e}, para
algum inteiro positivo r.
i i
i i
i i
70 ESTRUTURAS ALGBRICAS |
i i
i i
i i
| GRUPOS 71
i i
i i
i i
72 ESTRUTURAS ALGBRICAS |
Exerccios
1. Verificar as afirmaes do exemplo 2.57.
2. Verificar que o comutador de S3 o subgrupo {e, (1, 2, 3), (1, 3, 2)}.
3. Demonstrar o Lema 2.27.
i i
i i
i i
Captulo 3
Anis
i i
i i
i i
74 ESTRUTURAS ALGBRICAS |
i i
i i
i i
| ANIS 75
i i
i i
i i
76 ESTRUTURAS ALGBRICAS |
i i
i i
i i
| ANIS 77
( ) ( )
1 0 0 0
Exemplo 3.9. Sejam A = eB = . Temos AB = O,
1 0 1 1
em que O a matriz nula. Assim, A e B so divisores de zero em M2 (R).
Temos tambm que BA = O, mostrando que num anel, ab = 0 no implica
que ba = 0. Temos tambm que AB = AO, mas B = O, ou seja, no vale
a lei do cancelamento ( esquerda) para o produto.
( )
1 0
Exemplo 3.10. A matriz A = inversvel em M2 (R), pois to-
1 1
( )
1 0
mando B = , temos que AB = BA = I2 .
1 1
Exemplo 3.16. Anel dos quatrnios: O anel dos quatrnios teve origem
na tentativa de Hamilton (1805-1865) de desenvolver uma lgebra para
i i
i i
i i
78 ESTRUTURAS ALGBRICAS |
Exerccios
1. Verificar que o anel (M3 (R), +, , O, I3 ) no comutativo.
2. Sobre R definimos as operaes: a b = a + b 1 e a b = a + b ab.
Verificar se R com essas duas operaes um corpo.
3. Seja A = {a + bi : a, b Z}, em que as operaes em A seguem as
regras para as operaes de nmeros complexos. Verificar que A um
anel. A um corpo?
4. Seja A = {a + b 2 : a, b Q}. Verificar se A um corpo.
5. Seja A = {a 2 : a Z}. Verificar se A um corpo.
6. Mostrar que num anel A, se a, b, c A so tais que a + b = a + c,
ento b = c.
7. Sejam A um domnio de integridade e a, b, c A tais que c = 0 e
ac = bc. Mostrar que a = b e que esta propriedade nem sempre vale,
i i
i i
i i
| ANIS 79
3.2 Os anis Zn
i i
i i
i i
80 ESTRUTURAS ALGBRICAS |
+ 0 1 2 3 4 5 0 1 2 3 4 5
0 0 1 2 3 4 5 0 0 0 0 0 0 0
1 1 2 3 4 5 0 1 0 1 2 3 4 5
2 2 3 4 5 0 1 2 0 2 4 0 2 4
3 3 4 5 0 1 2 3 0 3 0 3 0 3
4 4 5 0 1 2 3 4 0 4 2 0 4 2
5 5 0 1 2 3 4 5 0 5 4 3 2 1
i i
i i
i i
| ANIS 81
Exerccios
1. Encontrar os elementos inversveis e os divisores de zero de Z6 .
2. Encontrar os divisores de zero e os elementos inversveis de Z12 .
3. Quais so os elementos inversveis e quais so os divisores de zero
do anel Z2 Z3 ?
4. Mostrar que se n no um nmero primo, ento Zn no um domnio
de integridade.
i i
i i
i i
82 ESTRUTURAS ALGBRICAS |
(P10 ) (1) = 1.
(P11 ) (1)(1) = 1.
Temos (1)(1) = (1) = 1, por (P5 ) e (P9 ).
Exerccios
1. Demonstrar as propriedades acima que no foram comprovadas no
texto.
2. Se A um anel sem divisores de zero, ento A um domnio de
integridade?
3. Sejam a, b, c elementos de um anel A:
(a) Mostrar que a(b c) = ab ac e (a b)c = ac bc;
(b) Mostrar que (a + b)2 = a2 + ab + ba + b2 ;
(c) Mostrar ou dar um contra-exemplo para (a + b)2 = a2 + 2ab + b2 .
4. Seja A um anel tal que a2 = a, para todo a A. Mostrar que:
(a) x = x (sugesto: iniciar com x + x = (x + x)2 );
(b) A um anel comutativo (sugesto: iniciar com a + b = (a + b)2 );
(c) se A um domnio de integridade, ento A = {0, 1} (sugesto: para
todo a A, a2 = a).
i i
i i
i i
| ANIS 83
3.4 Subanis
i i
i i
i i
84 ESTRUTURAS ALGBRICAS |
Agora um contra-exemplo.
i i
i i
i i
| ANIS 85
{( ) }
a 0
Exemplo 3.23. A = : a, b R anel, pois subanel de
0 b
M2 (R). Neste caso A um anel comutativo, apesar de M2 (R) no o ser.
Exerccios
1. Justificar os exemplos dos subanis Z[i] e A acima.
2. Dado A = {a + b 3 : a, b Q}, verificar se A um corpo.
3. Para A = {2a + bi : a, b Z}, verificar que A um anel. Verificar se
A um domnio de integridade.
a
4. Sejam p um nmero primo e A = {x Q : x = , a, b Z, b =
b
0 e tal que p no divide b}. Mostrar que A um anel, mas no um
corpo.
5. Verificar se {n2 : n Z} um anel com as operaes de adio e
multiplicao usuais dos inteiros.
6. Sejam B e C subanis de um anel A. Mostrar que B C um subanel
de A.
7. Seja B um subanel de A:
(a) Mostrar que se A no possui divisores de zero, ento B tambm no
os possui.
(b) Mostrar que se B um anel com unidade e A um domnio de
integridade, ento B tambm um domnio de integridade e que
1B = 1A .
8. Sejam a um elemento de um anel A e B = {b A : ab = ba}. Mostrar
que B um subanel de A.
9. Quais dos seguintes subconjuntos so subanis de M2 (R)?
i i
i i
i i
86 ESTRUTURAS ALGBRICAS |
{( ) } {( ) }
a 0 0 a
(a) A = :aR (b) A = :aR
0 0 0 0
{( ) } {( ) }
a b a 0
(c) A = : a, b R (d) A = : a, b R
0 0 b 0
{( ) } {( ) }
a b a b
(e) A = : a, b, c R (f) A = : a, b, c R .
0 c c 0
10. Quais dos seguintes subconjuntos so subanis de Z6 ? Nos casos
em que so subanis, quais deles so corpos?
(a) {0, 3} (b) {0, 2, 4} (c) {0, 1, 3, 5}.
11. Para as operaes a b = a + b 1 e a b = a + b ab, j vimos
que (R, , ) um corpo.
(a) Verificar que (Z, , ) um subanel de (R, , );
(b) Verificar se (Z, , ) um domnio de integridade;
(c) Verificar se (Z, , ) um corpo;
(d) Verificar se o conjunto I dos nmeros mpares um subanel de
(Z, , ).
12. Mostrar que se A1 um subanel do anel A e B1 um subanel do
anel B, ento A1 B1 um subanel do anel A B.
13. Mostrar que se A um subanel de Q e 1 A, ento Z A.
14. Mostrar que Q no contm subcorpos, isto , se K um subcorpo
de Q, ento K = Q.
3.5 Ideais
i i
i i
i i
| ANIS 87
i i
i i
i i
88 ESTRUTURAS ALGBRICAS |
Exerccios
1. Justificar o exemplo 3.25.
2. Justificar o exemplo 3.27.
3. Verificar se os seguintes conjuntos so ideais direita ou esquerda
de M2 (Z).
{( ) } {( ) }
a b a 0
(a) I = : a, b Z (b) I = : a, b Z
0 0 0 b
{( ) }
0 a
(c) I = : a, b Z
0 b
4. Verificar se os seguintes conjuntos so ideais de Z6 .
(a) {0, 2, 4} (b) {0, 3} (c) {1, 3, 5}.
5. Verificar se o conjunto I dos nmeros mpares um ideal de (Z, , ),
para a b = a + b 1 e a b = a + b ab.
6. Seja F(R) o anel das funes f : R R, definido em 3.3. Verificar se
o conjunto I = {f F(R) : f (1) = 0} um ideal de F(R).
7. Mostrar que se K um corpo e se I um ideal de K, ento I = {0}
ou I = K.
8. Mostrar que se A um anel comutativo com unidade tal que os ni-
cos ideais de A so {0} e A, ento A um corpo.
9. Sejam I e J ideais de um anel A. Mostrar que:
(a) I J um ideal de A;
= {a + b : a I e b J} um ideal de A;
(b) I + J { }
n
(c) IJ = ai bi : n N, n > 0, ai I e bi J um ideal de A;
i=1
(d) IJ I J;
(e) I I + J e J I + J;
i i
i i
i i
| ANIS 89
Exemplo
( 3.30. A funo f : C M2 (R), definida por f (a + ib) =
)
a b
, para todo a + ib C, um homomorfismo de anis.
b a
i i
i i
i i
90 ESTRUTURAS ALGBRICAS |
i i
i i
i i
| ANIS 91
Exerccios
1. Conferir os exemplos de homomorfismo.
2. Verificar se as funes seguintes so homomorfismos de anis:
(a) f : Z Z, f (n) = n + 1;
(b) f : Z3 Z6 , f (n) = 2n;
(c) f : Z6 Z3 , f (n) = n;
(d) f : C R, f (a + bi) = a(2 + b2 ; )
a 0
(e) f : R M2 (R), f (a) = ;
0 a
(f) f : Z[ 2] Z[ 3], f (a + b 2) = a + b 3;
i i
i i
i i
92 ESTRUTURAS ALGBRICAS |
(g) f : Z[ 2] Z[ 2], f (a + b 2) = a b 2;
(h) f : Z Z Z, f (a, b) = a + b;
(i) f : Z Z Z, f (a, b) = b;
(j) f : Z Z Z Z, f (a, b) = (b, a);
(k) f : C R R, f (a + bi) = (a, b);
(l) f : R (R, , ), f (x) = 1 x, em que x y = x + y 1 e
x y = x + y xy.
3. No exerccio anterior, determinar o ncleo e a imagem de cada ho-
momorfismo.
4. Sejam A1 e A2 anis com unidade e f : A1 A2 um homomorfismo
no nulo de anis. Mostrar que:
(a) se 1 Im(f ), ento f (1) = 1;
(b) se a um elemento inversvel de A1 e 1 Im(f ), ento f (a1 ) =
[f (a)]1 ;
(c) se A2 um domnio de integridade, entof (1) = 1.
5. Sejam f : A1 A2 e g : A2 A3 dois homomorfismos. Mostrar que
a aplicao composta gof : A1 A3 tambm um homomorfismo.
6. Dar uma demonstrao do item (v) da Proposio 3.5.
7. Seja f : A1 A2 um isomorfismo. Mostrar que f 1 tambm um
isomorfismo.
8. Sejam f : A1 A2 um homomorfismo de anis e J um ideal
esquerda (respectivamente direita) de A2 . Mostrar que o conjunto
I = {a A1 : f (a) J} um ideal esquerda (respectivamente
direita) de A1 .
9. Sejam f : A1 A2 um homomorfismo sobrejetivo de anis e I um
ideal de A1 . Mostrar que f (I) um ideal de A2 .
i i
i i
i i
| ANIS 93
i i
i i
i i
94 ESTRUTURAS ALGBRICAS |
Exerccios
1. Dar uma demonstrao para os tens (i) - (iv) da Proposio 3.6.
2. Verificar as demais condies para que A/I seja um anel.
i i
i i
i i
| ANIS 95
i i
i i
i i
96 ESTRUTURAS ALGBRICAS |
i i
i i
i i
| ANIS 97
Exemplo 3.42. Tomando A = Z Z, temos que (1, 0)(0, 1) = (0, 0). Logo
{(0, 0)} no um ideal primo de A e, portanto, A no um domnio de
integridade. Consideremos a funo f : Z Z Z, definida por f (a, b) =
b. Verifica-se facilmente que f um homomorfismo sobrejetivo. Alm disso
N (f ) = {(a, 0) : a Z}. Assim, pelo Teorema do Homomorfismo, (Z
Z)/N (f ) Z. Como Z um domnio de integridade, mas no um corpo,
segue que N (f ) um ideal primo, mas no um ideal maximal.
i i
i i
i i
98 ESTRUTURAS ALGBRICAS |
Exerccios
1. Fazer uma demonstrao de que a funo f : A A/I definida por
f (a) = a + I um homomorfismo sobrejetivo em que N (f ) = I.
2. Sejam A um anel comutativo, B um domnio de integridade e f :
A B um homomorfismo de anis. Mostrar que N (f ) = A ou N (f )
um ideal primo de A.
3. Sejam P = {0, 2, 4, 6} e Q = {0, 4} ideais de Z8 . Verificar se P e Q so
ideais primos.
4. Mostrar, atravs de um exemplo, que pode acontecer de A ser um
domnio de integridade, sem que A/I seja um domnio de integridade.
5. Sejam F(R) = {f : R R : f funo } o anel das funes definido
no exerccio 3.3, a R e P = {f F(R) : f (a) = 0}. Mostrar que P
um ideal maximal. (Sugesto: Tomar a funo G : F(R) R definida
por G(f ) = f (a) e aplicar as Proposies 3.8 e 3.12).
6. Terminar a demonstrao da Proposio 3.8.
i i
i i
i i
| ANIS 99
i i
i i
i i
Exerccios
1. Seja (A, +, , 0, 1) um anel com unidade. Mostrar que se para todo
x A, x2 = x, ento a caracterstica de A 2.
2. Seja (A, +, , 0) um anel. Mostrar que se a caracterstica de A um
nmero natural composto n > 0, ento o anel A possui divisores de
zero.
3. Mostrar que dois anis isomorfos possuem a mesma caracterstica.
4. Seja (A, +, , 0) um anel. Mostrar que cada subanel de A tem caracte-
rstica menor ou igual a caracterstica de A.
5.Verificar se o anel Z6 possui subanis com caractersticas 2 e 3.
6. Fazer a demonstrao da Proposio 3.18
i i
i i
i i
| ANIS 101
temos adf = bcf e bcf = bde. Portanto, adf = bde e, ento, af d = bed.
Como d = 0 e A um domnio de integridade, podemos cancelar d.
Assim, af = be, ou seja, (a, b) (e, f ).
e
(a, b) (c, d) = (ac, bd).
i i
i i
i i
Seja f : A Q(A) definida por f (a) = (a, 1). fcil verificar que f
um homomorfismo injetivo e que Im(f ) = {(a, 1) : a A}.
Assim, A
= A/{0}
= Im(f ). Logo A = {(a, 1) : a A} e podemos
considerar A como um subanel de Q(A) ao identificarmos A com Im(f )
em Q(A).
Exerccios
1. Mostrar que Q(A) um corpo com as operaes definidas acima.
2. Mostrar que a funo f (a) = (a, 1) um homomorfismo injetivo e
que Im(f ) = {(a, 1) : a A}.
3. Mostrar que a funo f : Q(A) K definita por f ((a, b)) = ab1
um homomorfismo injetivo.
i i
i i
i i
| ANIS 103
reais.
i i
i i
i i
i i
i i
i i
| ANIS 105
i i
i i
i i
(vi) 0 < 1;
(vii) 0 < x 0 < x1 ;
(viii) x < 0 x1 < 0;
(ix) x < y x y < 0;
(x) x < 0 e 0 < y x y < 0;
(xi) x < y e z < 0 x z > y z.
i i
i i
i i
| ANIS 107
i i
i i
i i
i i
i i
i i
| ANIS 109
i i
i i
i i
Exerccios
1. Comprovar o item [4] do Teorema 3.20.
2. Comprovar as consequncias da Definio 3.22.
i i
i i
i i
Captulo 4
Polinmios
i i
i i
i i
Definio 4.3. Se f (x), g(x) A[x], dizemos que f (x) = g(x) se f (x) e
g(x) tm exatamente os mesmos coeficientes.
Assim, na multiplicao, c0 = a0 b0 , c1 = a0 b1 + a1 b0 , c2 = a2 b0 +
a1 b1 + a0 b2 , . . . , cn+m = an bm .
i i
i i
i i
| POLINMIOS 113
Ento a0 = 1, a1 = 0, a2 = 1, a3 = 0 e b0 = 1, b1 = 2, b2 = 0 e b3 = 1.
Assim:
f (x) + g(x) = x3 + x2 + 2x e
f (x)g(x) = x5 + 3x3 x2 + 2x 1, pois:
c5 = a2 b3 = 11 = 1
c4 = a2 b2 + a1 b3 = 10 + 01 = 0
c3 = a2 b1 + a1 b2 + a0 b3 = 12 + 00 + 11 = 3
c2 = a2 b0 + a1 b1 + a0 b2 = 1(1) + 02 + 10 = 1
c1 = a1 b0 + a0 b1 = 0(1) + 12 = 2
c0 = a0 b0 = 1(1) = 1
Exemplo 4.2. Para f (x) = 3x5 2x2 , temos que f (x) = 5; e para
g(x) = 2, segue que g(x) = 0; para h(x) = 0, h(x) = .
i i
i i
i i
i i
i i
i i
| POLINMIOS 115
i i
i i
i i
Proposio 4.6. Seja f (x) A[x], com f (x) = n 0. Ento f (x) tem
no mximo n razes distintas.
Demonstrao: Por induo sobre n = f (x).
Se n = 0, ento f (x) = a A, com a = 0. Logo f (x) no tem razes.
Hiptese de induo: Seja n 0 e a proposio vlida para todo
polinmio com grau n. Agora, tomemos f (x) = n + 1. Se f (x) no tem
razes, nada temos a provar. Se f (x) tem pelo menos uma raiz, seja a A
uma raiz de f (x). Pela proposio anterior, existe g(x) A[x] tal que
f (x) = (x a)g(x). Ento n + 1 = f (x) = (x a) + g(x) = 1 + g(x).
Logo, g(x) = n e, pela hiptese de induo, g(x) tem no mximo n razes.
Observemos que para b A, segue que f (b) = (a b)g(b). Assim, b raiz
de f (x) se, e somente se, b = a ou b raiz de g. Portanto, f (x) tem no
mximo uma raiz a mais que g(x). Concluindo, f (x) tem no mximo n + 1
razes, o que encerra a demonstrao.
i i
i i
i i
| POLINMIOS 117
Exerccios
1. Verificar que A[x], com as operaes definidas em 4.4, um anel co-
mutativo com unidade.
2. Fazer as demonstraes dos tens (ii) e (iii) da Proposio 4.1.
3. Escrever f (x) = q(x)g(x) + r(x) com r(x) < g(x), para
f (x), g(x), q(x), r(x) Z[x], em cada caso:
(a) f (x) = x4 1 e g(x) = x2 + 1
(b) f (x) = x4 + 1 e g(x) = x2 + 1
(c) f (x) = x3 + x2 + x + 1 e g(x) = x2 2
(d) f (x) = x2 1 e g(x) = x3 + 1
(e) f (x) = x5 1 e g(x) = x 1
(f) f (x) = xn 1, n N e g(x) = x 1
(g) f (x) = xn + 1 n N , n mpar e g(x) = x + 1.
4. Determinar a soma e o produto dos polinmios f (x) = x3 + 3x2 +
2x + 1, g(x) = x4 + 3x + 4 sobre Z5 .
5. Desenvolver a potncia (x + 1)3 em Z2 .
6. Fazer a demonstrao da Proposio 4.5.
7. Seja a uma raiz de f (x) A[x]. Mostrar que a multiplicidade de a em
f (x) maior que 1 se, e somente se, a raiz de f (x), em que f (x) a
derivada de f (x) com relao a varivel x.
8. Verificar se f (x) = x4 + x R[x], possui razes com multiplicidade
m > 1.
9. Verificar se f (x) = x4 + x Z3 [x], possui razes com multiplicidade
m > 1. Em caso afirmativo, encontrar a multiplicidade.
10. Mostrar que f (x) = xn 1 C[x], no possui razes com multipli-
cidade m > 1.
11. Qual a multiplicidade de 1 em f (x) = x4 2x3 + 2x2 2x + 1 Q[x].
i i
i i
i i
Definio 4.9. Se f (x) e g(x) pertencem a A[x], ento dizemos que f (x)
divide g(x), ou que f (x) um divisor de g(x), se existe h(x) A[x] tal que
g(x) = f (x)h(x).
Indicamos que f (x) divide g(x) por f (x)|g(x). Neste caso temos
que g(x) f (x)A[x].
i i
i i
i i
| POLINMIOS 119
Definio 4.10. Neste caso dizemos que h(x) um mximo divisor co-
mum de f (x) e g(x).
i i
i i
i i
Exerccios
1. Determinar quais dos seguintes conjuntos so ideais de R[x]. Nos
casos de ideais, determinar f (x) R[x], tal que I = f (x).R.
(a) I = {f (x) R[x] : f (1) = f (1) = 0}
(b) I = {f (x) R[x] : f (0) = 1}
(c) I = {f (x) R[x] : f (1) = 0}
(d) I = {f (x) R[x] : f (1) = f (2)}.
2. Mostrar que o ideal I = 2Z[x] + xZ[x] um ideal no principal de
Z[x].
3. Mostrar a unicidade mximo divisor comum mnico.
4. Verificar que o algoritmo usado para o clculo do mximo divisor
comum de nmeros inteiros (veja em, por exemplo, em [16] da biblio-
grafia), pode ser usado para polinmios sobre um corpo K.
5. Sejam f (x), g(x), h(x) A[x]. Mostrar que se h(x)|f (x) e h(x)|g(x),
ento h(x)|(k1 (x)f (x) + k2 (x)g(x)) para todos k1 (x), k2 (x) A[x].
6. Determinar um mximo divisor comum dos polinmios x4 + 3x2
10x 20 e x3 2x 4.
i i
i i
i i
| POLINMIOS 121
i i
i i
i i
Exerccios
1. Mostrar que f (x) = x2 2 no redutvel sobre Q.
2. Fazer a demonstrao do Lema 4.9.
3. Encontrar exemplos de Z[x] em que no valem os tens (ii) e (iv) do
Lema 4.9.
4. Sejam p(x) K[x] irredutvel e f1 (x), f2 (x), ..., fn (x) K[x]. Mos-
trar que se p(x)|(f1 (x)f2 (x) . . . fn (x)), ento p(x)|fi (x), para algum i
i i
i i
i i
| POLINMIOS 123
{1, 2, . . . , n}.
Proposio 4.13. Seja f (x) K[x], com f (x) 1. Ento f (x) pode ser
escrito na forma f (x) = p1 (x)p2 (x)...pn (x), em que para cada i, pi um
polinmio irredutvel. Alm disso, tal expresso nica, a menos da ordem
i i
i i
i i
Exerccios
1. Dar uma demonstrao da Proposio 4.12.
2. Seja f (x) K[x], com f (x) = 2 ou f (x) = 3. Mostrar que f (x)
i i
i i
i i
| POLINMIOS 125
i i
i i
i i
Nessa seo tratamos dos polinmios com nfase sobre o anel dos
inteiros.
i i
i i
i i
| POLINMIOS 127
i i
i i
i i
Corolrio 4.19. Se f (x) Z[x], ento f (x) redutvel sobre Z se, e so-
mente se, f (x) redutvel sobre Q.
Demonstrao: Tomando d como o mximo divisor comum dos coeficien-
tes de f (x), temos que o polinmio d1 f (x) primitivo. Assim, f (x) re-
dutvel sobre Z se, e somente se, d1 f (x) redutvel sobre Z se, e somente
se, d1 f (x) redutvel sobre Q se, e somente se, f (x) = d d1 f (x) redutvel
sobre Q.
i i
i i
i i
| POLINMIOS 129
Exerccios
1. Verificar que os seguintes polinmios so irredutveis sobre Q:
(a) x3 + 2x2 + 6x + 6 (b) x5 29 (c) x4 20
(d) x9 + 3x4 + 3 (e) 6x5 + 4x3 20 (f) 6x7 9x + 18.
2. Seja f (x) = an xn + ... + a1 x + a0 um polinmio com coeficientes
inteiros e primos entre si e com a0 = 0. Mostrar que se b e c so inteiros
b
primos entre si, com c = 0 e tais que f ( ) = 0, ento c | an e b | a0 .
c
(Isto nos permite determinar todas as razes racionais de f (x)).
3. Seja f (x) = xn + ... + a1 x + a0 um polinmio com coeficientes
inteiros. Mostrar que se f (x) admite uma raiz racional, ento esta raiz
inteira e divide o termo a0 .
4. Determinar as razes racionais dos seguintes polinmios:
(a) x5 1 (b) x6 1 (c) x4 + 1 (d) x3 + 1
(e) 6x3 3x2 + 4x 2 (f) 3x2 27 (g)
x4 2x3 + 2x2 2x 4.
5. Mostrar que os seguintes polinmios so redutveis sobre Q:
(a) x2 + 4x + 4 (b) x5 + x2 x 1 (c) 2x4 x3 + 4x2 1 (d)
x4 + x3 7x2 + 9.
6. Seja f (x) Z[x] um polinmio de grau 2 ou 3. Mostrar que f (x)
redutvel sobre Z se, e somente se, f (x) tem raiz em Q.
7. Determinar quais dos seguintes polinmios so irredutveis sobre os
racionais:
i i
i i
i i
i i
i i
i i
Captulo 5
Corpos
i i
i i
i i
i i
i i
i i
| CORPOS 133
i i
i i
i i
Exemplo 5.4. Como nem todo nmero real algbrico sobre os racionais,
ento, pela proposio anterior, o corpo dos nmeros reais R no uma
extenso finita do corpo dos racionais Q. Logo, [R : Q] infinito.
i i
i i
i i
| CORPOS 135
i i
i i
i i
i i
i i
i i
| CORPOS 137
i i
i i
i i
i i
i i
i i
| CORPOS 139
Exerccios
1. Fazer a demonstrao do Lema 5.2.
i i
i i
i i
5.2 Imerso
i i
i i
i i
| CORPOS 141
Segue dessa proposio que se b uma raiz de f (x), ento h(b) uma
raiz de hx (f (x)).
i i
i i
i i
h(f )(b). Como podem existir outros polinmios g(x) K1 [x] tais que
g(a) = f (a), ento devemos verificar que a definio de h no depende
da escolha do polinmio f (x).
Se f (x), g(x) K1 [x] so tais que f (a) = g(a), ento f (a) g(a) = 0
e, da, (f g)(a) = 0. Assim, existe d(x) K1 [x] de maneira que (f
g)(x) = p(x) d(x), donde segue que hx (f (x)) = hx (g(x)) + hx (p(x))
hx (d(x)) h(f )(x) = h(g)(x) + h(p)(x) h(d)(x). Assim, h(f (a)) =
h(f )(b) = h(g)(b) + h(p)(b) h(d)(b) = h(g)(b) = h(g(a)).
Logo h est bem definida e fica como exerccio verificar que h : K1 (a)
K2 imerso e a unicidade.
(ii) Fica como exerccio.
i i
i i
i i
| CORPOS 143
igual a n = [L : K].
Exerccios
1. Fazer uma demonstrao da Proposio 5.14.
2. Fazer uma demonstrao da Proposio 5.15.
3. Fazer a demonstrao dos tens (i) e (iii) da Proposio 5.17.
4. Seja K L. Mostrar que se b, c L so razes de um mesmo polin-
mio irredutvel sobre K, ento K(b) = K(c).
5. Completar a demonstrao da Proposio 5.18.
6. Verificar que Q( 2, 3 2) = Q( 2 + 3 2).
i i
i i
i i
Definio 5.11. Seja L uma extenso finita de K. Dizemos que uma imer-
so h : L L uma K-imerso de L, se h(x) = x para todo x K.
i i
i i
i i
| CORPOS 145
Logo, x + y K G e xy K G .
Tambm, se x K G e x = 0, temos:
h(x1 ) = (h(x))1 = x1 K G
h(x) = h(x) = x K G .
Portanto, (K G , 0, 1, +, ) um subcorpo de K.
i i
i i
i i
i i
i i
i i
| CORPOS 147
i i
i i
i i
i i
i i
i i
| CORPOS 149
i i
i i
i i
i i
i i
i i
| CORPOS 151
Se h G(F, K), ento pela Proposio 5.18 e pelo Lema 5.22, h pode
ser estendida a um isomorfismo h1 : L L, que fixa K. Assim, existe
h1 G(L, K) tal que (h1 ) = h1 |F = h e, portanto, sobrejetiva.
Pelo Teorema do Homomorfismo, temos o isomorfismo
G(L, K)/G(L, F )
= G(F, K).
i i
i i
i i
i i
i i
i i
| CORPOS 153
i i
i i
i i
u1 + u2 a2 + ... + ur ar = 0,
i i
i i
i i
| CORPOS 155
Os problemas clssicos:
Alguns problemas de construo no puderam ser resolvidos pelos
i i
i i
i i
gregos apenas com uma rgua sem escala e um compasso. Os trs mais
famosos so a quadratura do crculo, construir um quadrado com rea
igual de um crculo dado, a duplicao do cubo, construir um cubo
cujo volume seja o dobro do volume de um cubo dado, e a trisseco
do ngulo, construir um ngulo de medida igual a 1/3 da medida de um
ngulo dado.
Essas construes deveriam ser realizadas para figuras quaisquer e
tendo como ferramentas apenas uma rgua sem escala e um compasso.
Uma lenda:
Durante o sculo quinto a. C., Atenas foi assolada por uma peste
que dizimou uma quarta parte da sua populao. Uma delegao
foi ento enviada ao orculo de Apolo, em Delfos, com a misso de
descobrir como combater a epidemia. Diante da indagao, o orculo
respondeu que o altar cbico de Apolo deveria ser duplicado. Em
vista da resposta do orculo, foi construdo um altar cujas dimenses
foram dobradas, mas, mesmo assim, a peste continuou. No caso, foi
construdo um cubo cuja aresta era o dobro da aresta do cubo original
e, desse modo, o volume do cubo original foi multiplicado por oito.
(1) dados dois pontos, podemos traar exatamente uma reta que
i i
i i
i i
| CORPOS 157
i i
i i
i i
O inverso multiplicativo
i i
i i
i i
| CORPOS 159
EI IC 1 OE 1
los semelhantes ECI e IDA. Logo, = , ou seja, = .
IA AD a1 a
1
Portanto, OE = .
a
A raiz quadrada.
Se a um nmeros positivo construdo, ento construiremos o n-
mero a. Se a = 1 nada temos a fazer. Vamos tomar ento a = 1.
Tomamos os pontos A, B e C na semirreta r tais que OA = a, OC =
a+1 e OB = (a+1)/2. Traando uma perpendicular reta r, por A, seja
D o ponto de interseco desta perpendicular com a circunferncia com
centro B e raio (a + 1)/2. Assim, BAD um tringulo retngulo com
hipotenusa BD de medida (a + 1)/2 e cateto AB com medida (a 1)/2.
Logo, o cateto AD mede a.
i i
i i
i i
i i
i i
i i
| CORPOS 161
i i
i i
i i
i i
i i
i i
| CORPOS 163
i i
i i
i i
i i
i i
i i
| CORPOS 165
Proposio 5.43. Seja K um corpo que contm uma raiz n-sima primi-
tiva da unidade. Para 0 = a K, f (x) = xn a K[x] e L o corpo de
decomposio de f (x) sobre K, temos:
(i) L = K(b), em que b qualquer raiz de f (x);
(ii) G(L, K) abeliano.
Demonstrao: (i) Se b uma raiz de f (x), ento f (b) = bn a = 0
e, portanto, f (buin ) = (b(un )i )n a = bn ((un )i )n a = bn ((un )n )i
a = bn 1i a = bn a = 0. Assim, b, bun , b(un )2 , . . . , b(un )n1 so as n
i i
i i
i i
G(L, Ki1 )
G(Ki , Ki1 )
= .
G(L, Ki )
i i
i i
i i
| CORPOS 167
i i
i i
i i
i i
i i
i i
Bibliografia
i i
i i
i i
derna, 1964.
[13] MILIES, C. P. Breve introduo histria da teoria dos anis. XI
Escola de lgebra, So Paulo, 1979.
[14] MONTEIRO, L. H. J. Elementos de lgebra. Rio de Janeiro: Livros
Tcnicos e Cientficos / IMPA, 1969. (Coleo Elementos de Mate-
mtica).
[15] MONTEIRO, L. H. J. Iniciao s estruturas algbricas. So
Paulo: Livraria Nobel, 1974. (GEEM - So Paulo)
[16] NASCIMENTO, M. C.; FEITOSA, H. A. Elementos da Teoria dos
Nmeros. So Paulo: Cultura Acadmica, 2009.
[17] VILLELA, M. L. T. Teoria de Galois. Niteri: Universidade Federal
Fluminense, 2009. p. 53-94. (Notas de Aulas).
i i
i i
i i
ndice Remissivo
i i
i i
i i
Polinmio, 111
coeficientes de um, 111
i i
i i
Mauri Cunha do Nascimento
Acadmica
conceitos bsicos sobre conjuntos e operaes com conjuntos, seguida do tema das relaes,
relaes de ordem e relaes de equivalncia, que so necessrios para o desenvolvimento
Cultura
das estruturas algbricas abordadas nos captulos seguintes: grupos, anis e corpos. O volu-
me trata tambm de polinmios e de extenses de corpos. Estes temas so essenciais para a
parte final, que discute os trs problemas clssicos da antiguidade. Desenvolve discusses
sobre as construes geomtricas apenas com rgua e compasso e, na sequncia, sobre
a resoluo de equaes por meio de radicais.
ESTRUTURAS ALGBRICAS
ESTRUTURAS ALGBRICAS
Hrcules de Araujo Feitosa graduado em Matemtica pela Fundao Educacional de
Bauru (1984), obteve o mestrado em Fundamentos da Matemtica pela Unesp/IGCE/Rio
Claro (1992) e o doutorado em Lgica e Filosofia da Cincia pela Universidade Estadual
de Campinas/Unicamp/IFCH (1998). Atualmente professor doutor do Departamento de
Matemtica da Faculdade de Cincias da Unesp, Cmpus de Bauru. professor do Pro-
grama de Ps-Graduao em Filosofia da Unesp/FFC/Marlia. Tem grande experincia
no ensino de Lgica e Fundamentos da Matemtica. Suas investigaes cientficas esto
voltadas para lgica, tradues entre lgicas, modelos algbricos, quantificadores e lgicas
no clssicas.