[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [obm-l] Re: [obm-l] Polinômio Irredutível
Title: Re: [obm-l] Re: [obm-l] Polinômio Irredutível
De fato, eu formulei muito mal mesmo...
Seja f(x) = x^2 - 10x + 1, cujas raizes sao 5+2*raiz(6) e 5-2*raiz(6).
Logo, f(x) eh irredutivel sobre Q(raiz(2)).
No entanto, considere g(x) = f(x^2) = x^4 - 10x^2 + 1.
Temos que g(x) = (x^2 - 2*raiz(2)*x - 1)*(x^2 + 2*raiz(2)*x - 1)
Ou seja, g(x) = f(x^2) eh redutivel sobre Q(raiz(2))
Eu ainda nao consegui achar um contra-exemplo com Q, mas jah nao estou tao certo de que nao ha nenhum...
De qualquer jeito, estou desconfiado de que ha um teorema escondido em algum lugar.
[]s,
Claudio.
on 31.03.04 14:20, Cláudio (Prática) at claudio@praticacorretora.com.br wrote:
Eu formulei mal a minha dúvida abaixo, pois é claro que existem casos mais ou menos óbvios onde o resultado não é verdade. Por exemplo, f(x) = x - a^k, com a em F e k > 1 ==> f(x^m) será redutível se mdc(m,k) > 1.
A dúvida surgiu ao tentar calcular o polinômio mínimo de (2^(1/3) - i)^(1/2):
x = (2^(1/3) - i)^(1/2) ==>
x^2 + i = 2^(1/3) ==>
x^6 + 3ix^4 - 3x^2 - i = 2 ==>
(x^6 - 3x^2 - 2)^2 = -(1 - 3x^4)^2 ==>
x^12 + 3x^8 - 4x^6 + 3x^4 + 12x^2 + 5 = 0
Olhando essa equação em Z_3, obtemos:
x^12 + 2x^6 + 2 = 0.
Foi aí que surgiu a dúvida, pois f(x) = x^2 + 2x + 2 é irredutível sobre Z_3.
A partir disso, podemos concluir que f(x^6) = x^12 + 2x^6 + 2 também é?
[]s,
Claudio.
----- Original Message -----
From: Cláudio (Prática) <mailto:claudio@praticacorretora.com.br>
To: obm-l@mat.puc-rio.br
Sent: Wednesday, March 31, 2004 12:34 PM
Subject: [obm-l] Polinômio Irredutível
Oi, pessoal:
Tenho a seguinte dúvida:
Se F é um corpo e f(x) é um polinômio irredutível sobre F, então é verdade que, para cada inteiro positivo n, o polinômio g(x) = f(x^n) também é irredutível sobre F?
Se for verdade, isso vale pra qualquer corpo?
Agradeço qualquer ajuda.
[]s,
Claudio.