The galois-theory tag has no usage guidance.

**3**

votes

**1**answer

439 views

### On progress towards inverse Galois problem over rationals

I have heard that 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)$.
From where I can read ...

**15**

votes

**1**answer

398 views

### Pop's proof that $\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})=\mathrm{Aut}\underline\pi^{alg}_{\overline{\mathbb{Q}}}$

I've heard of this result in a paper on which Yves André proves the p-adic analogue (that is, $\mathrm{Gal}(\overline{\mathbb{Q}}_p/\mathbb{Q}_p)=\mathrm{Aut}\underline\pi^{temp}_{{\mathbb{C}}_p}$), ...

**2**

votes

**0**answers

74 views

### Conditions to check whether a prime ramifies in a certain way

Let $p$ be a prime number and let $f = a_n x^n + \cdots + a_0$ be an irreducible polynomial of degree $n \geq 3$ with a root $\alpha$. We say that $p$ ramifies in a powerful way over $K = ...

**5**

votes

**1**answer

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

**24**

votes

**1**answer

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

**0**

votes

**0**answers

38 views

### Explicit description of fields with ramification conditions

Let us fix an algebraically closed field $k$ of characteristic 0. If I understood correctly, the Riemann Existence theorem guarantees us existence of the field (Galois-)extension, say $F$, of $k(t)$ ...

**67**

votes

**0**answers

5k views

### Grothendieck-Teichmuller conjecture

(1) In "Esquisse d'un programme", Grothendieck conjectures
Grothendieck-Teichmuller conjecture: the morphism
$$
G_{\mathbb{Q}} \longrightarrow Aut(\widehat{T})
$$
is an isomorphism.
Here ...

**6**

votes

**1**answer

367 views

### Question on Inverse Galois Theory

Let $G$ be a finite group, $n=|G|$. Let $\rho:G\rightarrow GL(n,\mathbb{C})$ be the regular representation. Let $G \le H \le S_n$ be another group.
Then we have
$\mathbb{Q}[x_1,\cdots,x_n]^H \le ...

**4**

votes

**2**answers

267 views

### The best possible density in Hilbert's Irreducibility Theorem

Let $f(X,t_1,\dots,t_s)$ be an irreducible polynomial with coefficients in $\mathcal{O}_K$, the ring of integers of a number field $K$. By work of S. D. Cohen ...

**25**

votes

**3**answers

723 views

### Does the category of (algebraically closed) fields of characteristic $p$ change when $p$ changes?

Let $\mathrm{ACF}_p$ denote the category of algebraically closed fields of characteristic $p$, with all homomorphisms as morphisms. The question is: when is there an equivalence of categories between ...

**2**

votes

**0**answers

182 views

### Automorphism group of $\mathbf{C}$ over $\overline{\mathbf{Q}}$

Choose an embedding $\overline{\mathbf{Q}}\rightarrow \mathbf{C}$ from an algebraic closure of the field of rationals to the field of complex numbers.
Question 1: Is it true that $\mathbf{C}$ is ...

**12**

votes

**3**answers

659 views

### Profinite groups as absolute Galois groups

It is a well-known result that all profinite groups arise as the Galois group of some field extension.
What profinite groups are the absolute Galois group
$\mathrm{Gal}(\overline{K}|K)$ of some ...

**7**

votes

**2**answers

439 views

### What is an example of a regular realization of $C_5$ over $\mathbb{Q}(x)$?

It's known that all abelian groups are regularly realizable over $\mathbb{Q}(x)$, but it occurred to me that I don't even have an example of a cyclic regular extension of $\mathbb{Q}(x)$ handy.
So: ...

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

204 views

### Relationship between $ \mathcal{D} $ - modules, Tannakian formalism and Galois theory of monodromy representations

Is there a relationship between $ \mathcal{D} $ - modules, Tannakian formalism and Galois theory of monodromy representations ?
Thanks in advance for your help.

**38**

votes

**9**answers

12k views

### Is Galois theory necessary (in a basic graduate algebra course)?

By definition, a basic graduate algebra course in a U.S. (or similar) university with
a Ph.D. program in mathematics lasts part or all of an academic year and is taken
by first (sometimes second) ...

**5**

votes

**1**answer

770 views

### Symplectic groups $Sp_{2m}(2)$ as $2$-transitive permutation (i.e. Galois) groups

I am looking for information about the symplectic groups $Sp_{2m}(2)$ as permutation group acting on quadratic forms.
Consider the block matrices
$$e=\begin{pmatrix}0&1\\0&0\end{pmatrix}, ...

**3**

votes

**0**answers

148 views

### Computing algebraic properties of trace fields, as given by SnapPy

SnapPy can tell you the trace field of a hyperbolic $3$-manifold (which is awesome), but it specifies the field by outputting:
the minimal polynomial of the field over $\mathbb{Q}$, and
a decimal ...

