The tag has no usage guidance.

learn more… | top users | synonyms

2
votes
2answers
147 views

Need help with paper written in Russian… Yorgov's paper on self-dual codes with automorphisms of odd order

I came across this paper by V.I.Yorgov named "Binary self-dual codes with automorphisms of odd order". (Actually I was first reading another paper by Borello that cited this paper. It later become ...
3
votes
1answer
274 views

Geometric intuition for the condition of Galois descent

Continuing in my attempts to understand bits and pieces of Borceux and Janelidze's Galois Theories, I've just realized that I don't have any geometric intuition for the most convenient ...
1
vote
0answers
58 views

What's the connection between Galois objects and Galois closed objects?

An object in a free coproduct completion is Galois closed if it has no nontrivial coverings, i.e every covering morphism is split by the identity. An object of a Galois category is a Galois object if ...
3
votes
0answers
92 views

Galois categories and the connected components functor

In stacks 0BMQ, a Galois category is defined to be a functor $F:\mathsf C\longrightarrow \mathsf{FinSet}$ such that $\mathsf C$ is finitely bicomplete, every object ...
0
votes
1answer
95 views

Inverse Galois Problem ; Galois group of some branched cover of $P^{1}$ defined over $\mathbb{Q}$

I was trying to read a paper on Inverse Galois problem . I understands what the inverse Galois problem is. It asks if every finite group is the Galois group of some extension of the rationals. The ...
1
vote
1answer
75 views

Parametric solutions to a system of equations

Let $s,t$ be two independent real parameters, and let $a_2(s,t), a_1(s,t), a_0(s,t)$ be linear forms in $s, t$ with real coefficients. Put $a_4 = s, a_3 = t$ and consider the quadratic form $$\...
1
vote
0answers
94 views

Relative Leopoldt defect

Let F be a totally real number field such that the Leopoldt conjecture holds at a prime number $p$ and $M$ be a quadratic totally real extension of $F$. Is there a bound of the Leopoldt defect of $M$ ...
5
votes
1answer
264 views

Which of these 4 definitions of Galois coverings of integral schemes are equivalent?

Here are four possible definitions for an etale, finite, surjective map $X\rightarrow Y$ between integral schemes to be considered Galois: There exists a finite group $G$, and an action $\varphi: G\...
11
votes
1answer
208 views

A Galois extension over $\mathbb{Q}$ with Galois group $A_4$ and with cyclic decomposition groups

Does there exist a Galois extension $L/\mathbb{Q}$ with Galois group $A_4$ (the alternating group on four letters) such that all the decomposition groups are cyclic? This question is motivated by the ...
4
votes
1answer
225 views

Categorification of covering morphisms

Given a category $\mathsf{A}$, let $\mathsf{Fam}(\mathsf{A})$ be its free coproduct cocompletion (which is always extensive). This means every object has a unique up to iso presentation as a coproduct ...
5
votes
2answers
256 views

Bounding the degree of an algebraic extension containing solutions to polynomials

Also posted on math.stackexchange... Let $F$ be a field, and let $f_{1},\ldots, f_{s}$ be polynomials in $F[x_{1},\ldots, x_{t}]$. Assume that the degree of the polynomials is bounded by $d$, by ...
3
votes
1answer
512 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
1answer
431 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
0answers
75 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 = \mathbb{Q}(\...
0
votes
0answers
39 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)$ ...
4
votes
2answers
280 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 (http://plms.oxfordjournals.org/content/...
2
votes
0answers
188 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 ...
25
votes
3answers
753 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
1answer
210 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.
6
votes
1answer
206 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 ...
3
votes
1answer
92 views

If $\min(\alpha,F)$ has only one root in $E$, must $\min(p(\alpha),F)$ have only one root in $E$

Let $F\subseteq E$ be an algebraic field extension. Let $\alpha\in E$ be such that $\min(\alpha,F)$ has only one root in $E$ (which will be $\alpha$). Is it true that for any $p(x)\in F[x]$ we must ...
9
votes
0answers
185 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
1answer
312 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 ...
29
votes
1answer
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 ...
0
votes
2answers
527 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 $\...
6
votes
2answers
350 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})) \...
18
votes
1answer
719 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
0answers
78 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 Galois?...
12
votes
3answers
699 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 ...
9
votes
1answer
303 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 ...
7
votes
3answers
471 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 ...
4
votes
0answers
171 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 ...
3
votes
0answers
166 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 ...
7
votes
1answer
225 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 ($\alpha,\...
6
votes
1answer
444 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 \...
2
votes
1answer
132 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
1answer
185 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 $G:=\operatorname{Gal}(\overline{...
6
votes
1answer
167 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
1answer
667 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} - ...
5
votes
1answer
179 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
1answer
118 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 ...
4
votes
1answer
108 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
2answers
275 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 ...
3
votes
1answer
311 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
0answers
93 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
0answers
193 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 + ...
12
votes
1answer
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
0answers
161 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}$. ...
1
vote
0answers
93 views

Which fields have no extensions of degree divisble by a fixed prime?

Let $p$ be a prime. What are the most general examples of a field $K$ such that for any finite extension $L/K$ the degree $[L:K]$ is prime to $p$? Certainly, there are algebraically closed examples ...
3
votes
1answer
192 views

Polynomials of even degree with solvable Galois group

Let $f(x) = a_{2n} x^{2n} + a_{2n-1} x^{2n-1} + \cdots + a_0$ be a polynomial with integer coefficients and irreducible over $\mathbb{Q}$. For $n \geq 3$, $f$ is generically unsolvable by radicals. ...