The galois-theory tag has no usage guidance.

**5**

votes

**1**answer

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

**1**

vote

**1**answer

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

**7**

votes

**2**answers

566 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

**0**answers

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

**18**

votes

**2**answers

960 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

**1**answer

253 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

**3**answers

552 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)$. ...

**2**

votes

**0**answers

183 views

### Parametric Solvable Septics?

Known parametric solvable septics are,
$$x^7+7ax^5+14a^2x^3+7a^3x+b=0\tag{1}$$
$$x^7 + 21x^5 + 35x^3 + 7x + a(7x^6 + 35x^4 + 21x^2 + 1)=0\tag{2}$$
$$x^7 - 2x^6 + x^5 - x^4 - 5x^2 - 6x - 4 + n(x - ...

**16**

votes

**1**answer

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

**6**

votes

**1**answer

610 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 char}(...

**1**

vote

**1**answer

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

**17**

votes

**1**answer

1k 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

**0**answers

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

**11**

votes

**2**answers

2k 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 (n)...

**2**

votes

**2**answers

207 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

**0**answers

54 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

**1**answer

431 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

**1**answer

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

**2**

votes

**0**answers

351 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

**2**answers

250 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

**1**answer

620 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 $\overline{\mathbf{Q}}\...

**4**

votes

**1**answer

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

**12**

votes

**1**answer

535 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 $p$...

**1**

vote

**0**answers

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

**12**

votes

**2**answers

1k 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

**0**answers

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

**10**

votes

**1**answer

326 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

**0**answers

112 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

**1**answer

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

**24**

votes

**2**answers

1k views

### Can the unsolvability of quintics be seen in the geometry of the icosahedron?

Q1. Is it possible to somehow "see" the unsolvability of quintic polynomials
in the $A_5$ symmetries of the icosahedron (or dodecahedron)?
Perhaps this is too vague a question.
Q2. Are there ...

**1**

vote

**1**answer

200 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

**1**answer

670 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

**0**answers

46 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

**2**answers

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

**6**

votes

**2**answers

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

**9**

votes

**4**answers

1k 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

**0**answers

237 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

**1**answer

320 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

**1**answer

179 views

### Hurwitz's construction of simple covers

What is commonly meant by Hurwitz's construction of simple covers?

**0**

votes

**0**answers

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

**5**

votes

**0**answers

227 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

**1**answer

202 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

**1**answer

458 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

**2**answers

807 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 $L|M$...

**3**

votes

**0**answers

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

**2**

votes

**1**answer

378 views

### How to apply Hilbert's Irreducibilty theorem?

I do not know how to correctly interpret Hilbert's Irreducibility theorem
with Galois group as my aim.
Here $K$ is a number field (or simply $\mathbf{Q}$).
Scenario 1: Take a field $L$ that is a ...

**5**

votes

**1**answer

522 views

### Algorithm for determining whether two polynomials have the same splitting field

This question asks how to tell whether two cubic polynomials with coefficients in $\mathbb{Q}$ have the same splitting field. There are several answers to the question, but they don't include proofs. ...

**23**

votes

**2**answers

936 views

### Profinite groups as étale fundamental groups

Does every profinite group arise as the étale fundamental group of a connected scheme?
Equivalently, does every Galois category arise as the category of finite étale covers of a connected scheme?
...

**6**

votes

**2**answers

680 views

### Is it known if the absolute Galois group is “divisible”?

The definitions of a divisible group that I have seen all seem to assume abelian is an a priori property of the group. My question is as to whether or not it is known that--given a non-torsion element ...

**3**

votes

**1**answer

294 views

### Langlands Paper on representations of abelian algebraic groups

I have been working through Langlands paper which you can see here http://www.sunsite.ubc.ca/DigitalMathArchive/Langlands/pdf/AbelianAlg-ps.pdf and I can understand why one of his maps is obvious and ...