The tag has no wiki summary.

learn more… | top users | synonyms

31
votes
1answer
952 views

Is my field algebraically closed?

For a field $L$, let $\widetilde L$ be the splitting field of all irreducible polynomials over $L$ having prime-power degree. Question: Do we have $\widetilde{\mathbf Q}=\overline{\mathbf Q}$? ...
2
votes
2answers
175 views

Sextic resolvent has no rational root

An irreducible quintic $f(x)\in\mathbb{Q}[x]$, is solvable by radicals if and only if its sextic resolvent $\theta_f (y)=(y^3+py^2+qy+r)^2-2^{10}\Delta(f)y$ has a rational root ($\Delta$ is the ...
8
votes
1answer
384 views

Variant of Hilbert 90 for Galois extensions

Let $K/\mathbb F_q(x)$ be a finite Galois extension with Galois group $G$. Let $Aut(K)$ be the group of $\mathbb F_q$-automorphisms of $K$. Obviously, $G\subseteq Aut(K)$. It is well known that ...
7
votes
1answer
369 views

Incomplete Failures of the Inverse Galois Problem

I thought of this question the other day and have not been able to get any traction on references or results along its lines, so I finally caved and decided to ask it here. I am no expert on Galois ...
1
vote
1answer
195 views

Maximal separable extension of $\mathbb F_q((t))$

Let $K=\mathbb F_q((t))$. I want to prove that $K^{sep}$ is composite of $K^{sep}(p)$ and $K^{sep}(not \ p)$, where $K^{sep}(p)$ is maximal Galois extension of $K$ of exponent $p$, $K^{sep}(not \ p)$ ...
2
votes
1answer
160 views

Isomorphism related to the first cohomology group

I would like to prove the following: Let $K_1$, (resp. $K_2$) be a finite Galoisian extension of $\mathbb Q$ of degree $[K_1:\mathbb Q]=n_1$ with ring of integers $\mathcal O_{K_1}$ and Galois group ...
3
votes
1answer
209 views

Computation of Galois group

I'm studying methods of computation of Galois group of irreducible polynomials over $\mathbb{Q}$. In case of fifth degree there are 5 variants of Galois ...
7
votes
1answer
402 views

Is there a precise notion of “almost all” such that almost all finite groups are Galois groups of extensions of the rationals?

I vainly tried to define a notion of "almost solvable group" such that every "almost solvable group" is the Galois group of a finite extension of the rationals, but I can't figure out the right way to ...
3
votes
2answers
172 views

“Degree 3 fields”

I was wondering what was known about fields $k$ having the property that any polynomial over $k$ of degree $3$ has at least one root in $k$. Does such a field have a special name ? Is there some kind ...
17
votes
1answer
1k views

How to prove that every polynomial in an infinite family is irreducible over Q?

Consider the bivariate polynomial $$p(X,Y) = X^5 - (2 Y + 1) X^3 - (Y^2 + 2) X^2 + Y (Y-1) X + Y^3.$$ For every integer $y \ge 4$, I conjecture that $p(X,y)$ is irreducible in $\mathbb{Q}[X]$. How can ...
1
vote
0answers
152 views

Discriminant of a compositum of number fields, a bound?

Given two number fields $E$ and $F$, is there a bound on $|d_{EF}|$, the absolute value of the absolute discriminant of the compositum of fields $EF$, in terms of $d_E$, $d_F$, and the extension ...
7
votes
1answer
283 views

Degree of Kummer extensions of number fields

Let $K$ be a number field and $a\in K^*$ of infinite order in $K^*$. How do I show that $$[K(\sqrt[n]{a},\zeta_n):K]\geq C\cdot n\cdot\varphi(n)$$ holds for all positive integers $n$, with a positive ...
5
votes
1answer
167 views

The proof of Belyi theorem by Lando and Zvonkin

I'm sorry for asking such a specific question, but i have trouble understanding one detail in the proof of Belyi's theorem in the book "Graphs on surfaces and their applications" by Lando and Zvonkin" ...
-1
votes
1answer
143 views

Order of the zero of a meromorphic function under the action of $Gal(\mathbb{C},\mathbb{Q})$

Let's take $X$ a Riemann surface as an algebraic curve in $\mathbb{P}^n$. The group $Gal(\mathbb{C},\mathbb{Q})$ (automorphisms of $\mathbb{C}$ which act as the identity on $\mathbb{Q}$) acts on $X$ ...
10
votes
3answers
1k views

An algebraic number is not a root of unity?

This problem is related to my study of the Burau representation of the braid group $B_3$: I was trying to show that certain "congruence subgroups" are of infinite index. There is an approach that ...
1
vote
1answer
285 views

Number field of degree 5

I am interested in field extensions of the rationals. About degree 3 extensions there are many refrences including the famous paper of Shanks "The Simplest Cubic Fields". In particular he gave ...
3
votes
0answers
182 views

Solvable parametric $7$th and $13$th degree equations using $\eta(q)/\eta(q^p)$?

Q: Why is that some polynomial relations between eta quotients have a solvable Galois group, even if the deg is $n>4$? For example, we have the well-known modular equation, $$u^6 - v^6 + ...
1
vote
0answers
80 views

Galois correspondence for action of general linear group on purely transcendental extension

For a fixed positive integer $n$, the group $G=GL_n(\mathbb{C})$ acts on the field $K=\mathbb{C}(t_1,\ldots,t_n)$ by linear change of variables. I would like to know if there is something like a ...
4
votes
0answers
501 views

Differential Galois number theory

Following http://math.stackexchange.com/questions/635659/can-the-error-term-involved-in-the-pnt-be-expressed-in-a-galois-theoretic-framew?noredirect=1#comment1341143_635659, I vainly tried to find ...
3
votes
0answers
174 views

On the peculiar Lagrange resolvent of the septic $7x^7+14x^4+7x^3-1=0$

Given an irreducible solvable equation $P(x)=0$ of prime degree $p>2$ with rational coefficients and $\zeta^p=1$, define the usual Lagrange resolvents of the roots $x_i$ as, $$R_n = ...
4
votes
1answer
286 views

Can you identify complex conjugations in a number field?

Every automorphism of an algebraic number field $F$ extends to an automorphism of $\mathbb{\overline{Q}}$, but an order 2 automorphism of $F$ need not extend to one of order 2 on ...
3
votes
1answer
263 views

Unramified extension and class field theory

I am not sure this question is proper for this site, but there is no other places that I can get an answer. So if anyone can give an answer for this, it would be very helpful to me. Let $F$ be a ...
3
votes
2answers
344 views

The holomorphic version of Galois theory

We identify the space of polynomials of degree n with $\mathbb{C}^{n+1}-\mathbb{C}^{n}$, that is an $n+1$ tuple $(a_{n},a_{n-1},\ldots,a_{0})$ with $a_{n} \neq 0$ is identified with $p(z)=a_{n}z^{n} ...
1
vote
1answer
134 views

Variety of factorizations of differential operator

Take differential operator as polynomial of letter $d$ with coefficients in some function field, where $d$ act by derivation in this function field. Call it a differential field. For simplicity let ...
3
votes
0answers
242 views

Elementary proof for Hilbert's irreducibility theorem

I have tried to find a complete proof for Hilbert's irreducibility theorem, but everything I found was way beyond my level of understanding. I am only interested in the simple case where the ...
4
votes
1answer
253 views

Complexity of computing the Galois group

There has been some discussion of computing the Galois group of a polynomial over the integers, but I can't seem to find any results, or even a question of what the complexity of this might be. For ...
5
votes
2answers
494 views

Reducing 12th degree eqns (12T179) to an 11th degree eqn

I always wondered if the fact that the quartic can be solved by a cubic can be generalized to other even degrees $n$, namely if there is an ordering of the roots $x_i$ of form ...
5
votes
1answer
306 views

Artin representations in Serre's book 'local fields'

Let $K$ be a complete local field with discrete valuation, and let $L/K$ be a finite Galois extension. Use $G=Gal(L/K)$ to denote the Galois group. In Serre's book 'local fields', chapter 6, a ...
2
votes
1answer
205 views

how do automorphisms act on the right in grothendieck's galois theory

So, I'm reading through some notes on the etale fundamental group (mostly Murre, but also some other notes I have), and I find it confusing how in a galois category $\mathcal{C}$ with fundamental ...
7
votes
2answers
467 views

Is there an algorithm to compute efficiently the dessin d'enfant from a Belyi pair?

Let $(X,f)$ be a Belyi pair, i.e. a Riemann surface $X$ together with a morphism $f: X \to \mathbb{P}^1$, ramified only in $0,1, \infty$. Grothendieck's dessin d'enfant is the pre-image $G$ of the ...
1
vote
0answers
289 views

Reduction modulo p of Galois groups

I'm studying the relationship between the Galois group of a polynomial with integer coefficients and the group of his reduction modulo $p$. More precisely, consider $\mathbb{K}$ a number field such ...
17
votes
2answers
862 views

Is there an irreducible but solvable septic trinomial $x^7+ax^n+b = 0$?

The following irreducible trinomials are solvable: $$x^5-5x^2-3 = 0$$ $$x^6+3x+3 = 0$$ $$x^8-5x-5=0$$ Their Galois groups are isomorphic to ${\rm D}_5$, ${\rm S}_3 \wr {\rm C}_2$ and $({\rm S}_4 ...
4
votes
1answer
242 views

Interpreting the Galois theory of finite extensions of $\mathbb{Q}$ in PA

Any finite extension of the rationals, along with its Galois group, can be interpreted in Peano arithmetic by straightforward means. For a fixed bound $n$ in the degree this is uniform in the ...
4
votes
3answers
376 views

structure of norm one group for quadratic extension of p-adic fields

Let $F$ be a p-adic field (finite extensions of $\mathbb{Q}_p$ for some prime $p$), and $E/F$ be a quadratic extension. Use $\sigma$ to denote the nontrivial element in the Galois group $Gal(E/F)$. ...
1
vote
0answers
120 views

Parametric Solvable Septics?

Known parametric solvable septics are, $$x^7+7ax^5+14a^2x^3+7a^3x+b=0\tag{1}$$ $$x^7 - 2x^6 + x^5 - x^4 - 5x^2 - 6x - 4 + n(x - 1)x^2(x + 1)^2=0\tag{2}$$ $$x^7 + 7x^6 - 28(n^2 + 27)x^2 + 112(n^2 + ...
16
votes
1answer
747 views

On the solvable octic $x^8-x^7+29x^2+29=0$

The irreducible but solvable octic, $$x^8-x^7+29x^2+29=0\tag{1}$$ was first mentioned by Igor Schein in this 1999 sci.math post. This does not factor over a quadratic or quartic extension, but over ...
5
votes
1answer
351 views

Irreducibililty tests for cubic and quartic polynomials over finite fields

The unpublished preprint: D. G. A. Jackson, The irreducibility of a cubic over $\mathbb{F}_q$, Research Report 98-17, Univ. of Sydney (1998) gives necessary and sufficient conditions (when ${\rm ...
1
vote
1answer
148 views

Roots of the derivative as symmetric functions of the roots of the polynomial

Let $p(t)=(t^2-a_1^2)\ldots(t^2-a_n^2)$ be an even polynomial with distinct real non-zero roots. Can the roots of its derivative $p'(t)$ be expressed nicely (e.g. as rational symmetric functions) in ...
13
votes
1answer
720 views

Janelidze's Galois theory

I am interested in learning about categorical Galois theory, as developed by Janelidze. I am a graduate student who has good familiarity with category theory, but not in the level of doing research on ...
0
votes
0answers
164 views

on the Galois cohomology of reductive groups

Let $G$ a simply connected group over an algebraically closed field. $F=k((t))$ and $\mathcal{O}=k[[t]]$. Let $\gamma\in G(\mathcal{O})\cap G(F)^{rs}$. Let $E=k((t^{1/n}))$ with $n$ prime to the ...
8
votes
2answers
898 views

Galois Group of $x^n-2$

Let $n \in \mathbb{N}$, then the order of the Galois Group of $x^n-2$ coincide with $n \phi(n)$ for $n\in \{ 1 , \dots , 36 \}$ except for $n=\{ 8, 16, 24, 32 \}$ where this order is $\frac{ n \phi ...
2
votes
2answers
203 views

Confusion about two statements about cohomology of curves with automorphisms

Let $\pi :C\rightarrow \mathbb{P}^{1}$ be a cyclic cover of degree $m$ of $\mathbb{P}^{1}$. So $C$ has an action of $\mathbb{Z}/m\mathbb{Z}$. Let $\xi$ be a primitive $m$-th root of unity. Consider ...
2
votes
0answers
53 views

lift isomorphic in a sufficiently thick fiber

Let $P$ and $P'$ two polynomials in $k[[\pi]][t]$ for an algebraically closed field $k$ and let $A=k[[\pi]]$. We consider $ X'=Spec (A[t]/(P'))$ and $X=Spec (A[t]/(P)$. Let $d=val(\Delta(P))$ where ...
5
votes
1answer
396 views

Relation between Galois theory and Etale Cohomology

I am a graduate student working on category theory. I am familiar with categorical Galois theory, in the way developed by Janelidze - as described for example in "Galois Theories". I am now trying to ...
1
vote
1answer
186 views

Deciding if the largest absolute value real root lies in a cyclotomic extension

Given an algebraic equation of degree $n$ of form: $$x^{n} - a_{n-1}x^{n-1} - a_{n-2}x^{n-2} - \dots - a_{0} = 0$$ where each $a_{i} \in \Bbb Q^{+}$ and atleast one positive root, how does one decide ...
2
votes
0answers
305 views

About Schanuel's conjecture

I just read an article of Ram Murty about transcendence of special values of L-functions, and it seems that Schanuel's conjecture plays a crucial role in it. So given a positive integer $n$, let's ...
4
votes
2answers
235 views

Generalization of Kummer isomorphism?

This is a question I asked on math.stackexchange without success. Let $p$ be a prime number and denote by $\mathbb{F}_p(1)$ the one dimensional vector space over $\mathbb{F}_p$ endowed with an action ...
5
votes
1answer
604 views

Embeddings of $\overline{\mathbf{Q}}$ into $\mathbf{C}$

Keenan Kidwell's answer to Place stabilizers for the absolute Galois Group mentions that "choosing a complex conjugation" in $G_{\mathbf{Q}}$ means choosing an embedding ...
4
votes
1answer
290 views

Rigidity, moduli space, and moduli field

In his comment to the question Algebraic numbers and the complex projective line minus three points JSE says that for algebro-geometric objects defined over the complex numbers "in practice, 'the ...
10
votes
1answer
445 views

Least prime $p$ such that an irreducible polynomial of degree $n$ has no root modulo $p$?

This question is inspired by an old question of Greg Kuperberg, about how small is the first prime $p$ which makes a given monic polynomial $P$ with integral coefficient have a (simple) root modulo ...