The tag has no wiki summary.

learn more… | top users | synonyms

42
votes
0answers
3k views

Grothendieck-Teichmuller conjecture

(1) In "Esquisse d'un programme", Grothendieck conjectures Grothendieck-Teichmuller conjecture: the morphism $$ G_{\mathbb{Q}} \longrightarrow Aut(\widehat{T}) $$ is an isomorphism. Here ...
19
votes
0answers
1k views

more on “Transalgebraic Theories” (a 19th century yoga)?

Among the talks at occasion of the Galois Bicentennial, one is about "Transalgebraic Theories". Unfortunately I found only this article describing that fascinating idea as " an extremely powerful ...
17
votes
0answers
656 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 ...
13
votes
0answers
442 views

Noether-Deuring for injections and surjections?

Noether-Deuring theorem (not in the strongest form, but in the one I usually need): Let $L\diagup K$ be a field extension. Let $A$ be a $K$-algebra which is finite-dimensional as a vector space over ...
11
votes
0answers
809 views

Galois theory timeline (II)

This question is a sequel. I structured the previous one around Emil Artin's classic treatment of Galois theory from the 1940s, though making clear some reservations of my own about whether Artin ...
11
votes
0answers
571 views

Does there exist a number field, unramified over a predetermined finite set of primes of Q, such that the inverse regular Galois problem is correct for that number field?

The question is: for any finite group, $G$, and any finite set of primes (of $\mathbb{Z}$), $P$, is there a number field $K$, such that there is a regular $G$-Galois extension of $\mathbb{P}^1_K$, and ...
6
votes
0answers
568 views

Automorphisms of local fields

It is an amusing coincidence (at least it appears to be a coincidence to me) that any completion of the field $\mathbb{Q}$ has trivial automorphism group as an abstract field, i.e. when ignoring the ...
6
votes
0answers
195 views

Involution on sextic polynomials?

The strangeness of $Aut(S_{6})$ suggests the following question: Let $a_{1}, a_{2}, a_{3}, a_{4}, a_{5}, a_{6}$ be the zeros of a 6th degree polynomial $P$ over a field $F$. Let ...
5
votes
0answers
261 views

Cutting and pasting in Galois theory

I want to ask who was the first to use cut-paste construction in Galois theory. This question is motivated from the trend in contemporary Galois theory to use patching methods to construct Galois ...
5
votes
0answers
701 views

“The Galois group of $\pi$ is $\mathbb{Z}$.”

Last year, in a talk of Michel Waldschmidt's, I remember hearing a statement along the lines of the title of this question, that is, "The Galois group of $\pi$ is $\mathbb{Z}$.". In what ...
4
votes
0answers
149 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 ...
3
votes
0answers
139 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 + ...
3
votes
0answers
321 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
130 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 = ...
3
votes
0answers
109 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 ...
3
votes
0answers
144 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 ...
3
votes
0answers
253 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 ...
3
votes
0answers
350 views

Norms in Galois extensions

Let $k$ be a field of characteristic 0, and $\overline k$ be a fixed algebraic closure of $k$. Let $k\subset F\subset E$ be a tower of finite Galois extensions in $\overline k$, where both ...
2
votes
0answers
51 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 ...
2
votes
0answers
96 views

On Artin-Hironaka lemma and Galois theory

Let $A=k[[t]]$ Let $B$ a flat $A$-finite algebra which is etale and Galois at the generic point. Then by Artin lemma 3.12 (ii) in his IHES paper on approximation, we know that there exists an integer ...
2
votes
0answers
435 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 ...
2
votes
0answers
89 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 ...
2
votes
0answers
411 views

Decomposition group vs Galois group of completed extension for height > 1 primes

Assume Let $R$ be a Noetherian normal excellent domain, $F$ its field of fractions. Let $S$ be a finite $R$-algebra, $L$ its field of fractions. $L/F$ a (finite) Galois extension $S$ normal in $L$ ...
2
votes
0answers
348 views

What do you call an algebraic element with the property that the generated field extension is normal?

Let $L/K$ be a field extension. Let $\alpha \in L$ be algebraic over $K$. Is there an established terminology for the property of $\alpha$ that $K(\alpha)/K$ is a normal field extension? Would you ...
1
vote
0answers
64 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 ...
1
vote
0answers
71 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 ...
1
vote
0answers
149 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 ...
1
vote
0answers
100 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 + ...
1
vote
0answers
259 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 ...
1
vote
0answers
30 views

Degree of factor of resolvent

As always with my questions this is not at research level, but the assertion is made in a research paper, plus no one's been able (or willing) to answer it over at MSE. Here is the original question, ...
1
vote
0answers
164 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 ...
1
vote
0answers
584 views

Cubic polynomials with “nice” roots, which can be expressed by trig functions of rational angles

Consider the cubic polynomial $x^3-ax+b$ for $a,b\in\mathbb N$. It has three real roots which, by Cardano's formula, can of course be written in closed form using thirds of angles or cube roots of ...
1
vote
0answers
173 views

Decomposing anticyclotomic characters

Suppose $K/\mathbf{Q}$ is an imaginary quadratic field and $\chi$ is a finite-order character of $G_K=\mathrm{Gal}(\overline{K}/K)$ which is anticyclotomic, i.e. $\chi^{\sigma}:=\chi(\sigma g ...
1
vote
0answers
284 views

Splitting of prime ideals in non-Dedekind domains?

This is a follow-up to this question. So that you don't have to flick back and forwards I'll briefly summarize: My original question was on how to prove that a polynomial $g(x)$ obtained from ...
0
votes
0answers
100 views

On the Brioschi-like quintic $v^5 - 5d v^3 + 10 d^2 v - d^2 =0 $

The general quintic can be transformed in radicals using a rational Tschirnhausen transformation to the one-parameter Brioschi quintic, $$u^5 - 10c u^3 + 45 c^2 u - c^2 = 0\tag{1}$$ which can be ...
0
votes
0answers
145 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 ...
0
votes
0answers
27 views

The invariant field for the dual of the augmentation lattice

Let $G$ be some finite group and $J_G$ be $ZG$ modulo the ideal $\{n\sum_{g} g | n\in\mathbb N\}$, or equivalently the dual of the augmentation ideal which is the kernel of $ZG\to Z$ sending $g$ to ...
0
votes
0answers
206 views

Finding the effective maximum number of subspaces in a finite dimensional vector space

Hi mathoverflow community, may be some one may give me a hint on the following problem before I spend much time on brute force search. For $q$ a prime number and $n=6$, let $\mathbb {F}_{q}^{n}$ be ...
0
votes
0answers
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 ...
0
votes
0answers
59 views

The Galois extension of semi-local rings

How to get a Galois extension of the commutative semi-local ring $R=\mathbb{F}_2+v\mathbb{F}_2$, where $v^2=v$. The Galois extension of $R$ of degree $d$ is $\mathbb{F}_a+v\mathbb{F}_a$ where $a=2^d$ ...
0
votes
0answers
223 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 ...
0
votes
0answers
73 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 ...