The tag has no wiki summary.

learn more… | top users | synonyms

3
votes
2answers
340 views

The holomorphic version of Galois theory

We identify the space of polynomials of degree n with $\mathbb{C}^{n+1}-\mathbb{C}^{n}$, that is an $n+1$ tuple $(a_{n},a_{n-1},\ldots,a_{0})$ with $a_{n} \neq 0$ is identified with $p(z)=a_{n}z^{n} ...
1
vote
1answer
125 views

Variety of factorizations of differential operator

Take differential operator as polynomial of letter $d$ with coefficients in some function field, where $d$ act by derivation in this function field. Call it a differential field. For simplicity let ...
3
votes
0answers
175 views

Elementary proof for Hilbert's irreducibility theorem

I have tried to find a complete proof for Hilbert's irreducibility theorem, but everything I found was way beyond my level of understanding. I am only interested in the simple case where the ...
4
votes
1answer
237 views

Complexity of computing the Galois group

There has been some discussion of computing the Galois group of a polynomial over the integers, but I can't seem to find any results, or even a question of what the complexity of this might be. For ...
5
votes
2answers
480 views

Reducing 12th degree eqns (12T179) to an 11th degree eqn

I always wondered if the fact that the quartic can be solved by a cubic can be generalized to other even degrees $n$, namely if there is an ordering of the roots $x_i$ of form ...
5
votes
1answer
257 views

Artin representations in Serre's book 'local fields'

Let $K$ be a complete local field with discrete valuation, and let $L/K$ be a finite Galois extension. Use $G=Gal(L/K)$ to denote the Galois group. In Serre's book 'local fields', chapter 6, a ...
2
votes
1answer
198 views

how do automorphisms act on the right in grothendieck's galois theory

So, I'm reading through some notes on the etale fundamental group (mostly Murre, but also some other notes I have), and I find it confusing how in a galois category $\mathcal{C}$ with fundamental ...
0
votes
0answers
106 views

On the Brioschi-like quintic $v^5 - 5d v^3 + 10 d^2 v - d^2 =0 $

The general quintic can be transformed in radicals using a rational Tschirnhausen transformation to the one-parameter Brioschi quintic, $$u^5 - 10c u^3 + 45 c^2 u - c^2 = 0\tag{1}$$ which can be ...
7
votes
2answers
423 views

Is there an algorithm to compute efficiently the dessin d'enfant from a Belyi pair?

Let $(X,f)$ be a Belyi pair, i.e. a Riemann surface $X$ together with a morphism $f: X \to \mathbb{P}^1$, ramified only in $0,1, \infty$. Grothendieck's dessin d'enfant is the pre-image $G$ of the ...
1
vote
0answers
179 views

Reduction modulo p of Galois groups

I'm studying the relationship between the Galois group of a polynomial with integer coefficients and the group of his reduction modulo $p$. More precisely, consider $\mathbb{K}$ a number field such ...
17
votes
2answers
812 views

Is there an irreducible but solvable septic trinomial $x^7+ax^n+b = 0$?

