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
7
votes
2
answers
1k
views
Is there a nice criterion for when the splitting fields of two irreducible polynomials are equal?
This question is a bit vague, but I was wondering if someone might have an insightful answer.
Let $f_1$ and $f_2$ be irreducible polynomials in $\mathbb{Q}[x]$. Is there an easy criterion for knowing ...
- 6,348
14
votes
4
answers
5k
views
Books on advanced galois theory
I have been studying galois theory on my own and find it very fascinating. I have gone through Ian Stewarts book: http://www.amazon.co.uk/Galois-Theory-Third-Chapman-Mathematics/dp/1584883936. I am ...
- 141
0
votes
0
answers
245
views
Notation Problem, Fixed Rings and Fields
I am trying to make sense of the notation and certain sets in two articles by Annick Valibouze whose results I'm using for my bachelor's thesis, I hope it's relevant enough to merit an answer.
In one ...
- 119
1
vote
1
answer
442
views
Galois descent for semilinear endomorphisms
Let $K \subset L$ be a finite Galois extension, $\sigma$ an automorphism of $L$ (not necessarily fixing $K$) and let $E$ be a finite-dimensional vector space over $L$ together with an $\sigma$-linear ...
- 271
0
votes
1
answer
197
views
Hurwitz's construction of simple covers
What is commonly meant by Hurwitz's construction of simple covers?
- 3,779
0
votes
0
answers
102
views
solvablity for some polynomial
We know that if F is a field which ch(F)=0,p(x) is a polynomial with coefficient of F,then p(x)root solvablity if and only if the Galois group of p(x) is solvablity .Here I want to know if the ...
- 295
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 $...
2
votes
1
answer
248
views
Multiple eigenvalues over imperfect fields
Let $K$ be a field. For a matrix $A\in GL_n(K)$ we can find the Jordan normal form $A'$ in $GL_n(\overline{K})$, where $\overline{K}$ is the algebraic closure of $K$. We write $j_\alpha(A)$ for the ...
- 804
2
votes
1
answer
1k
views
How does an irreducible polynomial of prime power order split over an extension of prime power degree
I asked this question in a similar form on math.se here, where it has been unanswered for a little over a week some work on it can be found there. The motivation for this question was another ...
10
votes
2
answers
2k
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 $L|M$...
- 2,083
4
votes
0
answers
702
views
Primitive Elements for $S_n$ Galois Extensions?
This is an offshoot of my other question two days ago.
How to apply Hilbert's Irreducibilty theorem?
But it is of independent interest.
Solutions of Inverse Galois Problem for a finite group $...
- 2,583
2
votes
1
answer
769
views
How to apply Hilbert's Irreducibilty theorem?
I do not know how to correctly interpret Hilbert's Irreducibility theorem
with Galois group as my aim.
Here $K$ is a number field (or simply $\mathbf{Q}$).
Scenario 1: Take a field $L$ that is a ...
- 2,583
6
votes
1
answer
1k
views
Algorithm for determining whether two polynomials have the same splitting field
This question asks how to tell whether two cubic polynomials with coefficients in $\mathbb{Q}$ have the same splitting field. There are several answers to the question, but they don't include proofs. ...
- 7,062
25
votes
2
answers
2k
views
Profinite groups as étale fundamental groups
Does every profinite group arise as the étale fundamental group of a connected scheme?
Equivalently, does every Galois category arise as the category of finite étale covers of a connected scheme?
...
- 63.1k
9
votes
2
answers
1k
views
Is it known if the absolute Galois group is "divisible"?
The definitions of a divisible group that I have seen all seem to assume abelian is an a priori property of the group. My question is as to whether or not it is known that--given a non-torsion element ...
- 1,049
6
votes
1
answer
600
views
Langlands paper on representations of abelian algebraic groups
I have been working through Langlands paper Representations of Abelian Algebraic Groups, and I can't understand why one of his maps is obvious and how it helps. First I'll give the notation
Take a ...
- 787
19
votes
1
answer
3k
views
On a theorem of Galois
I am currently teaching Galois theory and this week, I mentioned the following theorem of Galois :
Let $P(x) \in \mathbf{Q}[x]$ be an irreducible polynomial of prime degree. Then $P$ is solvable by ...
- 20.8k
0
votes
2
answers
190
views
power sums are enough for rationality? [closed]
If I have k algebraic integers like a_1, ..., a_k such that the sum of their n-power are integer for n=1, ...m
can we deduce that a_1, ..., a_k are integers? how large m should be? (how many power ...
- 427
2
votes
1
answer
693
views
When does a polynomial split over Q?
If P(x) is a polynomial in Q[X], is there any iff theorem that states all the roots of P(x) are rational based on the coefficients?!
In another words, what could you impose on the coefficients to ...
- 427
0
votes
1
answer
620
views
Does this isomorphism between Galois groups hold for transcendental extensions?
Suppose $L/K$ and $M/K$ are algebraic extensions of a field $K$, such that $L\cap M=K$, and $L/K$ is a normal extension. It is well-known that, with these conditions, we have:
$$\text{Gal}(L/K)\cong ...
- 399
2
votes
1
answer
397
views
is there any bound on the absolute number of algebraic integer in terms of its degree?
If Z is a sum of t distinct roots of unity and |Z| is a rational integer, can someone find a bound on |Z| in terms of k=deg(Q(Z):Q))?
Clearly we need to have distinct roots of unity otherwise this ...
- 427
26
votes
5
answers
7k
views
Anabelian geometry study materials?
I want to study anabelian geometry, but unfortunately I'm having difficulties in finding some materials about it. If you could offer me some books/papers/articles I would be glad.
- 1,099
20
votes
0
answers
1k
views
Could unramified Galois groups satisfy a version of property tau?
This is an experiment: there is a question I want to mention in an article I'm writing, and I am not sure it's a sensible question, so I will ask it here first, in the hopes that if it's insensible ...
- 19.2k
6
votes
3
answers
1k
views
Solving $z^n=a+bi$ 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}
$$
...
- 7,609
2
votes
2
answers
1k
views
Place stabilizers for the absolute Galois Group
Fix an algebraic closure, $\overline{\mathbb{Q}}$ for the rationals and consider the set, $B_p$, of all places of $\overline{\mathbb{Q}}$ over a fixed (possibly infinite) prime, $p$, of $\mathbb{Q}$. ...
- 1,049
1
vote
1
answer
361
views
About some kind of "converse" of a theorem from Galois theory
It is a well known result from Galois theory that, given a Galois extension $L$ of a field $K$, an element $x$ of $L$ is in $K$ if for all $\sigma$ in $Gal(L/K)$, one has $\sigma(x)=x$.
My question ...
- 6,984
2
votes
1
answer
350
views
A cubic polynomial which contains a linear factor with irreducible residual quadratic form
Let $f(x)\in\mathbb{Z}[x_{1},\dots,x_{n}]$ be a cubic homogeneous polynomial, which factors as $f(x)=g(x)h(x)$ over $\mathbb{C}$ with $\mathrm{deg}(g)=1$ and $h$ irreducible over $\mathbb{C}$. Assume ...
- 21
1
vote
3
answers
927
views
A polynomial whose galois group is D_8 [closed]
I need to construct such a polynomial, and more generally: given a group G, how can it be realized as a galois group?
- 11
2
votes
0
answers
110
views
Explicit defining equations for the Leopoldt locus
Let $F$ be a number field, which we assume for simplicity to be Galois and totally real. Set $\mathcal{O}_p=\mathcal{O}_F\otimes_{\mathbf{Z}}\mathbf{Z}_p$. The norm map on $\mathcal{O}_F$ extends ...
- 13.1k
1
vote
1
answer
542
views
Is there a subfield $F$ of $\mathbb{R}$ such that $\mathbb{R}$ is a finite algebraic extension of $F$. [duplicate]
Possible Duplicate:
Examples of algebraic closures of finite index
The question is in the title.
I can prove that if such field $F$ exist then the extension $\mathbb{R}/F$ cannot be of degree $2$...
- 1,701
65
votes
3
answers
6k
views
Forcing as a new chapter of Galois Theory?
There is a (very) long essay by Grothendieck with the ominous title La Longue Marche à travers la théorie de Galois (The Long March through Galois Theory). As usual, Grothendieck knew what he was ...
- 7,853
3
votes
0
answers
561
views
Galois groups and braid groups [closed]
Braid group can be viewed as a symmetry group with a "one more dimension to pass through". Is there any "Galois theory", where the braid groups plays analoguos role as a symmetry groups in a native ...
- 192
19
votes
2
answers
1k
views
$2$-categorical structure in Grothendieck's Galois Theory
Grothendieck's Galois Theory, as developed in SGA I, V.4, or very gently in Lenstra's notes, establishes an equivalence between profinite groups and Galois categories. We can put this into the ...
- 63.1k
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
8
votes
1
answer
213
views
Rationality conditions for determining Galois groups
Let $F$ be a field and $h \in F[x]$ be an irreducible, degree $n$ monic polynomial. Let $G$ denote the Galois group of $h$.
It is well known that $G \subset A_n $ if and only if the discriminant of $...
- 133
9
votes
1
answer
2k
views
The Galois group and relations among the roots of a polynomial
Let $f(x) \in \mathbb{Z}[x]$ be a monic irreducible polynomial of degree $n$, and let $\alpha_1, \alpha_2, ... , \alpha_n \in \overline{\mathbb{Q}}$ be the $n$ distinct roots of $f(x)$.
Following ...
- 93
3
votes
1
answer
1k
views
Solving polynomial equations in radicals provided all roots are rational
This question is related to this question of Joseph O'Rourke and this question of mine.
Question. Let $f$ be a polynomial with integer coefficients. Suppose that all roots of $f$ are rational. ...
user6976
3
votes
1
answer
411
views
Proof of a Simple Converse in Algebraic Number Theory
If $L/K$ is a Galois extension, then any prime $\mathfrak{p}$ of $K$ splits into a product ${\mathfrak P}_1^e\cdots {\mathfrak P}_g^e$ of primes in $L$, and the exponents on the primes are equal since ...
- 1,261
5
votes
3
answers
711
views
Octic family with Galois group of order 1344?
Does the octic,
$\tag{1} x^8+3x^7-15x^6-29x^5+79x^4+61x^3+29x+16 = nx^2$
for any constant n have Galois group of order 1344? Its discriminant D is a perfect square,
$D = (1728n^4-341901n^3-...
- 12.6k
19
votes
1
answer
2k
views
Connes-Kreimer Hopf algebra and cosmic Galois group
Hi,
I'm interested in the relation between the two following constructions motivated by renormalization:
Connes-Kreimer gives an interpretation of the renormalization procedure in the framework of ...
- 8,524
26
votes
5
answers
3k
views
Solubility of the quintic?
Over the p-adics, every Galois group is solvable. Does this imply that the quintic (and higher-order polynomials for that matter) can be solved by radicals over $\mathbb{Q}_p$?
EDIT: The original ...
- 1,261
3
votes
2
answers
405
views
Subject to some conditions, is it possible to conclude a subfield of an abelian extension generated by a unit is a cyclic extension
My research is mostly in the area of modular categories. In the course of my research I came across a constraining set of number theoretic conditions that I'd like to exploit. It has been pointed out ...
- 547
20
votes
2
answers
6k
views
Automorphisms of $\mathbb{C}$
Is it true that $G_{\mathbb{Q}}$, the absolute Galois group of $\mathbb{Q}$, is a subgroup of $Aut(\mathbb{C})$ ?
Or a simpler question: can any automorphism of $\overline{\mathbb{Q}}$ be extended to ...
- 1,271
1
vote
0
answers
218
views
$f(x_1,x_2,x_3,\ldots,x_n)$ Maximum how many different results can have with all permutation of inputs?
$\alpha _n=e^{2 \pi i/n}$
$$f(x_1,x_2,x_3,\ldots,x_n)=(x_1+\alpha _n x_2+ \alpha _n ^2 x_3+\cdots+\alpha _n ^{n-1} x_n)^n$$
Maximum how many different results can have with all permutation of inputs?...
- 302
8
votes
1
answer
4k
views
Example of an algebraic number of degree 4 that is not constructible
The number $b:=\frac{\sqrt{2a}+\sqrt{4\sqrt{a^2-3}-2a}}{2}$ with
$a:=\frac{\sqrt[3]{18+2\cdot\sqrt{65}}}{2}+\frac{2}{\sqrt[3]{18+2\cdot\sqrt{65}}}$ is a root of the irreducible polynomial $x^4-6x+...
- 143
8
votes
1
answer
1k
views
For which fields is the inverse Galois problem known?
The inverse Galois problem is known for (or in Jarden's and Fried's terminology, the following fields are universally admissible) function fields over henselian fields (like $\mathbb{Q}_p(x)$); ...
- 5,929
7
votes
1
answer
1k
views
Can roots of any polynomial be expressed using Eulerian function?
I encountered an interesting function which is called "Eulerian" by the Wolfram's MathWorld:
$$\phi(q)=\prod_{k=1}^{\infty} (1-q^{k})$$
It is interesting because it is claimed that roots of any ...
- 10.1k
5
votes
1
answer
625
views
What is the relation of the absolute Galois group and classical profinite groups?
Consider the absolute Galois group $G = \mathrm{Gal}(\overline{\mathbb{Q}}: \mathbb{Q})$ and $G_p = \mathrm{Gal}(\overline{\mathbb{Q}_p}: \mathbb{Q}_p)$.
Abelian class field theory gives us for the ...
- 11.2k
3
votes
4
answers
2k
views
Explicit element in free group which is killed by every solvable quotient
The free group on two generators $F_2=\langle x,y|\rangle$ is the fundamental group of $\mathbb P^1(\mathbb C)\setminus\{0,1,\infty\}$. Now, there are plenty of galois covers of this space whose ...
- 18.7k
14
votes
1
answer
1k
views
Is every finite group a quotient of the Grothendieck-Teichmuller group?
The Grothendieck-Teichmuller conjecture asserts that the absolute Galois group $Gal(\mathbb{Q})$ is isomorphic to the Grothendieck-Teichmuller group. I was wondering, would this conjecture imply the ...
- 5,929