# Software for Galois Theory

Background: While studying Group Theory ( Open University M208 ) I had a lot of benefit from the Mathematica Add-on package AbstractAlgebra and later from the GAP software. I am currently self-studying Galois Theory ( using Ian Stewart's Galois Theory ).

Question: Is there a program that calculates the Field Extensions / Galois Group for a ( simple ) polynomial ?

-

I haven't checked it out myself, but have you looked at "Computing Galois Groups with Mathematica" in the Wolfram Library Archive? From the description, it may do what you want:

Mathematica can be used to compute and form Cayley tables of the Galois groups of polynomials in Q. In addition, Mathematica can actually define a field extension and directly produce the elements of the Galois Group.

-
I hoped to find a solution for my favorite software Mathematica. Although I am sure the others can do it as well ( or better, who knows ). – nilo de roock Dec 24 '11 at 8:54

Canonical answers are Sage, Pari, Magma. The first two are open source, the last one costs money but has an online calculator. Type for example

P<x>:=PolynomialRing(Rationals());

GaloisGroup(x^6+3);

in the online calculator and hit submit. See the online manual on how to interpret the result.

-
The example returns an error >> GaloisGroup(x^6+3); ^ User error: Identifier 'x' has not been declared or assigned but I can have a look at the Magma manual later. Thanks anyway. – nilo de roock Dec 23 '11 at 15:56
@ndroock1 I am sorry. The angle brackets got swallowed up by markup. Now corrected. The point is that you need to define x as a free variable (that's what the first line is supposed to do). – Alex B. Dec 23 '11 at 16:14
In PARI/GP: polgalois(x^6+3) – Charles Aug 26 '13 at 17:17

SAGE can calculate the Galois groups of number fields (as a group of permutations).
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 1, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.7068684101104736, "perplexity": 993.5461004959737}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.3, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2016-26/segments/1466783397562.76/warc/CC-MAIN-20160624154957-00045-ip-10-164-35-72.ec2.internal.warc.gz"}