Segunda prova de Algebra

III
Prof. Juliana Coelho - 14/06/2015

1 (2,0 pts) - Seja G um grupo finito, N um subgrupo normal de G e

QUESTAO
considere o grupo quociente
G/N = {N a | a G}.
(a) Tome a G. Mostre que a ordem de N a no grupo quociente G/N divide a
ordem de a em G.
Resp.: Seja n = o(a) a ordem de a em G. Entao an = e e logo
(N a)n = N an = N e = N,
que e o elemento neutro de G/N . Portanto n e um m
ultiplo da ordem de N a
em G/N .
(b) Suponha que |N | e (G : N ) sao primos entre si. Tome a G. Mostre que se
a|N | = e, entao a N .
Resp.: Pelo item (a) temos que a ordem o(N a) de N a divide o(a). Agora, como
a|N | = e, entao a ordem de a divide |N |. Logo o(N a) divide |N |.
Por outro lado, pelo teorema de Lagrange, a ordem de N a divide a ordem do
grupo quociente G/N , ou seja, o(N a) divide |G/N | = (G : N ). Mas como |N | e
(G : N ) sao primos entre si, temos que ter o(N a) = 1, ou seja, N a e o elemento
neutro de G/N . Assim N a = N , mostrando que a N .

2 (1,5 pts) - Seja L|K uma extensao finita de grau n.

QUESTAO
(a) Para qualquer L, mostre que o grau do polinomio mnimo de sobre K
divide n.
Resp.: Seja q(x) K[x] o polinomio mnimo de sobre K. Entao [K() : K] =
grau(q(x)). Assim temos
n = [L : K] = [L : K()][K() : K] = [L : K()] grau(q(x)),
mostrando que grau(q(x)) divide n.
1

(b) Mostre que se p(x) K[x] e irredutvel e seu grau nao divide n, entao p(x) nao
tem nenhuma raiz em L.
Resp.: Suponha que p(x) tem alguma raiz L. Se q(x) K[x] e o polinomio
mnimo de sobre K entao, como p(x) e irredutvel, temos que q(x) = a p(x)
para algum 0 6= a K. (Lembre que o polinomio mnimo e sempre monico.) Em
particular grau(q(x)) = grau(p(x)) e logo, pelo item (a), temos que grau(p(x))
divide n contrariando a hipotese. Portanto p(x) nao tem raiz em L.

3 (2,5 pts) - Tome f (x) = x2 + x + 1 Z5 [x] e considere o anel quociente

QUESTAO
L = Z5 [x]/(f (x)). Tome = x L de modo que L = Z5 [].
(a) Mostre que L e um corpo. Quantos elementos tem L?
Resp.: Como L e um quociente do anel Z5 [x] pelo ideal (f (x)), temos que
este quociente e um corpo se e somente se o ideal e maximal, o que ocorre
se e somente se f (x) e irredutvel. Como f (x) tem grau 2, para ver que este
polinomio e irredutvel basta verificar que nao tem razes. Temos
f (0) = 0 + 0 + 1 = 1,
f (1) = 1 + 1 + 1 = 3,
f (2) = 4 + 2 + 1 = 2,

f (3) = 9 + 3 + 1 = 3,
f (4) = 16 + 4 + 1 = 1.

Assim, f (x) nao tem razes em Z5 [x], mostrando que e irredutvel e que L e um
corpo.
O corpo L tem 52 = 25 elementos, por um resultado visto em aula. De fato,
como 2 + + 1 = 0, temos que 2 = 1 = 4 + 4 e logo
L = Z5 [] = {a + b | a, b Z5 }
que tem 25 elementos.
(b) Exiba 1 e encontre a fatoracao de f (x) em L[x]. (Dica: Voce nao precisa
exibir a tabela de multiplicacao de L, basta usar que e raiz de f (x).)
Resp.: Como 2 + + 1 = 0, entao
2 + = 1

( + 1) = 1

1 = 1 = 4 + 4.

