15.04.2013 Views

Calculando Grupos de Galois sobre os Racionais - Universidade ...

Calculando Grupos de Galois sobre os Racionais - Universidade ...

Calculando Grupos de Galois sobre os Racionais - Universidade ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Capítulo 2<br />

Métod<strong>os</strong> <strong>de</strong> <strong>de</strong>terminação do grupo<br />

<strong>de</strong> <strong>Galois</strong><br />

Neste capítulo, discutirem<strong>os</strong> algoritm<strong>os</strong> para <strong>de</strong>terminar proprieda<strong>de</strong>s do grupo <strong>de</strong><br />

<strong>Galois</strong> <strong>de</strong> um polinômio. O objetivo é <strong>de</strong>terminar com eficiência a informação necessária<br />

para especificar representantes das classes <strong>de</strong> conjugação do grupo <strong>de</strong> <strong>Galois</strong>. Incluirem<strong>os</strong><br />

neste capítulo trabalh<strong>os</strong> feit<strong>os</strong> previamente e n<strong>os</strong>sa discussão centrar-se-á no polinômio<br />

resolvente.<br />

2.1 Determinação do grupo <strong>de</strong> <strong>Galois</strong> em um número<br />

finito <strong>de</strong> etapas<br />

Seja f(x) ∈ K[x],n = ∂f > 0. Além disso, suponha que f(x) tem zer<strong>os</strong> distint<strong>os</strong><br />

v1,...,vn, no corpo <strong>de</strong> <strong>de</strong>comp<strong>os</strong>ição <strong>de</strong> f(x) <strong>sobre</strong> K. Se existe um algoritmo para fa-<br />

torar polinômi<strong>os</strong> em duas ou mais variáveis <strong>sobre</strong> K, então po<strong>de</strong>m<strong>os</strong> <strong>de</strong>terminar Gal(f/K)<br />

em um número finito <strong>de</strong> etapas usando um método <strong>de</strong>talhado por van <strong>de</strong>r War<strong>de</strong>n [14].<br />

Notem<strong>os</strong> que tal algoritmo <strong>de</strong> fatoração existe quando existe um algoritmo para a fa-<br />

toração <strong>de</strong> polinômi<strong>os</strong> em uma variável <strong>sobre</strong> K. Para encontrar Gal(f/K) por este<br />

algoritmo, proce<strong>de</strong>-se da seguinte maneira: Forme a expressão<br />

t = x1v1 + x2v2 + ···+ xnvn<br />

29

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!