The following irreducible trinomials are solvable: $$x^5-5x^2-3 = 0$$ $$x^6+3x+3 = 0$$ $$x^8-5x-5=0$$ Their Galois groups are isomorphic to ${\rm D}_5$, ${\rm S}_3 \wr {\rm C}_2$ and $({\rm S}_4 ...
4
votes
1answer
237 views

Interpreting the Galois theory of finite extensions of $\mathbb{Q}$ in PA

Any finite extension of the rationals, along with its Galois group, can be interpreted in Peano arithmetic by straightforward means. For a fixed bound $n$ in the degree this is uniform in the ...
4
votes
3answers
315 views

structure of norm one group for quadratic extension of p-adic fields

Let $F$ be a p-adic field (finite extensions of $\mathbb{Q}_p$ for some prime $p$), and $E/F$ be a quadratic extension. Use $\sigma$ to denote the nontrivial element in the Galois group $Gal(E/F)$. ...
1
vote
0answers
105 views

Parametric Solvable Septics?

Known parametric solvable septics are, $$x^7+7ax^5+14a^2x^3+7a^3x+b=0\tag{1}$$ $$x^7 - 2x^6 + x^5 - x^4 - 5x^2 - 6x - 4 + n(x - 1)x^2(x + 1)^2=0\tag{2}$$ $$x^7 + 7x^6 - 28(n^2 + 27)x^2 + 112(n^2 + ...
16
votes
1answer
680 views

On the solvable octic $x^8-x^7+29x^2+29=0$

The irreducible but solvable octic, $$x^8-x^7+29x^2+29=0\tag{1}$$ was first mentioned by Igor Schein in this 1999 sci.math post. This does not factor over a quadratic or quartic extension, but over ...
5
votes
1answer
273 views

Irreducibililty tests for cubic and quartic polynomials over finite fields

The unpublished preprint: D. G. A. Jackson, The irreducibility of a cubic over $\mathbb{F}_q$, Research Report 98-17, Univ. of Sydney (1998) gives necessary and sufficient conditions (when ${\rm ...
1
vote
1answer
139 views

Roots of the derivative as symmetric functions of the roots of the polynomial

Let $p(t)=(t^2-a_1^2)\ldots(t^2-a_n^2)$ be an even polynomial with distinct real non-zero roots. Can the roots of its derivative $p'(t)$ be expressed nicely (e.g. as rational symmetric functions) in ...
12
votes
1answer
643 views

Janelidze's Galois theory

I am interested in learning about categorical Galois theory, as developed by Janelidze. I am a graduate student who has good familiarity with category theory, but not in the level of doing research on ...
0
votes
0answers
156 views

on the Galois cohomology of reductive groups

Let $G$ a simply connected group over an algebraically closed field. $F=k((t))$ and $\mathcal{O}=k[[t]]$. Let $\gamma\in G(\mathcal{O})\cap G(F)^{rs}$. Let $E=k((t^{1/n}))$ with $n$ prime to the ...
7
votes
2answers
710 views

Galois Group of $x^n-2$

Let $n \in \mathbb{N}$, then the order of the Galois Group of $x^n-2$ coincide with $n \phi(n)$ for $n\in \{ 1 , \dots , 36 \}$ except for $n=\{ 8, 16, 24, 32 \}$ where this order is $\frac{ n \phi ...
2
votes
2answers
200 views

Confusion about two statements about cohomology of curves with automorphisms

Let $\pi :C\rightarrow \mathbb{P}^{1}$ be a cyclic cover of degree $m$ of $\mathbb{P}^{1}$. So $C$ has an action of $\mathbb{Z}/m\mathbb{Z}$. Let $\xi$ be a primitive $m$-th root of unity. Consider ...
2
votes
0answers
52 views

lift isomorphic in a sufficiently thick fiber

Let $P$ and $P'$ two polynomials in $k[[\pi]][t]$ for an algebraically closed field $k$ and let $A=k[[\pi]]$. We consider $ X'=Spec (A[t]/(P'))$ and $X=Spec (A[t]/(P)$. Let $d=val(\Delta(P))$ where ...
5
votes
1answer
377 views

Relation between Galois theory and Etale Cohomology

I am a graduate student working on category theory. I am familiar with categorical Galois theory, in the way developed by Janelidze - as described for example in "Galois Theories". I am now trying to ...
1
vote
1answer
170 views

Deciding if the largest absolute value real root lies in a cyclotomic extension

Given an algebraic equation of degree $n$ of form: $$x^{n} - a_{n-1}x^{n-1} - a_{n-2}x^{n-2} - \dots - a_{0} = 0$$ where each $a_{i} \in \Bbb Q^{+}$ and atleast one positive root, how does one decide ...
1
vote
0answers
285 views

About Schanuel's conjecture

I just read an article of Ram Murty about transcendence of special values of L-functions, and it seems that Schanuel's conjecture plays a crucial role in it. So given a positive integer $n$, let's ...
4
votes
2answers
220 views

Generalization of Kummer isomorphism?

This is a question I asked on math.stackexchange without success. Let $p$ be a prime number and denote by $\mathbb{F}_p(1)$ the one dimensional vector space over $\mathbb{F}_p$ endowed with an action ...
5
votes
1answer
592 views

Embeddings of $\overline{\mathbf{Q}}$ into $\mathbf{C}$

Keenan Kidwell's answer to Place stabilizers for the absolute Galois Group mentions that "choosing a complex conjugation" in $G_{\mathbf{Q}}$ means choosing an embedding ...
3
votes
1answer
281 views

Rigidity, moduli space, and moduli field

In his comment to the question Algebraic numbers and the complex projective line minus three points JSE says that for algebro-geometric objects defined over the complex numbers "in practice, 'the ...
10
votes
1answer
387 views

Least prime $p$ such that an irreducible polynomial of degree $n$ has no root modulo $p$?

This question is inspired by an old question of Greg Kuperberg, about how small is the first prime $p$ which makes a given monic polynomial $P$ with integral coefficient have a (simple) root modulo ...
1
vote
0answers
33 views

Degree of factor of resolvent

As always with my questions this is not at research level, but the assertion is made in a research paper, plus no one's been able (or willing) to answer it over at MSE. Here is the original question, ...
11
votes
2answers
620 views

Frobenius density theorem

As mentioned by @MichaelZieve in his comment re Quadratic residue, Chebotarev's density theorem was preceded by an allegedly much easier theorem of Frobenius (Mike Zieve is certainly not the only one ...
0
votes
0answers
212 views

Finding the effective maximum number of subspaces in a finite dimensional vector space

Hi mathoverflow community, may be some one may give me a hint on the following problem before I spend much time on brute force search. For $q$ a prime number and $n=6$, let $\mathbb {F}_{q}^{n}$ be ...
9
votes
1answer
311 views

What evidence is there that $\mathbb{Q}^{ab}$ is ample?

A field $K$ is called ample if every smooth curve over $K$ that has a $K$-point has infinitely many $K$-points. Examples include fraction fields of henselian rings. (This is far from trivial, but was ...
2
votes
0answers
102 views

On Artin-Hironaka lemma and Galois theory

Let $A=k[[t]]$ Let $B$ a flat $A$-finite algebra which is etale and Galois at the generic point. Then by Artin lemma 3.12 (ii) in his IHES paper on approximation, we know that there exists an integer ...
3
votes
1answer
200 views

Gaussian Periods

I attempted to get some information on this from MSE, but did not even receive a comment, so i'm trying my luck here: Let p be an odd prime number and $p-1=m d$ a decomposition into positive factors. ...
1
vote
1answer
191 views

a question of local field

Let $K$ be a local field with mix char, $k$ residue field. We have an exact sequence $0 \longrightarrow I \longrightarrow G_{K} \longrightarrow G_{k} \longrightarrow 0$ Then we obtain an action of ...
8
votes
1answer
535 views

Galois group of constructible numbers

Let $\mathcal{C}$ be the field of constructible numbers, that is, the complex numbers constructible by compass and straightedge. It can be shown that it consists of all the numbers obtainable by ...
0
votes
0answers
42 views

IGP for non-fixed ground field

I have an assignment to show the known result that any finite group occurs as Galois group of $k(x_1,...,x_n)/F$ for some field $F$. This seems like an insurmountable task to be given in a first ...
10
votes
2answers
559 views

Embeddings of finite groups into GL(n,Q_p)

This question is inspired by some interesting comments on this recent question. Fix an integer $n \geq 1$ and a finite subgroup $G$ of $\mathrm{GL}_n(\mathbf{C})$. It is known that there are ...
4
votes
2answers
299 views

Is there a nice criterion for when the splitting fields of two irreducible polynomials are equal?

This question is a bit vague, but I was wondering if someone might have an insightful answer. Let $f_1$ and $f_2$ be irreducible polynomials in $\mathbb{Q}[x]$. Is there an easy criterion for knowing ...
2
votes
0answers
506 views

Books on advanced galois theory

I have been studying galois theory on my own and find it very fascinating. I have gone through Ian Stewarts book: http://www.amazon.co.uk/Galois-Theory-Third-Chapman-Mathematics/dp/1584883936. I am ...
0
votes
0answers
226 views

Notation Problem, Fixed Rings and Fields

I am trying to make sense of the notation and certain sets in two articles by Annick Valibouze whose results I'm using for my bachelor's thesis, I hope it's relevant enough to merit an answer. In ...
1
vote
1answer
286 views

Galois descent for semilinear endomorphisms

Let $K \subset L$ be a finite Galois extension, $\sigma$ an automorphism of $L$ (not necessarily fixing $K$) and let $E$ be a finite-dimensional vector space over $L$ together with an $\sigma$-linear ...
0
votes
1answer
173 views

Hurwitz's construction of simple covers

What is commonly meant by Hurwitz's construction of simple covers?
0
votes
0answers
77 views

solvablity for some polynomial

We know that if F is a field which ch(F)=0,p(x) is a polynomial with coefficient of F,then p(x)root solvablity if and only if the Galois group of p(x) is solvablity .Here I want to know if the ...
3
votes
0answers
152 views

Correspondences of schemes induced by a finite Galois extension

I am trying to do the first exercises of the Mazza-Voevodsky-Weibel book Lecture Notes on Motivic Cohomology, which are some elementary results about correspondences between schemes. Recall that if ...
2
votes
1answer
188 views

Multiple eigenvalues over imperfect fields

Let $K$ be a field. For a matrix $A\in GL_n(K)$ we can find the Jordan normal form $A'$ in $GL_n(\overline{K})$, where $\overline{K}$ is the algebraic closure of $K$. We write $j_\alpha(A)$ for the ...
4
votes
1answer
340 views

How does an irreducible polynomial of prime power order split over an extension of prime power degree

I asked this question in a similar form on math.se here, where it has been unanswered for a little over a week some work on it can be found there. The motivation for this question was another ...
5
votes
2answers
722 views

why are subextensions of Galois extensions also Galois?

Generally a Galois extension is defined to be an algebraic extension that is also normal & separable. It is then shown that in the sequence of field extensions $L|M|K$ if $L|K$ is Galois then ...
3
votes
0answers
271 views

Primitive Elements for $S_n$ Galois Extensions?

This is an offshoot of my other question two days ago. How to apply Hilbert's Irreducibilty theorem? But it is of independent interest. Solutions of Inverse Galois Problem for a finite group ...