**9**

votes

**0**answers

183 views

### Weyl Groups as Galois groups

I am looking for explicit examples (for all positive integers $n \ge 5$) of degree $2n$ even polynomials $f(x)=h(x^2)$ over the field $\mathbb{Q}$ of rational numbers such that the Galois groups of ...

**12**

votes

**1**answer

298 views

### Non-commutative Galois theory

Recall that an finite-dimensional algebra $A$ over a field $k$ is central simple iff there is an iso
$A \otimes_k A^{op} \cong M_n(k)$
where $A^{op}$ is the opposite ring and $M_n(k)$ is the matrix ...

**0**

votes

**2**answers

506 views

### Is the absolute Galois group the same as the automorphism group? [closed]

Is the absolute Galois group $\mathrm{Gal}(\overline{\mathbf{Q}}|\mathbf{Q})$ the same as the group $\mathrm{Aut}_{\mathbf{Q}}(\overline{\mathbf{Q}})$ the automorphism group in the category of ...

**28**

votes

**1**answer

2k views

### Grothendieck says: points are not mere points, but carry Galois group actions

Apologies in advance if this question is too elementary for MO. I didn't find an explanation of these ideas in any algebraic geometry books (I don't know French).
The following is an excerpt from ...

**13**

votes

**1**answer

799 views

### What can we say about center of rational absolute Galois group?

Well the question is in the title.
I asked myself this question while thinking about something in Grothendieck-Teichmüller theory. I guess class field theory gives some insight into this, or I am ...

**6**

votes

**2**answers

328 views

### Are the abelian absolute Galois groups of these local fields isomorphic?

For a field $F$ we denote by $F^{\mathrm{ab}}$ the compositum of all finite Galois abelian extensions of $F$.
Is $\mathrm{Gal}(\mathbb{Q}_2(\sqrt[8]{3})^{\mathrm{ab}}/\mathbb{Q}_2(\sqrt[8]{3})) ...

**7**

votes

**3**answers

445 views

### Which groups are Galois over some p-adic field?

Suppose I have some finite $p$-group $G$, or a little extension of it.
How do I know if there exists a prime $l$ and a finite extension $K$ of $\mathbb{Q}_l$ such that $G$ is the Galois group of ...

**18**

votes

**1**answer

708 views

### Concrete Applications of knowing $\mathrm{Gal}(\bar{\mathbb{Q}}/\mathbb{Q})$

I have very little experience with Galois representations, mostly as they relate to class field theory, elliptic curves, and modular forms, but they seem to have quite a reputation in number theory as ...

**1**

vote

**0**answers

74 views

### Galois extensions inside a division ring

Let $D$ be a division ring which has finite dimension over its centre.
Q1. Under which conditions can one find a maximal subfield $K$ of $D$ and a proper subfield $L$ of $K$ such that $K/L$ is ...

**9**

votes

**1**answer

296 views

### Parametrizing all cyclic extensions of the rational numbers of degree 5

Is there a polynomial $f(T,X) \in \mathbb{Q}(T)[X]$ in the indeterminate $X$ over the field $\mathbb{Q}(T)$ with $\mathrm{Gal}(f/\mathbb{Q}(T)) \cong \mathbb{Z}/5\mathbb{Z}$ such that for every Galois ...

**18**

votes

**3**answers

448 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

167 views

### The density of quartic polynomials whose Galois group is a subgroup of $D_4$

Let $D_4$ denote the (isomorphism class of) dihedral group of 8 elements. For a given binary quartic form $f$ with integer coefficients, define $\text{Gal}(f)$ to be the Galois group of the Galois ...

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

**3**

votes

**0**answers

159 views

### splitting property of etale covering

Theorem (Global Splitting): Let $X$ be an integral separated normal scheme flat and of finite type over $\mathbb Z$. Let $\phi: Y\rightarrow X$ be a connected etale covering which splits completely ...

**8**

votes

**3**answers

1k views

### Is there a notion of Galois extension for Z / p^2?

The above title is in fact a special case of what I want to ask.
Certainly we have a well defined notion of Galois extension for $ \mathbb{Q}_p $. The intersections of these extensions to the ring ...

**7**

votes

**1**answer

224 views

### Is this system always solvable in radicals by quartics, octics, $12$-ics, etc?

While considering this post, it made me wonder about its generalization in another direction and from the perspective of Galois theory.
Question: Is it true that, given four constants ...

**8**

votes

**2**answers

1k views

### Is there an alternative formula for solving cubic equations?

It is known that Cardano's formula for solving cubic equations is not good in the case of positive discriminants. In this case it expresses the solution through cubic roots of complex numbers. ...

**2**

votes

**1**answer

130 views

### Points $\alpha_n$ of $A$ over the $m_n$-th layer in a $\mathbb{Z}_p$-ext. of $K$, where $A$ is an Ab. var. and $m_n$ is strictly increasing

