The galois-theory tag has no wiki summary.

**5**

votes

**1**answer

416 views

### Disjoint images of polynomials

Are there any $f,g \in \mathbb{Q}[x]$ such that for every root of unity $\zeta$, and every $a,b \in \mathbb{Q}(\zeta)$, $f(a) \neq g(b)?$

**14**

votes

**2**answers

871 views

### Images of polynomials

Let $f,g \in \mathbb{Q}[x]$ be polynomials such that $\{f(a) : a \in \mathbb{Q}\} \subseteq \{g(a) : a \in \mathbb{Q} \}$. Must there be some $h \in \mathbb{Q}[x]$ such that $f(x) = g(h(x))$ for all ...

**2**

votes

**0**answers

54 views

### Finite extension of K(x) with extra structure: definable over field of invariants?

Let $K$ be an algebraically closed field, and let $\sigma$ be an automorphism on $K$. Set $k=K^\sigma$. Consider the rational function field $K(x)$ and extend $\sigma$ to $K(x)$ by $\sigma(x)=x$, ...

**2**

votes

**0**answers

134 views

### What are the minimal degrees of the real and imaginary part of an algebraic complex number? [closed]

Let $z=a+bi\in\mathbb C$ with $b\ne0$ be an algebraic complex number of minimal degree $n$. It is obvious that $a=\dfrac {z+\bar{z}}2$ and $b=\dfrac {z-\bar{z}}{2i}$ are also algebraic. For $n=3$, it ...

**7**

votes

**0**answers

254 views

### The construction of the 257gon

If $\zeta\in\mathbb C$ is a primitive $257$th root of unity, the Galois group $\operatorname{Gal}(\mathbb Q(\zeta)/\mathbb Q)$ is cyclic of order $256=2^8$, so we know that there is a sequence of $8$ ...

**48**

votes

**2**answers

1k views

### Does one real radical root imply they all are?

Is there an example of an irreducible polynomial $f(x) \in \mathbb{Q}[x]$ with a real root expressible in terms of real radicals and another real root not expressible in terms of real radicals?

**3**

votes

**2**answers

144 views

### efficiently checking that a field extension is Galois

Let $K \subset L$ be an algebraic extension of fields finitely presented over a prime field or over an algebraically closed field. Is there an efficient procedure to check that $L/K$ is Galois? To ...

**7**

votes

**2**answers

442 views

### Galois groups and prescribed ramification

What is known about finite groups $G$ for which there exists a Galois extension $K$ of $\mathbb{Q}$ ramified only at $2$ such that $\text{Gal}(K/\mathbb{Q}) \cong G$ ? More generally, which groups can ...

**11**

votes

**2**answers

805 views

### What justification can you give for the fact that “most ODEs do not have an explicit solution”?

What justification can you give for the fact that "most ODEs do not have an explicit solution"?

**0**

votes

**0**answers

66 views

### Metric defined over Galois extensions of the rationals [duplicate]

I don't know if this of interest, but I'd be curious to know if the following idea has been pursued.
In this question (Metric on the set of subsets of the rational primes) I proposed a metric, d, ...

**8**

votes

**2**answers

583 views

### Is a Galois extension of the rationals determined by its set of completely split primes?

apologies if this is a naive question. Consider two Galois extensions, K and L, of the rational numbers. For each extension, consider the set of rational primes that split completely in the ...

**10**

votes

**4**answers

2k views

### Can a sum of roots of unity be an integer?

Let $n \geq 2$, $H \lneq (\mathbb{Z}/n\mathbb{Z})^*$, $\zeta_k$ a primitive $k$-th root of unity. Is it possible that $$\sum_{h \in H} \zeta_k^{h} \in \mathbb{Z}$$ for every $k$ dividing $n$ such that ...

**1**

vote

**0**answers

129 views

### q-th powers and roots of polynomials

Let $p,q,r$ be integers with $r\ge2$; let $f$ be a polynomial of the form $f(X) = g((X+1)^r)$, which is not a $q$-th power. Let $\omega$ be a $p$-th root of unity.
Show that the polynomial ...

**14**

votes

**2**answers

2k views

### Is there an algebraic number that cannot be expressed using only elementary functions?

(this is basically a repost of a question I asked at M.SE last year)
Is there an explicit real algebraic number (such that we can write its minimal polynomial and a rational isolating interval) that ...

**0**

votes

**0**answers

86 views

### Galois groups of CM fields which are a degree two extension of a cyclotomic field

Let $E$ be a CM number field. Assume that $E$ is a degree two extension of the cyclotomic field $\mathbb{Q}(\mu_n)$, so $E=\mathbb{Q}(\mu_n)(\sqrt{\kappa})$ for some $\kappa \in \mathbb{Q}(\mu_n)$.
...

**6**

votes

**3**answers

288 views

### Finite extension of local fields

Can a (higher) local field have uncountably many finite (seperable) extensions?

**4**

votes

**1**answer

172 views

### Comparison of finite field extensions of $\mathbb{C}(t)$

Let K be a finite field extension of $\mathbb{C}(t)$. Then $K$ is isomorphic to the field of meromorphic functions on a compact Riemann surface $X$ with genius $g$. By an argument similar to the proof ...

**14**

votes

**1**answer

773 views

### Is $x^{n}-x-1$ irreducible?

