Ask Your Question

Compute Galois closure of an extension of a function field

asked 2011-01-15 21:11:48 +0200

Oliver gravatar image

updated 2015-01-13 18:15:53 +0200

FrédéricC gravatar image

Say I want to look at the field extension $Quot(\mathbb{Q}[x,y]/y^7-x)$ over $\mathbb{Q}(x)$ and then compute its Galois closure. How do I do that?

Ideally it could be done on the scheme-level (to define the scheme-morphism: (the projectivization of the affine plane curve $y^7-x$) mapping to (the projective $x$-line); and then compute its Galois closure -- a scheme!). But I don't know how to implement either version.

edit retag flag offensive close merge delete



i think this question needs a better title. "how to implement this computation?" does not tell anything about the content.

Evgeny gravatar imageEvgeny ( 2011-01-31 03:50:57 +0200 )edit

1 Answer

Sort by » oldest newest most voted

answered 2014-06-29 17:05:47 +0200

vdelecroix gravatar image


Currently you can create such a field

sage: K.<x> = FunctionField(QQ, 'x')
sage: R.<y> = PolynomialRing(K)
sage: p = y^7 - x
sage: K2 = K.extension(p)
sage: K2
Function field in y defined by y^7 - x

But, sadly, there is no such feature as computing the Galois closure...


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


Asked: 2011-01-15 21:11:48 +0200

Seen: 509 times

Last updated: Jun 29 '14