# Tagged Questions

The galois-theory tag has no wiki summary.

**1**

vote

**1**answer

193 views

### a question of local field

Let $K$ be a local field with mix char, $k$ residue field. We have an exact sequence
$0 \longrightarrow I \longrightarrow G_{K} \longrightarrow G_{k} \longrightarrow 0$
Then we obtain an action of ...

**8**

votes

**1**answer

560 views

### Galois group of constructible numbers

Let $\mathcal{C}$ be the field of constructible numbers, that is, the complex numbers constructible by compass and straightedge. It can be shown that it consists of all the numbers obtainable by ...

**0**

votes

**0**answers

42 views

### IGP for non-fixed ground field

I have an assignment to show the known result that any finite group occurs as Galois group of $k(x_1,...,x_n)/F$ for some field $F$. This seems like an insurmountable task to be given in a first ...

**10**

votes

**2**answers

563 views

### Embeddings of finite groups into GL(n,Q_p)

This question is inspired by some interesting comments on this recent question.
Fix an integer $n \geq 1$ and a finite subgroup $G$ of $\mathrm{GL}_n(\mathbf{C})$. It is known that there are ...

**5**

votes

**2**answers

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

**7**

votes

**4**answers

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

**0**

votes

**0**answers

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

**1**

vote

**1**answer

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

**0**

votes

**1**answer

173 views

### Hurwitz's construction of simple covers

What is commonly meant by Hurwitz's construction of simple covers?

**0**

votes

**0**answers

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

**3**

votes

**0**answers

159 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

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

**4**

votes

**1**answer

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

**5**

votes

**2**answers

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

**3**

votes

**0**answers

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

votes

**1**answer

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

**5**

votes

**1**answer

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

**21**

votes

**2**answers

771 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?
...

**6**

votes

**2**answers

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

**3**

votes

**1**answer

280 views

### Langlands Paper on representations of abelian algebraic groups

I have been working through Langlands paper which you can see here http://www.sunsite.ubc.ca/DigitalMathArchive/Langlands/pdf/AbelianAlg-ps.pdf and I can understand why one of his maps is obvious and ...

**16**

votes

**1**answer

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

**0**

votes

**2**answers

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

**3**

votes

**1**answer

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

**0**

votes

**1**answer

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

**2**

votes

**1**answer

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

**17**

votes

**0**answers

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

**4**

votes

**3**answers

871 views

### Solving z^n=a+ib 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}
$$
...

**2**

votes

**2**answers

360 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}$. ...

**2**

votes

**1**answer

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

**1**

vote

**3**answers

742 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?

**2**

votes

**0**answers

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

**0**

votes

**1**answer

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

**42**

votes

**3**answers

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

**3**

votes

**0**answers

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

**15**

votes

**2**answers

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

**4**

votes

**2**answers

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

votes

**1**answer

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

**2**

votes

**1**answer

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

**2**

votes

**1**answer

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

**3**

votes

**1**answer

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

**5**

votes

**3**answers

521 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 = ...

**16**

votes

**1**answer

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

**23**

votes

**5**answers

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

**4**

votes

**2**answers

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

**11**

votes

**2**answers

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

vote

**0**answers

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

**4**

votes

**1**answer

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

**7**

votes

**1**answer

713 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)$); ...

**7**

votes

**1**answer

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

**3**

votes

**1**answer

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