Calculando Grupos de Galois sobre os Racionais - Universidade ...
Calculando Grupos de Galois sobre os Racionais - Universidade ...
Calculando Grupos de Galois sobre os Racionais - Universidade ...
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