Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

How to implement this computation?

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.

How to implement this computation?Compute Galois closure of an extension of a function field

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.

click to hide/show revision 3
retagged

Compute Galois closure of an extension of a function field

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.