Dynamic Galois Theory
| Autor: | Henri Lombardi, Gema M. Diaz-Toca |
|---|---|
| Rok vydání: | 2010 |
| Předmět: |
Algebra and Number Theory
Splitting field Fundamental theorem of Galois theory Galois group Splitting of prime ideals in Galois extensions Generic polynomial Embedding problem Algebra symbols.namesake Dynamic evaluation Computational Mathematics ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION symbols Separable polynomial Effective Galois Theory Mathematics Field norm |
| Zdroj: | Journal of Symbolic Computation. 45(12):1316-1329 |
| ISSN: | 0747-7171 |
| DOI: | 10.1016/j.jsc.2010.06.012 |
| Popis: | Given a separable polynomial over a field, every maximal idempotent of its splitting algebra defines a representation of its splitting field. Nevertheless such an idempotent is not computable when dealing with a computable field if this field has no factorization algorithm for separable polynomials. Moreover, even when such an algorithm does exist, it is often too heavy. So we suggest to address the problem with the philosophy of lazy evaluation: make only computations needed for precise results, without trying to obtain a priori complete information about the situation. In our setting, even if the splitting field is not computable as a static object, it is always computable as a dynamic one. The Galois group has a very important role in order to understand the unavoidable ambiguity of the splitting field, and this is even more important when dealing with the splitting field as a dynamic object. So it is not astonishing that successive approximations to the Galois group (which is again a dynamic object) are a good tool for improving our computations. Our work can be seen as a Galois version of the Computer Algebra software D5 (Della Dora et al., 1985). |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect