Questions tagged [galois-theory]
Galois theory, named after Évariste Galois, provides a connection between field theory and group theory. Using Galois theory, certain problems in field theory can be reduced to group theory, which is, in some sense, simpler and better understood.
850 questions
19
votes
3
answers
2k
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
548
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: ...
- 19.3k
6
votes
0
answers
351
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 $...
- 596
3
votes
1
answer
442
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.
- 35.2k
52
votes
9
answers
26k
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) ...
8
votes
1
answer
1k
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}, \...
- 19.3k
17
votes
1
answer
1k
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 ...
- 118k
1
vote
2
answers
1k
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 $\...
- 8,004
15
votes
1
answer
1k
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 ...
- 17.6k
6
votes
2
answers
797
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})) \...
- 355
22
votes
1
answer
1k
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 ...
- 12.9k
12
votes
1
answer
565
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 ...
- 2,665
5
votes
0
answers
272
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 ...
- 26.9k
3
votes
0
answers
533
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 ...
- 135
8
votes
3
answers
2k
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 ...
CommunityBot
- 1
7
votes
1
answer
339
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,\beta,...
CommunityBot
- 1
2
votes
1
answer
143
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 ...
- 1,805
5
votes
1
answer
220
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{...
- 5,670
15
votes
1
answer
844
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} - ...
- 12.6k
6
votes
1
answer
440
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 ...
- 21.3k
6
votes
1
answer
348
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 ...
- 47.4k
5
votes
2
answers
629
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 possible ...
- 23.7k
4
votes
1
answer
177
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$ ...
- 54.6k
3
votes
1
answer
410
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) = \...
CommunityBot
- 1
3
votes
0
answers
290
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.
...
- 26.9k
7
votes
1
answer
4k
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 ...
CommunityBot
- 1
12
votes
1
answer
2k
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 ...
- 105k
9
votes
0
answers
203
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}$. ...
- 91
2
votes
0
answers
107
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 ...
- 16.9k
5
votes
1
answer
314
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 ...
- 10.7k
3
votes
1
answer
391
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. ...
- 22.5k
5
votes
2
answers
1k
views
non-continuous inverse Galois problem
Let $G=Gal(\bar{\mathbf{Q}}/\mathbf{Q})$ be the absolute Galois group over $\mathbf{Q}$.
Q1: Is it possible to find a (necessarily non-closed) normal subgroup $K\leq G$ such that
$G/K$ is free of ...
- 7,609
1
vote
2
answers
302
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) = {x}...
- 96.4k
7
votes
2
answers
2k
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 ...
CommunityBot
- 1
3
votes
1
answer
180
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 ...
- 376
28
votes
2
answers
1k
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 ...
CommunityBot
- 1
6
votes
2
answers
622
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 ...
CommunityBot
- 1
1
vote
1
answer
157
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 ...
- 17.6k
5
votes
2
answers
580
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 $Gal(f)$...
CommunityBot
- 1
5
votes
0
answers
241
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 ...
CommunityBot
- 1
13
votes
2
answers
1k
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 ...
- 41
6
votes
2
answers
474
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$ ...
- 50.8k
7
votes
1
answer
272
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 \mathbb{R},...
- 23.7k
10
votes
2
answers
723
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 ...
- 2,391
6
votes
0
answers
332
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 ...
CommunityBot
- 1
6
votes
2
answers
1k
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$, ...
- 22.5k
8
votes
2
answers
487
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 ...
- 148k
5
votes
0
answers
277
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 ...
CommunityBot
- 1
13
votes
2
answers
590
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 ...
- 32.6k
1
vote
1
answer
317
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 ...
- 5,759