鞘人桥惹肆塘瞧.PDFVIP

 ^ CORPS DE DECOMPOSITION DUN POLYN OME  REDUCTIBLE S. ORANGE, G. RENAULT, A. VALIBOUZE Resum e Dans cet article, nous exploitons la reductibilite dun p olyn^ome dune vari- able p our calculer eÆcacement son corps de decomp osition. Abstract In this pap er, we use reducibility of an univariate p olynomial in order to compute eÆciently its splitting eld. Introduction Dans [4 ], lauteur calcule le centre du group e de Galois dun p olyn^ome de Z[x] an de determiner sil est abelien. Dans le cas o u le p olyn^ome est reductible et o u le group e de Galois de chacun de ses facteurs est abelien, lauteur calcule alors son corps de decomp osition avec eÆcacite. Dans cet article, est decrite une metho de gen erale p our calculer eÆcacement le corps de decomp osition dun p olyn^ome reductible quelconque dont les co eÆcients appartiennent a un corps parfait. Lalgorithme GaloisIdeal de [8 ] calcule le corps de decomp osition K dun p olyn^ome dune variable f a co eÆcients dans un corps parfait k . Le p olyn^ome f est supp ose separable et de degre n . Plus precis emen t, lalgorithme GaloisIdeal retourne un ensemble triangulaire engendrant un ideal maximal M de k [x ; : : : ; x ], app ele id eal des relations. Le corps K 1 n est isomorphe a lanneau quotient k [x ; : : : ; x ] =M (ou x ; : : : ; x sont d