Ask Your Question
2

What is a PARI group?

asked 2017-12-30 06:30:00 -0500

Rodrigo Raya gravatar image

updated 2017-12-30 12:52:51 -0500

Take for instance the example:

G = NumberField(x^5 + 15*x + 12, 't').galois_group(type="pari"); G

This gives an output:

Galois group PARI group [20, -1, 3, "F(5) = 5:4"] of degree 5 of the Number Field in t with defining polynomial x^5 + 15*x + 12

So I wonder what is the meaning of [20, -1, 3, "F(5) = 5:4"]. Is it some kind of permutation?

The relevant page of the documentation doesn't clarify it.

edit retag flag offensive close merge delete

Comments

@Jacques Saliba -- Would you suggest adding a link from "the relevant page of the documentation" (which page do you have in mind?) to the PARI/GP documentation page pointed to by @vdelecroix?

slelievre gravatar imageslelievre ( 2017-12-30 12:49:52 -0500 )edit

@slelievre I didn't have the privilege to post a link that's why. i believe the page given in the answer has more information in it:

The output is a 4-component vector [n,s,k,name] with the following meaning: n is the cardinality of the group, s is its signature (s = 1 if the group is a subgroup of the alternating group Ad, s = -1 otherwise) and name is a character string containing name of the transitive group according to the GAP 4 transitive groups library by Alexander Hulpke.

That's the relevant part i think

Rodrigo Raya gravatar imageRodrigo Raya ( 2017-12-30 12:52:04 -0500 )edit

I opened SageMath trac ticket #24452 for that.

slelievre gravatar imageslelievre ( 2017-12-30 17:36:52 -0500 )edit

See also a previous request for making it easier to extract information about a Galois group, posted by John Cremona on sage-devel and other lists on 2017-10-15.

slelievre gravatar imageslelievre ( 2018-01-02 23:19:48 -0500 )edit

1 answer

Sort by ยป oldest newest most voted
2

answered 2017-12-30 12:06:17 -0500

vdelecroix gravatar image

This is described in PARI/GP documentation at http://pari.math.u-bordeaux.fr/dochtm...

And to have a more direct hand on the underlying PARI/GP object you can do

sage: P = pari(G.group())
sage: P
[20, -1, 3, "F(5) = 5:4"]
edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

2 followers

Stats

Asked: 2017-12-30 06:30:00 -0500

Seen: 474 times

Last updated: Dec 30 '17