Is it true that for every $n \in \mathbb{N}$, $x^{n}-x-1$ is irreducible in $\mathbb{Z}[x]$?
The standard irreducibility criteria seem to fail.

**3**

votes

**1**answer

185 views

### Cyclotomic character in class field theory

Let $K$ be an extension of $\mathbb{Q}_p$.
By local class field theory, the $p$-adic cyclotomic character $\mathrm{Gal}_K \rightarrow \mathbb{Z}_p^\times$ corresponds to a character $\chi : K^\times ...

**6**

votes

**3**answers

510 views

### Constructing quintic number fields with certain splitting behaviour

I am looking for number fields $K$ which satisfy the following properties:
$[K:\mathbb{Q}]=5$.
The Galois closure of $K$ has Galois group $S_5$.
For each prime $p$ which ramifies in $K$, there ...

**7**

votes

**1**answer

248 views

### Families of quintics in $\mathbb{Q}[x]$ with Galois group $A_5$

Theorem. The Galois group of a quintic polynomial $f\in\mathbb{Q}[x]$ is $A_5$ if and only if its discriminant is a rational square and its Weber sextic resolvent has no rational root.
Question. What ...

**3**

votes

**2**answers

186 views

### Minimal fields of isomorphism for varieties

Let $V$ be an algebraic variety over a field $K$. Is there a constant $d = d(V) \in \mathbb{N}$ such that for any variety $W$ defined over $K$ and isomorphic to $V$ over the algebraic closure of $K$, ...

**2**

votes

**0**answers

137 views

### Transcendental numbers in the p-adic rationals $\mathbb Q_p$ [closed]

I know that there are uncountably infinite transcendentals over $\mathbb Q$ in $\mathbb Q_p$. What i want to ask is if there is a way to determine whether a transcendental over $\mathbb Q$ lays in ...

**14**

votes

**3**answers

281 views

### Local Inverse Galois Problem

It's a basic fact that a finite Galois extension $L/K$ of a local nonarchimedian field $K$ has solvable (in fact supersolvable) Galois group $G$. One sees this by using the ramification filtration ...

**4**

votes

**0**answers

263 views

### questions about the “relative fundamental group” of SGA 1 Expose XIII

$\newcommand{\LL}{\mathbb{L}}$
I'm reading SGA 1, obtained from http://arxiv.org/abs/math/0206203
My questions regard 4.5 and 4.5.1 (page 309) of Expose XIII.
Following "Exemples 4.4" in Expose ...

**25**

votes

**0**answers

473 views

### Degree 17 number fields ramified only at 2

The number $17$ is the smallest odd number that occurs as the degree of a number field $K/\mathbb{Q}$ for which the only finite prime that ramifies is $2$. The non-existence for $n < 17$ follows ...

**14**

votes

**1**answer

397 views

### Permutation Groups Containing non-commuting $p$-cycles

I noticed that the following is true, and that there is a reasonably elementary proof of it (in particular, the classification of finite simple groups is not needed). Let $G$ be a finite permutation ...

**2**

votes

**1**answer

164 views

### “Galois subfields of real radical extensions are at most quadratic” [closed]

I was looking at the following page that attempts to prove that any Galois extension of a subfield $F$ of $\mathbb R$ contained in $F(\sqrt[n]{a})$ for some real $a$ with a real $n$th root must have ...

**14**

votes

**0**answers

683 views

### Is there an infinite field of characteristic 2 whose multiplicative group is torsion free and (direct-sum) indecomposable?

Let $F$ be a infinite field of characteristic 2 whose multiplicative group $F^*$ is torsion free. I would like to conclude that $F^*$ is decomposable or find an example where $F^*$ is indecomposable.
...

**50**

votes

**2**answers

2k views

### Is it possible to express $\int\sqrt{x+\sqrt{x+\sqrt{x+1}}}dx$ in elementary functions?

I asked a question at Math.SE last year and later offered a bounty for it, but it remains unsolved even in the simplest case. So I finally decided to repost this case here:
Is it possible to express ...

**1**

vote

**1**answer

122 views

### Maximal unramified extension and inertia group for separable closure

I have a problem in understanding the inertia group of an infinite extension. I am studying it in this context.
Let $K$ be a field, $v$ a discrete valuation on $K$, and $\mathcal{O}_v$ the discrete ...

**31**

votes

**1**answer

897 views

### Is my field algebraically closed?

For a field $L$, let $\widetilde L$ be the splitting field of all irreducible polynomials over $L$ having prime-power degree.
Question: Do we have $\widetilde{\mathbf Q}=\overline{\mathbf Q}$?
...

**2**

votes

**2**answers

148 views

### Sextic resolvent has no rational root

An irreducible quintic $f(x)\in\mathbb{Q}[x]$, is solvable by radicals if and only if its sextic resolvent $\theta_f (y)=(y^3+py^2+qy+r)^2-2^{10}\Delta(f)y$ has a rational root ($\Delta$ is the ...

**8**

votes

**1**answer

362 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

353 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

187 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

158 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

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

**7**

votes

**1**answer

396 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

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

**17**

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

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

**6**

votes

**1**answer

248 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

157 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

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

**9**

votes

**3**answers

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

**1**

vote

**1**answer

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

**3**

votes

**0**answers

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

**1**

vote

**0**answers

78 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

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