The tag has no usage guidance.

learn more… | top users | synonyms

4
votes
0answers
53 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
1answer
142 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
450 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
407 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
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 = ...
0
votes
0answers
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)$ ...
4
votes
2answers
269 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 ...
2
votes
0answers
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 ...
25
votes
3answers
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
1answer
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.
3
votes
0answers
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
0answers
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
1answer
300 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 ...
28
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
509 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
330 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
709 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
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 ...
12
votes
3answers
661 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
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 ...
7
votes
3answers
446 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
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 ...
3
votes
0answers
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 ...
7
votes
1answer
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 ...
6
votes
1answer
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 ...
2
votes
1answer
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
1answer
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
1answer
154 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
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} - ...
5
votes
1answer
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
1answer
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 ...
4
votes
1answer
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
2answers
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 ...
3
votes
1answer
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
0answers
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
0answers
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 + ...
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
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}$. ...
1
vote
0answers
89 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
190 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. ...
5
votes
1answer
225 views

abelian and nonabelian parts of Aut($\widehat{F_2}$)

Let $F$ be the free profinite group on two generators. Let $\text{IA}(F) := \ker\left(\text{Aut}(F)\rightarrow GL_2(\widehat{\mathbb{Z}})\right)$, the group of "IA automorphisms" of $F$. (I'm also ...
3
votes
1answer
393 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 ...
1
vote
2answers
150 views

Generic polynomial for alternating group ${A}_{4}$ is not correct

I was validating the percentage of cases where the generic two parameter polynomial for Galois group ${A}_{4}$ is valid. We have \begin{equation*} {f}^{{A}_{4}} \left({x, \alpha, \beta}\right) = ...
6
votes
2answers
399 views

Frobenius elements in infinite extensions

Let $K$ be a number field, $\bar K$ an algebraic closure and $G$ the associated absolute Galois group. How can I define the Frobenius elements of $G$ or at least their conjugacy class? I know how ...
3
votes
1answer
114 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 ...
23
votes
2answers
575 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
2answers
323 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 ...
1
vote
1answer
116 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 ...
18
votes
1answer
1k 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 ...
5
votes
0answers
217 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 ...