The galois-theory tag has no usage guidance.

**5**

votes

**3**answers

1k views

### Solving z^n=a+ib using only radicals of positive real numbers

Let $a+bi\in\mathbf{C}$ be a complex number with $a,b\in\mathbf{R}$. Then
it is easy to find exact solutions of $z^2=a+ib$. For example let $z=u+iv$. Then
$$
u^2+v^2=z\overline{z}=\sqrt{a^2+b^2}
$$
...

**3**

votes

**1**answer

85 views

### Bibliography suggestion for Kummer theory

I already posted a question about a sum involving the degree of a Kummer extension.
Now I'm interested in a more specific fact about Kummer extensions.
From Hooley's paper "On Artin's conjecture", we ...

**21**

votes

**2**answers

415 views

### Are there irreducible polynomials with all zeros on two concentric circles?

This is somewhat similar to this recent question, but extending in a different direction.
Let $f(x)$ be an irreducible polynomial of degree $n$ with integer coefficients. Call such $f$ a bicycle ...

**5**

votes

**2**answers

279 views

### Inverse Galois problem for simple Lie type groups

Progress towards the Inverse Galois problem over $\mathbb{Q}$ is very well documented for sporadic groups ($M_{23}$ is the only case open) and for $PSL_n(q)$ (a lot of cases known, but wide open in ...

**14**

votes

**1**answer

908 views

### Grothendieck's “La longue Marche à travers la théorie de Galois”

It seems that Grothendieck's familly has given permission for the distribution of his unpublished works, so I hope it is ok to ask this.
Is there any way to obtain a copy (online or not) of "La ...

**1**

vote

**1**answer

102 views

### Galois group - unknown word

I found in some articles a definition of the Galois group of a differential module. In the definition appeared the expression
$(Repr(Gal(M,\nabla),Forget)$. According to the the articles, this pair ...

**5**

votes

**2**answers

526 views

### Is there a $\mathbb{Q}$-linear map $T$ over $\mathbb{Q}[x]$ such that for all polynomials $Gal(T(f))$ $\simeq$ The commutator subgroup of $Gal(f)$?

I asked this question at MSE but I did not receive an answer. So I ask it at MO:
We denote the field of rational numbers by $\mathbb{Q}$. The Galois group of a polynomial $f$ is denoted by ...

**11**

votes

**1**answer

452 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

**0**answers

208 views

### Endofunctors on the category of groups which are Galois- related to a linear map on $\mathbb{Q}[x]$

I thank J.C. and Arturo Magidin for interesting suggestions in the comments to this question
In this post the field of rational numbers is denoted by $\mathbb{Q}$. The space of polynomials with ...

**11**

votes

**2**answers

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

**12**

votes

**0**answers

262 views

### Aligned roots of irreducible polynomials

It is well known from this famous question that the roots of a random polynomial tend to be close to the unit circle. So I was wondering in a somewhat converse sense: for an irreducible polynomial, is ...

**5**

votes

**2**answers

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

**6**

votes

**2**answers

385 views

### Why are most coefficients of these minimal polynomials divisible by $p$?

For an odd prime $p$, let $\zeta:=e^{\frac{\pi i}p}$ and choose odd $1<n<p$. Further let $q(x)$ and $r(x)$ be integer polynomials such that $r(x)$ has no common factor with $x^n+1$, and $\xi$ ...

**7**

votes

**0**answers

174 views

### Galois group for flexes of a plane $d - ic$

Here is the first problem considered in Harris's 1979 paper, Galois Groups of Enumerative Problems (see here for the paper itself).
The Galois groups are: for the flexes of a plane $d$-ic, the ...

**6**

votes

**1**answer

176 views

### Can a product of conjugates be a Pisot number again?

Let $p(X) \in \mathbb{Z}[X]$ be an irreducible polynomial, and let $\alpha_1 \dots, \alpha_n$ be its roots in $\mathbb{C}$. Suppose that $\alpha_1$ is a Pisot number, that is, $\alpha_1 \in ...

**8**

votes

**2**answers

519 views

### Does the Galois group of a Pisot polynomial contain the alternating group?

Let $n \in \mathbb{N}$, and let $p(X) \in \mathbb{Z}[X]$ be a monic polynomial of degree $n$. Suppose that exactly one complex root of $p$ is of modulus $> 1$, and that the remaining $n-1$ roots of ...

**6**

votes

**0**answers

171 views

### Criteria for irreducibility using the location of complex roots

I would like to see criteria for the irreducibility of a polynomial over $\mathbb{Z}$ based (mainly) on the location of the roots of the polynomial in the complex plane. An example of such a criterion ...

**-4**

votes

**1**answer

202 views

### Gauss-Wantzel theorem, Fermat primes and solvability of S_n [closed]

Gauss-Wantzel theorem asserts that a polygon with $n$ sides is constructible if and only if $n$ is a product of a power of $2$ and distinct prime Fermat numbers, where the Fermat number of index $k$ ...

**5**

votes

**2**answers

325 views

### Finding the inertia group

Set $h(x) = x^5+x^4+x^3+x^2+x-1$, let $L$ be the splitting field of $h$ over $\mathbb{Q}$, and let $p$ be a prime of $L$ lying over $2$.
What is the isomorphism class of the inertia group $I_p$, ...

**8**

votes

**2**answers

371 views

### Inverse Galois problem for $GL_2$ of a compact local ring

Let $A$ be complete noetherian local ring with maximal ideal $m$ and residue field $A/m$ a finite field (in other words, $A$ is a noetherian compact local ring)
For which $A$ as above is there a ...

**4**

votes

**0**answers

150 views

### Expressing every algebraic number using roots of trinomials?

This question is a continuation of Is every polynomial a factor of a trinomial?
We say that $T(X) \in \mathbb{Q}[X]$ is a trinomial if there exist $A,B,C \in \mathbb{Q}$ such that $T(X) = AX^n + BX^m ...

**5**

votes

**0**answers

184 views

### On $a+b+c= abc = n$, elliptic curves, and solvable Galois groups

Solving $a+b+c = abc = 6$ in the rationals entails solving,
$$-24a+36a^2-12a^3+a^4=z^2\tag1$$
which is birationally equivalent to an elliptic curve. It can be shown that if $a$ is a solution, then ...

**27**

votes

**5**answers

7k views

### Computing the Galois group of a polynomial

Does there exist an algorithm which computes the Galois group of a polynomial
$p(x) \in \mathbb{Z}[x]$? Feel free to interpret this question in any reasonable manner. For example, if the degree of ...

**13**

votes

**2**answers

495 views

### What are Mean Values of Ideal Densities in Galois Extensions?

In an unfinished (and as of now unpublished) article intended for the encyclopedia of mathematics, Arnold Scholz wrote:
"Classifying extensions according to the Galois group
of their normal closure ...

**3**

votes

**1**answer

166 views

### Subfields of $\mathbb{Q}\bigl(\sqrt[n]{a}\bigr)$ for $a>0$

This is related to a question on Math Stack Exchange.
Given a rational number $a>0$ and an $n\in\mathbb{N}$ such that $x^n - a$ is irreducible over $\mathbb{Q}$, it is known that every subfield of ...

**1**

vote

**1**answer

56 views

### Separable extensions of henselian fields

Let $(k,v)$ be a henselian field, with $\mathcal{O}$ and $\bar{k}$ being respectively its valuation ring and its residue field. If $K/k$ a finite separable field extension (on which $v$ thus extends ...

**2**

votes

**2**answers

363 views

### Unsolvability of a Quintic and its link with “Simplicity” of $A_{5}$

This is a re-post from MSE (because I did not get the kind of answer I wanted even after offering a bounty).
At the outset I must mention that I don't have a fairly working knowledge of Galois Theory ...

**0**

votes

**1**answer

180 views

### Find all possible rational pairs of a parametric sextic and all cases where it is reducible for either parameter

Find all possible rational solutions pairs $(z,a)$ of the equation
$a^6 + a^4 (-18368 + 9184 z - 2912 z^2) + a^2 (61702144 - 61702144 z + 36814848 z^2 - 10694656 z^3 + 1748992 z^4) - z^2 ...

**30**

votes

**2**answers

3k views

### Why is differential Galois theory not widely used?

E.R.Kolchin has developed the differential Galois theory in 1950s. And it seems powerful a tool which can decide the solvability and the form of solutions to a given differential equation.(e.g. ...

**0**

votes

**0**answers

39 views

### Automorphisms of a differential field and transcendence degree

Let $(\mathcal{F},+,\times,\partial)$ be a differential field, and let's define its automorphism group $Aut(\mathcal{F})$ as the group, under composition, consisting of all bijective maps ...

**2**

votes

**0**answers

156 views

### Reference request: Cohomology of Elliptic Curves

Is it true that the group
$$H^1(Gal(K^{ab}/K)/\mu_{\nu}(Gal(K_{\nu}^{ab}/K_{\nu})),E_{p^n})$$
is always p-divisible? Or are there any conditions which, when satisfied, guarantee its p-divisibility?
...

**6**

votes

**0**answers

227 views

### Algebraic Closure of the field of rational functions

Using the theorem of Puiseux, one concludes that the algebraic closure of $\mathbb C(X)$ is the set of algebraic elements (over $\mathbb C(X)$) of the algebraic closure of $\mathbb C((X))$, which is ...

**13**

votes

**1**answer

488 views

### When complex conjugation lies in the center of a Galois group

Let $K \subseteq \mathbb{C}$ be a number field (I'm fixing an embedding), and assume $K/\mathbb{Q}$ is Galois with Galois group $G$. Let $\tau \in G$ denote complex conjugation. This question ...

**5**

votes

**1**answer

138 views

### Coverings/Cech cohomology of totally disconnected spaces

For any topological space $X$ we have a natural functor
$\text{Cov}_X \rightarrow \text{Fun}(\pi_1(X),\text{Set})$
from the category of coverings of $X$ to the category of functors $\pi_1(X) ...

**3**

votes

**0**answers

175 views

### How to handle a polynomial whose roots exhibit obvious symmetry

I've got a sequence of polynomials, and for each of them the roots obviously follow a definite pattern. Here are the roots of the 34th one
All others have their roots arranged in a similar ...

**5**

votes

**1**answer

187 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

774 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

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

**35**

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

**3**

votes

**0**answers

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

**7**

votes

**3**answers

622 views

### Centralizers of elements in free profinite groups

I believe, although I can't say that I've given a rigorous proof, that for a free group $F_r$, and an element of it $a$, $C_{F_r}(\langle a \rangle)=$ the group generated by the elements $b \in F_r$ ...

**24**

votes

**1**answer

1k views

### more on “Transalgebraic Theories” (a 19th century yoga)?

Among the talks at occasion of the Galois Bicentennial, one is about "Transalgebraic Theories". Unfortunately I found only this article describing that fascinating idea as " an extremely powerful ...

**2**

votes

**1**answer

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

**14**

votes

**1**answer

1k views

### “The Galois group of $\pi$ is $\mathbb{Z}$.”

Last year, in a talk of Michel Waldschmidt's, I remember hearing a statement along the lines of the title of this question, that is, "The Galois group of $\pi$ is $\mathbb{Z}$.". In what ...

**14**

votes

**0**answers

283 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?

**10**

votes

**1**answer

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

**8**

votes

**2**answers

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

**3**

votes

**1**answer

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

**22**

votes

**0**answers

679 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

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