Para encontrar a fatoracao de f (x) em L[x], notamos que como f (x) tem grau
2 e e uma raiz de f (x), entao x divide f (x) e o quociente tem grau 1 e e
2

monico (pois f (x) e x o sao), ou seja, este quociente e da forma x com

L. Temos entao
x2 + x + 1 = f (x) = (x )(x ) = x2 ( + )x +
e logo
( + ) = 1 e = 1.
Assim = 1 = 4 + 4 e a fatoracao de f (x) fica
f (x) = (x )(x + + 1).
(c) Mostre que L|Z5 e uma extensao Galoisiana. Esta extensao admite corpos intermediarios? Justifique.
Resp.: Pelo item (b) vemos que a extensao L|Z5 e normal, pois L e o corpo
de decomposicao de f (x) sobre Z5 . De fato, L = Z5 [] e a menor extensao de
Z5 contendo as razes e 4 + 4 de f (x). Alem disso, como estas razes sao
distintas, esta extensao e separavel, mostrando que L|Z5 e Galoisiana.
Como f (x) e irredutvel e monico e tem como raiz, entao e o polinomio mnimo
de sobre Z5 . Assim, como L = Z5 [], temos [L : Z5 ] = grau(f (x)) = 2.
Como esta extensao tem grau primo, isto nos mostra que nao existem corpos
intermediarios. De fato, se F e um corpo intermediario, entao
2 = [L : Z5 ] = [L : F ][F : Z5 ]
e logo temos que ter [L : F ] = 1 (ou seja, L = F ) ou [F : Z5 ] = 1 (ou seja,
F = Z5 ).

4 (4,0 pts) - Considere = 9 + 2 14 e L = Q().

QUESTAO

(a) Mostre que L

= Q(2, 7). (Sugestao: mostre que Q( 2, 7) = Q( 2 + 7)
e mostre que 2 + 7 = .)

Resp.:Primeiro
vejamos

que Q( 2, 7) =Q( 2 + 7). Primeiro note que

