Loading [MathJax]/jax/output/HTML-CSS/jax.js
Ask Your Question
0

Compute Galois closure of an extension of a function field

asked 14 years ago

Oliver gravatar image

updated 10 years ago

FrédéricC gravatar image

Say I want to look at the field extension Quot(Q[x,y]/y7x) over 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 y7x) mapping to (the projective x-line); and then compute its Galois closure -- a scheme!). But I don't know how to implement either version.

Preview: (hide)

Comments

1

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

Evgeny gravatar imageEvgeny ( 14 years ago )

1 Answer

Sort by » oldest newest most voted
0

answered 10 years ago

vdelecroix gravatar image

Hi,

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...

Vincent

Preview: (hide)
link

Your Answer

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

Add Answer

Question Tools

Stats

Asked: 14 years ago

Seen: 613 times

Last updated: Jun 29 '14