The galois-theory tag has no usage guidance.

**5**

votes

**1**answer

204 views

### Are all rational exactly solvable differential equations known?

Are there known necessary and sufficient conditions that specify in terms of an algorithm in a real arithmetic model (where real operations, elementary functions, and comparisons are elementary steps) ...

**5**

votes

**4**answers

790 views

### Consequences of the Inverse Galois Problem

Are there any papers written about the consequences of the Inverse Galois Problem in case it is proved to be true or false?
We know a lot of things that would be true if the Riemann Hypothesis holds. ...

**0**

votes

**1**answer

227 views

### Find all possible rational values of the parameter of a parametric cubic such that it is reducible

Description: Given the following parametric cubic polynomials ${E}^{3}
- 15\, {\beta}_{\pm}\, {E}^{2} - 3 \left({71\, {\beta}_{\pm}^{2} + 352\, {\beta}_{\mp}}\right) E
+ 135\, {\beta}_{\pm} ...

**3**

votes

**0**answers

164 views

### Application of Stickelberger's Theorem to Quadratic field

I am trying to understand a proof of the Kronecker-Weber Theorem by Franz Lemmermeyer,[http://arxiv.org/pdf/1108.5671.pdf] in which he uses Stickelberger's Theorem applied to Kummer extensions. I can ...

**14**

votes

**0**answers

300 views

### Is the absolute Galois group of the rationals Hopfian?

Is every continuous epimorphism from the absolute Galois group of $\mathbb{Q}$ to itself injective?

**2**

votes

**1**answer

161 views

### What are some good references on the Galois theory, factorization, or minimality of differential equations?

Let $\lambda$ be a nonzero complex number and let $u(x)$ be some smooth function $\mathbb{R}\to\mathbb{C}$, not identically zero. I want to prove that if $u$ satisfies $$u'' + \lambda u'+ \lambda^2 u ...

**3**

votes

**1**answer

122 views

### Density of tuples of conjugate algebraic numbers

One can see that algebraic numbers are dense in the complex plane by just looking at quadratic polynomials. I am interested in a "higher order" density of algebraic numbers.
More specifically: is it ...

**10**

votes

**1**answer

234 views

### Is there a solvable point on any variety over the field of complex rational functions?

Let $K = \mathbb{C}(T)$ be the field of complex rational functions in one variable, and let $V$ be a variety defined over $K$.
Must $V$ have a solvable point?
The variety $V$ is assumed ...

**9**

votes

**2**answers

436 views

### Quintic polynomials generating cyclic extensions

We know that a cubic equation generates a cubic cyclic extension iff it has a perfect square discriminant. Now I am wondering if there is a similar condition for quintic polynomials. So I am trying to ...

**24**

votes

**0**answers

696 views

### On certain representations of algebraic numbers in terms of trigonometric functions

Let's say that a real number has a simple trigonometric representation, if it can be represented as a product of zero or more rational powers of positive integers and zero or more (positive or ...

**2**

votes

**0**answers

175 views

### Explicit formula for $\sin\frac{\alpha}{3}$ [closed]

Recently I was thinking on the following problem: find all $\alpha\in R$ such that $\sin\frac{\alpha}{3}$ has an algebraic expression involving only rational powers over rational constants and ...

**4**

votes

**0**answers

175 views

### On quintic roots $x_1^{1/5}+x_2^{1/5}+\dots+x_5^{1/5}$

I. Given the roots $x_i$ of the general cubic,
$$x^3+c_2x^2+c_1x+c_0=0\tag1$$
with $c_i \in \mathbb Q$, it is easy to show that the expression,
$$F_3 = (x_1^{1/3}+x_2^{1/3}+x_3^{1/3})^3$$
is an ...

**11**

votes

**0**answers

316 views

### Evaluating products of cyclotomic polynomials at roots of unity

Are there general non-trivial conditions on $p(\cdot)$ and $n$, where $p(\cdot)$ is a product of cyclotomic polynomials and $n$ is a positive integer, such that all the coefficients of $p(\cdot)$ are ...

**6**

votes

**1**answer

330 views

### abelian $\ell$-adic representations in $\widehat{SL(2,Z)}$

In Grothendieck's Esquisse he claims that the action of
$$\text{Gal}(\mathbb Q)\to\text{Out}(\pi_1(M_{1,1})=\text{Out}(\widehat{SL(2,Z)})$$
obtained from the homotopy exact sequence of the étale ...

**3**

votes

**1**answer

117 views

### Does the Lehmer quintic parameterize certain minimal polynomials of the $p$th root of unity for infinitely many $p$?

The solvable Emma Lehmer quintic is given by,
$$F(y) = y^5 + n^2y^4 - (2n^3 + 6n^2 + 10n + 10)y^3 + (n^4 + 5n^3 + 11n^2 + 15n + 5)y^2 + (n^3 + 4n^2 + 10n + 10)y + 1 = 0$$
with discriminant $D = (7 + ...

**0**

votes

**0**answers

109 views

### construct totally real cubic fields

Given some $e_i=0$ or $1$ for $1\le i \le 3$.
I wish to construct a totally real cubic number field $K$ so that $\prod_{i=1}^3 sgn(\sigma_i(u))^{e_i}$ is always $1$ for any $u\in O_K^\times$ where ...

**9**

votes

**1**answer

268 views

### Variance of the roots of a complex polynomial

Let $P\in\mathbb{C}[X]$ be a complex polynomial of degree $n\geq 2$ with complex roots $\alpha_1, \alpha_2,\ldots, \alpha_n$. My question is about the existence of a formula for the variance of the ...

**9**

votes

**0**answers

325 views

### Do we know that 'most' finite groups are Galois groups of number fields?

The inverse Galois problem is a classical problem in mathematics and asks whether every finite group can be realized as the Galois group of a finite field extension of the rational numbers. The ...

**6**

votes

**2**answers

586 views

### Isomorphism problem for two radical extensions

Let $n\geq 2$ and let $a,b\in{\mathbb Q}$. Suppose that both the
polynomials $A=X^n-a$ and $B=X^n-b$ are irreducible. We want to know whether
( * ) there is a root $\alpha$ of $A$ and a root $\beta$ ...

**5**

votes

**1**answer

458 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

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

56 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

151 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

355 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

179 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

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

**13**

votes

**2**answers

922 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"?

**8**

votes

**2**answers

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

**11**

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

**4**

votes

**1**answer

363 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.
Prove or disprove that the ...

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

**6**

votes

**3**answers

383 views

### Finite extension of local fields

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

**6**

votes

**1**answer

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

**15**

votes

**1**answer

987 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

307 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

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

**11**

votes

**2**answers

394 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

204 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

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

**15**

votes

**3**answers

354 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

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

**34**

votes

**1**answer

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

454 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

328 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

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

**61**

votes

**2**answers

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

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

**33**

votes

**1**answer

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

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