I have the following setting:
1.) A Galois extension of number fields $K\hookrightarrow L$, with $\operatorname{Gal}(L/K)=\mathbb{Z}_{p}$. In my terminology, number field does not imply finiteness ...

**5**

votes

**1**answer

182 views

### Is there $t\in\operatorname{Gal}(\overline{K}/K)$ s.t. $\operatorname{rank}_{\mathbf{Z}_p}((t-1)E_{p^\infty}(\overline{K}))=1$?

Let $E$ be an elliptic curve defined over $\mathbb{Q}$, let $$K:=\varinjlim_{k\in\mathbb{Q}[\mu_{p^\infty}]} \mathbb{Q}\left[\mu_{p^\infty},k^{1/p^\infty}\right]$$
and ...

**6**

votes

**1**answer

153 views

### Unramified extensions of quadratic fields

Let $K/\mathbb{Q}$ be quadratic and let $L/K$ be an (everywhere) unramified Galois extension. If $L/K$ is abelian, then one can show that $L/\mathbb{Q}$ is Galois (eg see here). Is $L/\mathbb{Q}$ ...

**15**

votes

**1**answer

661 views

### What's so special about these $17$th deg equations?

While browsing the Database of Number Fields, I came across 17T8. It only had four equations, one of which is,
$$\small{x^{17} - 5x^{16} + 40x^{15} - 140x^{14} + 610x^{13} - 1622x^{12} + 4870x^{11} - ...

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

**5**

votes

**1**answer

175 views

### Applications of the Galois embedding problem

Given a finite Galois extension of number fields $L/K$ with Galois group $G$ and a surjection $E\twoheadrightarrow G$ of finite groups, the Galois embedding problem is the question of whether there ...

**4**

votes

**1**answer

116 views

### Exceptional specializations of Galois groups in the Hilbert Irreducibility Theorem

Suppose $f(x,t)\in\mathbb{Q}(t)[x]$ is an irreducible polynomial with Galois group G. For any rational number $a$ we may consider the polynomial $f(x,a)\in\mathbb Q[x]$ and its corresponding Galois ...

**3**

votes

**2**answers

271 views

### Is it always possible to “separate” the eigenvalues of an integer matrix?

Call a square matrix Galois-irreducible if all its eigenvalues are Galois conjugates of each other.
Let $M$ be an integer $n\times n$ matrix which is not Galois-irreducible. Is it always ...

**4**

votes

**1**answer

107 views

### Hopf-Galois Structure Maps

A Hopf-Galois extension of commutative rings, as defined by Montgomery here, is a morphism of commutative rings $\phi:A\to B$ with a Hopf-algebra $H$ coacting on $B$ by a ring map $c:B\to B\otimes H$ ...

**3**

votes

**1**answer

310 views

### What do we know about these subgroups of $S_n$?

For each positive integer $n$, write $S_n$ for the symmetric on $n$-letters. Suppose that $m | n$ is a proper divisor of $n$, and write $n = km$. Consider the element
$$\displaystyle u(m,n) = ...

**2**

votes

**0**answers

91 views

### Fields whose algebraic closure is a finite extension [duplicate]

It is well-known that the complex numbers $\mathbb{C}$ is a degree two extension of $\mathbb{R}$, where one possible minimal polynomial is $x^2 + 1$. Further, $\mathbb{C}$ is algebraically closed.
...

**10**

votes

**0**answers

189 views

### Precise relationship between “finite” Fourier analysis and Galois theory in solving the cubic?

Suppose we want to solve$$x^3 - ax^2 + bx - c = 0.$$We know a priori that this can be factored as $(x - r_0)(x - r_1)(x - r_2)$; by Vieta's formulas, we know$$a = r_0 + r_1 + r_2,\quad b = r_0r_1 + ...

**3**

votes

**1**answer

392 views

### Unramified extension of number fields

Any finite field extension (in particular Galois extension) of $\mathbb{Q}$ is ramified. Is there an intuitive geometric explanation of this fact?
Suppose we have an number field $K$, is any Galois ...

**12**

votes

**1**answer

1k views

### Is Lehmer's polynomial solvable?

The degree 10 polynomial
$$\displaystyle x^{10} + x^9 - x^7 - x^6 - x^5 - x^4 - x^3 + x + 1$$
given by D.H. Lehmer in 1933 has the property that its largest real root, $\beta = 1.176280 \cdots$ is ...

**6**

votes

**0**answers

159 views

### Characterizing regular Galois extensions by the set of their specializations

Let $E$ and $F$ be two regular Galois extensions of $\mathbb{Q}(t)$ with group $G$, and let $E_{t_0}$ resp. $F_{t_0}$ be the residue fields corresponding to specializing $t\mapsto t_0\in \mathbb{Q}$. ...