The galois-theory tag has no usage guidance.

**8**

votes

**1**answer

415 views

### Variant of Hilbert 90 for Galois extensions

Let $K/\mathbb F_q(x)$ be a finite Galois extension with Galois group $G$. Let $Aut(K)$ be the group of $\mathbb F_q$-automorphisms of $K$.
Obviously, $G\subseteq Aut(K)$. It is well known that
...

**7**

votes

**1**answer

388 views

### Incomplete Failures of the Inverse Galois Problem

I thought of this question the other day and have not been able to get any traction on references or results along its lines, so I finally caved and decided to ask it here. I am no expert on Galois ...

**1**

vote

**1**answer

225 views

### Maximal separable extension of $\mathbb F_q((t))$

Let $K=\mathbb F_q((t))$. I want to prove that $K^{sep}$ is composite of $K^{sep}(p)$ and $K^{sep}(not \ p)$, where $K^{sep}(p)$ is maximal Galois extension of $K$ of exponent $p$, $K^{sep}(not \ p)$ ...

**2**

votes

**1**answer

167 views

### Isomorphism related to the first cohomology group

I would like to prove the following:
Let $K_1$, (resp. $K_2$) be a finite Galoisian extension of $\mathbb Q$ of degree $[K_1:\mathbb Q]=n_1$ with ring of integers $\mathcal O_{K_1}$ and Galois group ...

**3**

votes

**1**answer

230 views

### Computation of Galois group

I'm studying methods of computation of Galois group of irreducible polynomials over $\mathbb{Q}$. In case of fifth degree there are 5 variants of Galois ...

**6**

votes

**1**answer

443 views

### Is there a precise notion of “almost all” such that almost all finite groups are Galois groups of extensions of the rationals?

I vainly tried to define a notion of "almost solvable group" such that every "almost solvable group" is the Galois group of a finite extension of the rationals, but I can't figure out the right way to ...

**3**

votes

**2**answers

181 views

### “Degree 3 fields”

I was wondering what was known about fields $k$ having the property that any polynomial
over $k$ of degree $3$ has at least one root in $k$. Does such a field have a special name ?
Is there some kind ...

**18**

votes

**1**answer

1k views

### How to prove that every polynomial in an infinite family is irreducible over Q?

Consider the bivariate polynomial $$p(X,Y) = X^5 - (2 Y + 1) X^3 - (Y^2 + 2) X^2 + Y (Y-1) X + Y^3.$$ For every integer $y \ge 4$, I conjecture that $p(X,y)$ is irreducible in $\mathbb{Q}[X]$. How can ...

**1**

vote

**0**answers

252 views

### Discriminant of a compositum of number fields, a bound?

Given two number fields $E$ and $F$, is there a bound on $|d_{EF}|$, the absolute value of the absolute discriminant of the compositum of fields $EF$, in terms of $d_E$, $d_F$, and the extension ...

**7**

votes

**1**answer

344 views

### Degree of Kummer extensions of number fields

Let $K$ be a number field and $a\in K^*$ of infinite order in $K^*$. How do I show that
$$[K(\sqrt[n]{a},\zeta_n):K]\geq C\cdot n\cdot\varphi(n)$$
holds for all positive integers $n$, with a positive ...

**5**

votes

**1**answer

199 views

### The proof of Belyi theorem by Lando and Zvonkin

I'm sorry for asking such a specific question, but i have trouble understanding one detail in the proof of Belyi's theorem in the book "Graphs on surfaces and their applications" by Lando and Zvonkin" ...

**-1**

votes

**1**answer

150 views

### Order of the zero of a meromorphic function under the action of $Gal(\mathbb{C},\mathbb{Q})$

Let's take $X$ a Riemann surface as an algebraic curve in $\mathbb{P}^n$.
The group $Gal(\mathbb{C},\mathbb{Q})$ (automorphisms of $\mathbb{C}$ which act as the identity on $\mathbb{Q}$) acts on $X$ ...

**11**

votes

**3**answers

2k views

### An algebraic number is not a root of unity?

This problem is related to my study of the Burau representation of the braid group $B_3$: I was trying to show that certain "congruence subgroups" are of infinite index.
There is an approach that ...

**2**

votes

**1**answer

301 views

### Number field of degree 5

I am interested in field extensions of the rationals. About degree 3 extensions there are many refrences including the famous paper of Shanks "The Simplest Cubic Fields". In particular he gave ...

**4**

votes

**0**answers

213 views

### Solvable parametric $7$th and $13$th degree equations using $\eta(q)/\eta(q^p)$?

Q: Why is that some polynomial relations between eta quotients have a solvable Galois group, even if the deg is $n>4$?
For example, we have the well-known modular equation,
$$u^6 - v^6 + ...

**2**

votes

**0**answers

97 views

### Galois correspondence for action of general linear group on purely transcendental extension

For a fixed positive integer $n$, the group $G=GL_n(\mathbb{C})$ acts on the field $K=\mathbb{C}(t_1,\ldots,t_n)$ by linear change of variables. I would like to know if there is something like a ...

**3**

votes

**0**answers

557 views

### Differential Galois number theory

Following http://math.stackexchange.com/questions/635659/can-the-error-term-involved-in-the-pnt-be-expressed-in-a-galois-theoretic-framew?noredirect=1#comment1341143_635659, I vainly tried to find ...

**3**

votes

**0**answers

207 views

### On the peculiar Lagrange resolvent of the septic $7x^7+14x^4+7x^3-1=0$

Given an irreducible solvable equation $P(x)=0$ of prime degree $p>2$ with rational coefficients and $\zeta^p=1$, define the usual Lagrange resolvents of the roots $x_i$ as,
$$R_n = ...

**4**

votes

**1**answer

319 views

### Can you identify complex conjugations in a number field?

Every automorphism of an algebraic number field $F$ extends to an automorphism of $\mathbb{\overline{Q}}$, but an order 2 automorphism of $F$ need not extend to one of order 2 on ...

**3**

votes

**1**answer

330 views

### Unramified extension and class field theory

I am not sure this question is proper for this site, but there is no other places that I can get an answer. So if anyone can give an answer for this, it would be very helpful to me.
Let $F$ be a ...

**3**

votes

**2**answers

362 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

**1**answer

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

**11**

votes

**1**answer

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

**5**

votes

**1**answer

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

**4**

votes

**2**answers

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

**4**

votes

**1**answer

394 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

223 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

537 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

429 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

943 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

249 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

500 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

182 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

810 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

525 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

**1**answer

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

**16**

votes

**1**answer

935 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

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

**10**

votes

**2**answers

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

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

421 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

207 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

342 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

245 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

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

**4**

votes

**1**answer

308 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

519 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

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