Explizite Methoden in der Galoistheorie

从数学的角度来看，这是一件非常重要的事情，因为它是一件非常重要的事情。在安格斯泰勒的理性主义中，我们可以找到更好的选择。这是一个非常重要的问题，也是一个很好的解决问题的方法。在Diesem Projekt Sollen erstmalig Net Triviale算法中，我们提出了一种新的算法--Körpern entwickelt and Implementiert。这是一个很重要的问题，这是一个很重要的问题，因为这是一个很重要的问题。在DEM计算机代数系统中，所有的理论都是正确的，并在计算机代数系统中得到了实现。在《数学与计算机代数》一书中，我们学习了《数学与计算机代数》。我们的算法是这样的，从几何和理论上看，它们都是相互关联的。

Galoisgruppen sind grundlegende Objekte der Mathematik, mit deren Hilfe man entscheiden kann, ob eine Polynomgleichung durch geschachtelte Wurzelausdrücke gelöst werden kann. In den letzten Jahren konnte der Antragsteller große Fortschritte bei der praktischen Berechnung von Galoisgruppen über den rationalen Zahlen erzielen. Obwohl die implementierten Verfahren inzwischen Galoisgruppen von Polynomen in hohem zweistelligen Grad bestimmen können, ist die Galoisgruppenberechnung immer noch ein sehr schweres Problem und es ist nicht bekannt, ob es hierzu Algorithmen mit Polynomlaufzeit gibt. In diesem Projekt sollen erstmalig nicht triviale Algorithmen für Galoisgruppen über p-adischen Körpern entwickelt und implementiert werden. Es besteht berechtigte Hoffnung, dass man hierdurch auch die Galoisgruppenberechnung über globalen Körpern deutlich verbessern kann. Zur Durchführung des Projekts muss man einerseits die Struktur von p-adischen Körpern theoretisch sehr genau verstehen, andererseits soll am Ende eine Implementierung in dem Computeralgebra– System Magma entstehen. Dies zeigt ein sehr schönes Wechselspiel zwischen reiner Mathematik und Computeralgebra. Diese Algorithmen sind sehr wichtig, um interessante Beispiele für Vermutungen innerhalb der Geometrie und der Zahlentheorie zu finden und zu verstehen.