Aula 11 - Algebra II

Extenses de corpos o
As sucessivas extenses do conceito de nmero, dos naturais para os inteiros, o u racionais, reais e, nalmente, complexos foram impostas pela necessidade de resolver equaes polinomiais ou, o que equivalente, de determinar ra co e zes de polinmios. o Os nmeros irracionais surgiram com a necessidade de resolver a equaao poliu c 2 nomial x 2 = 0, imposta pelo Teorema de Pitgoras. E bem conhecido que a x2 + 1 = 0 no tem soluao no corpo dos reais. Para resolver uma tal equao a c ca foi necessria a introduao do nmero imaginrio i = 1. Portanto, estes a c u a problemas foram resolvidos com a construao de sucessivas extenses do conceito c o de nmero. u Nos nossos dias todos estes nmeros nos so familiares mas claro que no u a e a foi sempre assim. Atribui-se ao matemtico do sculo XIX Leopold Kronecker a e (1823-1891) a seguinte frase: Deus criou os nmeros inteiros e tudo o resto obra do homem. u e Na resoluao da equaao do segundo grau, com a maior tranquilidade que c c e trabalhamos com o caso em que o binmio discriminante b2 4ac negativo. Os o e nmeros complexos so-nos perfeitamente familiares o que no sucedia no sculo u a a e XVI. De facto foi Cardan quem primeiro introduziu nmeros da forma a + b, u com a e b inteiros positivos. No entanto, f-lo com srias reservas e um forte e e sentimento de culpa. E curioso notar que foi a determinaao das soluoes da equaes de terceiro c c co grau que levou ` construao dos nmeros complexos. As equaes de grau dois a c u co e binmio discriminante negativo eram simplesmente classicadas como insolveis o u mas, para a equaao de terceiro grau, o caso muda de gura pois soluoes reais so c c a 3 obtidas passando por nmeros complexos. Por exemplo, a equaao x 15x4 = 0, u c pela regra de Cardan d a x=
3

2+

121 +

121

e, consequentemente, considerada sem soluao. No entanto, ela tem trs ra e c e zes e a reais: 4, 2+ 3 e 2 3. Isto foi constatado por Bombelli, tambm matemtico italiano do sculo XVI. Ele foi o primeiro a introduzir uma notaao para o que e c hoje denotamos por i e i (a que ele chamou pi` di meno e meno di meno) u 1

 Aula 11 - Algebra II e a trabalhar com esses s mbolos utilizando as regras bem conhecidas i i = 1, ` i i = 1, etc. As sucessivas extenses do conceito de nmero, dos naturais o u para os inteiros, racionais e reais, algumas bem conturbadas, tornava-se inevitvel a juntar mais uma: os nmeros complexos. u A invenao de novos nmeros se, por um lado, foi inevitvel - por exemplo c u a para resolver equaoes de terceiro grau, como j foi referido - no foi um processo c a a pac co nem facilmente aceite pela comunidade matemtica como o revelam nomes a tais como irracionais ou imaginrios. a O estudo que zemos sobre anis e corpos d-nos, como veremos, um proe a cesso sistemtico de inventar ra de polinmios. Neste processo os polinmios a zes o o irredut veis desempenham um papel determinante. Sendo C um corpo, K C um subcorpo de C quando K um subconjunto e e no-vazio de C tal que (K, +) um subgrupo de (C, +) e (K \{0}, ) um subgrupo a e e de (C \ {0}, ). [Observe: K C um subcorpo de C sse e (1) 0, 1 K (2) a b K para quaisquer a, b K K para quaisquer a K, b K \ {0}]

(3) ab1

EXTENSAO DE UM CORPO Diz-se que um corpo C uma extenso de um corpo K, se K um subcorpo de e a e C. A extenso prpria quando C = K. a e o

Consideremos o corpo de Galois de ordem p (prima), Fp = (Zp , p , p ). Qualquer subcorpo K de Fp contm a identidade 1 logo contm os elementos e e 1 + 1, 1 + 1 + 1, . . . , 1, 1 1, . . . Portanto Fp K, pelo que K = Fp . Isto mostra que Fp no contm subcorpos a e prprios (isto , = Fp ). Diz-se que Fp um corpo primo. Portanto, os corpos o e e primos so, em certo sentido, os menores corpos que existem. Outro exemplo de a corpo primo o corpo dos racionais: sendo K um subcorpo de Q, se 1 K ento e a n 1 e imediatamente Z K, donde qualquer m = nm (n Z, m Z \ {0}) tambm pertence a K, isto , K = Q. Por outro lado, R e C no so primos. e a a 2

 Aula 11 - Algebra II Aproveitaremos agora para mostrar que os corpos Fp e Q so, a menos de a isomorsmo, os unicos corpos primos que existem. a E fcil vericar que a interseco de qualquer fam de subcorpos de um corpo ca lia C ainda um subcorpo de C. e [Este facto decorre imediatamente do correspondente facto para grupos, provado em lgebra I] A Em particular, a intersecao de todos os subcorpos de C um subcorpo P de C. c e

SUBCORPO PRIMO A este subcorpo P chama-se subcorpo primo de C. Evidentemente, trata-se de um corpo primo.

Teorema. O subcorpo primo de um corpo C isomorfo a Fp ou a Q, consoante e a caracterstica de C seja p ou 0. Demonstrao. Consideremos a aplicaao : Z C denida por (n) = n1C , ca c onde 1C designa a identidade do corpo C. E evidente que um homomorsmo e de anis: e (n + m) = (n + m)1C = n1C + m1C = (n) + (m). (nm) = (nm)1C = (n1C )(m1C ) = (n)(m). Consideremos o ncleo de : u N uc = {n Z | (n) = 0}. [Em lgebra I foi observado que N uc um subgrupo de Z. A e Observe agora que N uc um ideal de Z] e Pelo Teorema do Isomorsmo para anis, (Z) Z/N uc . e = [Este teorema uma generalizaao imediata para anis e c~ e lgebra I: do Teorema do Isomorfismo para grupos, estudado em A Se : A B um homomorsmo de grupos (anis), e N o e e e ncleo de , ento os grupos (anis) (A) e A/N so u a e a isomorfos.] 3

 Aula 11 - Algebra II Como qualquer subcorpo de C contm 1C , tambm contm (Z). Logo (Z) est e e e a contido no subcorpo primo P de C. Por outro lado, pZ se car(C) = p N uc = {n Z | n1C = 0} = {0} se car(C) = 0 No primeiro caso, tem-se (Z) Z/pZ Zp . Como Zp um corpo, (Z) um e e = = corpo, donde necessariamente coincide com P . No segundo caso, tem-se (Z) Z/{0} Z, donde Z (Z) P . Portanto = = = P contm uma cpia isomorfa de Z. Estendendo o homomorsmo : Z (Z) e o n a Q, denindo : Q P por ( m ) = (n)(m)1 , obtemos um isomorsmo de anis, o que mostra que, neste caso, P Q. e = [Alternativamente, podia observar-se, como fizemos no incio da aula para Q, que um corpo P que contenha(uma cpia de) Z, o ter que conter necessariamente (uma cpia de) Q, pois a o n n, m P m = nm1 P ]

Exemplos: Q o subcorpo primo de R e C. Da mesma forma, Q tambm o e e e subcorpo primo de Q[ 2] = {a + b 2 | a, b Q}. Qualquer extenso C de um corpo K pode ser vista como um espao vectoa c rial sobre K, tomando para adio vectorial a prpria adiao no corpo e para ca o c multiplicaao escalar a multiplicao em C: c ca Adio vectorial: ca Multiplicao escalar: ca a b := a + b, a, b C a := a, K, a C [Exerccio: Verifique]

Este resultado fundamental para o desenvolvimento da teoria dos corpos, e porque nos permite aplicar as ferramentas da lgebra linear. a GRAU DE UMA EXTENSAO Seja C uma extenso de K. O grau da extenso C sobre K, que denotaremos por a a [C : K], a dimenso do espao vectorial C sobre K. A extenso C diz-se nita e a c a se [C : K] for nita, e diz-se uma extenso innita, caso contrrio. a a