como 2 + 7 Q( 2, 7),
2 + 7)
ao Q(
Q( 2, 7). Para ainclus
ao
ent
inversa basta mostrar que 2, 7 Q( 2 + 7). Denotando = 2 + 7,
temos que
(

2)2 = ( 7)2

2 2 2 + 2 = 7

2=

2 5
Q().
2

Analogamente, temos
(

7)2 = ( 2)2

2 2 7 + 7 = 2

7=

2 + 5
Q(),
2

mostrando que Q( 2, 7) = Q( 2 + 7) = Q(). Agora note que

2 = ( 2 + 7)2 = 2 + 2 2 7 + 7 2 = 9 + 2 14
o que implica que

q
=

9 + 2 14 =

e, como e sao ambos positivos, vemos que = . Portanto temos

L = Q() = Q() = Q( 2, 7).
(b) Mostre que a extensao L|Q e Galoisiana e encontre o grau [L : Q] desta extensao.

Resp.: Como L = Q( 2, 7), vemos que L e o corpo de decomposicao de
f (x) = (x2 2)(x2 7) sobre Q, e portanto L|Q e uma extensao Galoisiana.

Para encontrar o grau desta extensao, primeiro notamos que Q Q( 2) L e

logo temos o diagrama
L
|
n
Q( 2)
|2
Q

Como L =(Q( 2))( 7) e x2 7 (Q( 2))[x] tem 7 como raiz, entao

n = [L : Q( 2)] 2, ou seja, temos
n = 1 ou n = 2. Vamos
mostrar
que n 6= 1.
De fato, se n = 1 entao L = Q( 2), o que implica que 7 Q( 2). Agora,

Q( 2) = {a + b 2 | a, b Q}

e portanto 7 = a + b 2 para algum a, b Q. Assim

( 7)2 = (a+b 2)2

7 = a2 +2ab 2+2b2

2=

7 a2 2b2
Q,
2ab

um absurdo. Portanto n 6= 1, ou seja, n = 2. Deste modo

[L : Q] = [L : Q( 2)][Q( 2) : Q] = n 2 = 2 2 = 4.

(c) Exiba o grupo de Galois G(L|Q) e mostre que este grupo e isomorfo a Z2 Z2 .
Resp.: Como L|Q e Galoisiana, entao seu grupo de Galois tem ordem |G(L|Q)| =
[L : Q]= 4,
ou seja, existem apenas quatro Qautomorfismos de L.
Como

L = Q( 2, 7), cada G(L|Q)

e determinado
por sua imagem em 2 e 7.

Al
( 2) (resp. ( 7)) e raiz do polinomio mnimo de
em disso,sabemos que
2 (resp. 7), que e x2 2 (resp. x2 7). Portanto

( 2) = 2 e ( 7) = 7.
Temos entao os seguintes Qautomorfismos de L

I : 2 7 2
1 : 2
7 7
7
7

2 : 2 7
2

:
3

2
7 7 7
7

7 2
7

7 2
7 7

e G(L|Q) = {I, 1 , 2 , 3 }. Alem disso, temos que (i )2 = i i = I para todo

i = 1, 2, 3 e que 1 2 = 3 = 2 1 , mostrando que
G(L|Q)
= Z2 Z2 .
(d) Encontre todos os corpos intermediarios de L|Q.
Resp.: Como L|Q e Galoisiana, seus corpos intermediarios correspondem aos
subgrupos de G(L|Q). Como este grupo e isomosfo a Z2 Z2 , existem apenas 3
subgrupos nao-triviais, que sao os subgrupos Hi = hi i = {I, i } para i = 1, 2, 3.
Assim os corpos intermediarios da extensao sao
LHi = {x L | (x) = x Hi } = {x L | i (x) = x}.

Agora note que { 2, 7, 2 7} e uma base de L como Q-espaco vetorial e logo
todo x L se escreve como

x = a + b 2 + c 7 + d 2 7.
Alem disso, como i e um Qautomorfismo de L, temos que

i (x) = i (a + b 2 + c 7 + d 2 7) = a + bi ( 2) + ci ( 7) + di ( 2)i ( 7).

Temos x LH1 se e somente se x = 1 (x), ou seja,

a + b 2 + c 7 + d 2 7 = a + b1 ( 2) + c1 ( 7) + d1 ( 2)1 ( 7)

= a b 2 + c 7 d 2 7.
5


Como { 2, 7, 2 7} e uma base de L, entao isto ocorre se
e somente se
b = d = 0. Assim vemos que x LH1 se e somente se x = a + c 7, ou seja,

LH1 = Q( 7).
Temos x LH2 se e somente se x = 2 (x), ou seja,

a + b 2 + c 7 + d 2 7 = a + b2 ( 2) + c2 ( 7) + d2 ( 2)2 ( 7)

= a + b 2 c 7 d 2 7.

Como { 2, 7, 2 7} e uma base de L, entao isto ocorre se
e somente se
c = d = 0. Assim vemos que x LH2 se e somente se x = a + b 2, ou seja,

LH2 = Q( 2).
Temos x LH3 se e somente se x = 3 (x), ou seja,

a + b 2 + c 7 + d 2 7 = a + b3 ( 2) + c3 ( 7) + d3 ( 2)3 ( 7)

= a b 2 c 7 + d 2 7.

Como { 2, 7, 2 7} e uma base de L, entao isto ocorre se
esomente se
b = c = 0. Assim vemos que x LH3 se e somente se x = a + d 2 7, ou seja,

LH3 = Q( 2 7) = Q( 14).

DICAS:
Um polinomio f (x) K[x] de grau(f (x)) 3 e redutvel em K[x] se e somente
se f (x) possui raiz em K.
Seja L|K uma extensao de corpos e L algebrico sobre K. O polinomio
mnimo de sobre K e o polinomio monico p(x) K[x] tal que p() = 0 e
grau(p(x)) = [K() : K].