The tag has no usage guidance.

learn more… | top users | synonyms

3
votes
2answers
193 views

efficiently checking that a field extension is Galois

Let $K \subset L$ be an algebraic extension of fields finitely presented over a prime field or over an algebraically closed field. Is there an efficient procedure to check that $L/K$ is Galois? To ...
7
votes
2answers
648 views

Galois groups and prescribed ramification

What is known about finite groups $G$ for which there exists a Galois extension $K$ of $\mathbb{Q}$ ramified only at $2$ such that $\text{Gal}(K/\mathbb{Q}) \cong G$ ? More generally, which groups can ...
13
votes
2answers
952 views

What justification can you give for the fact that “most ODEs do not have an explicit solution”?

What justification can you give for the fact that "most ODEs do not have an explicit solution"?
8
votes
2answers
732 views

Is a Galois extension of the rationals determined by its set of completely split primes?

apologies if this is a naive question. Consider two Galois extensions, K and L, of the rational numbers. For each extension, consider the set of rational primes that split completely in the extensions,...
11
votes
4answers
3k views

Can a sum of roots of unity be an integer?

Let $n \geq 2$, $H \lneq (\mathbb{Z}/n\mathbb{Z})^*$, $\zeta_k$ a primitive $k$-th root of unity. Is it possible that $$\sum_{h \in H} \zeta_k^{h} \in \mathbb{Z}$$ for every $k$ dividing $n$ such that ...
4
votes
1answer
368 views

q-th powers and roots of polynomials

Let $p,q,r$ be integers with $r\ge2$; let $f$ be a polynomial of the form $f(X) = g((X+1)^r)$, which is not a $q$-th power. Let $\omega$ be a $p$-th root of unity. Prove or disprove that the ...
14
votes
2answers
2k views

Is there an algebraic number that cannot be expressed using only elementary functions?

(this is basically a repost of a question I asked at M.SE last year) Is there an explicit real algebraic number (such that we can write its minimal polynomial and a rational isolating interval) that ...
6
votes
3answers
414 views

Finite extension of local fields

Can a (higher) local field have uncountably many finite (seperable) extensions?
6
votes
1answer
240 views

Comparison of finite field extensions of $\mathbb{C}(t)$

Let K be a finite field extension of $\mathbb{C}(t)$. Then $K$ is isomorphic to the field of meromorphic functions on a compact Riemann surface $X$ with genius $g$. By an argument similar to the proof ...
15
votes
1answer
1k views

Is $x^{n}-x-1$ irreducible?

Is it true that for every $n \in \mathbb{N}$, $x^{n}-x-1$ is irreducible in $\mathbb{Z}[x]$? The standard irreducibility criteria seem to fail.
3
votes
1answer
344 views

Cyclotomic character in class field theory

Let $K$ be an extension of $\mathbb{Q}_p$. By local class field theory, the $p$-adic cyclotomic character $\mathrm{Gal}_K \rightarrow \mathbb{Z}_p^\times$ corresponds to a character $\chi : K^\times \...
6
votes
3answers
608 views

Constructing quintic number fields with certain splitting behaviour

I am looking for number fields $K$ which satisfy the following properties: $[K:\mathbb{Q}]=5$. The Galois closure of $K$ has Galois group $S_5$. For each prime $p$ which ramifies in $K$, there ...
11
votes
2answers
417 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 ...
3
votes
2answers
206 views

Minimal fields of isomorphism for varieties

Let $V$ be an algebraic variety over a field $K$. Is there a constant $d = d(V) \in \mathbb{N}$ such that for any variety $W$ defined over $K$ and isomorphic to $V$ over the algebraic closure of $K$, ...
2
votes
0answers
268 views

Transcendental numbers in the p-adic rationals $\mathbb Q_p$ [closed]

I know that there are uncountably infinite transcendentals over $\mathbb Q$ in $\mathbb Q_p$. What i want to ask is if there is a way to determine whether a transcendental over $\mathbb Q$ lays in ...
18
votes
3answers
456 views

Local Inverse Galois Problem

It's a basic fact that a finite Galois extension $L/K$ of a local nonarchimedian field $K$ has solvable (in fact supersolvable) Galois group $G$. One sees this by using the ramification filtration $...
4
votes
0answers
326 views

questions about the “relative fundamental group” of SGA 1 Expose XIII

$\newcommand{\LL}{\mathbb{L}}$ I'm reading SGA 1, obtained from http://arxiv.org/abs/math/0206203 My questions regard 4.5 and 4.5.1 (page 309) of Expose XIII. Following "Exemples 4.4" in Expose ...
34
votes
1answer
1k views

Degree 17 number fields ramified only at 2

The number $17$ is the smallest odd number that occurs as the degree of a number field $K/\mathbb{Q}$ for which the only finite prime that ramifies is $2$. The non-existence for $n < 17$ follows ...
14
votes
1answer
458 views

Permutation Groups Containing non-commuting $p$-cycles

I noticed that the following is true, and that there is a reasonably elementary proof of it (in particular, the classification of finite simple groups is not needed). Let $G$ be a finite permutation ...
2
votes
1answer
344 views

“Galois subfields of real radical extensions are at most quadratic” [closed]

I was looking at the following page that attempts to prove that any Galois extension of a subfield $F$ of $\mathbb R$ contained in $F(\sqrt[n]{a})$ for some real $a$ with a real $n$th root must have ...
14
votes
0answers
761 views

Is there an infinite field of characteristic 2 whose multiplicative group is torsion free and (direct-sum) indecomposable?

Let $F$ be a infinite field of characteristic 2 whose multiplicative group $F^*$ is torsion free. I would like to conclude that $F^*$ is decomposable or find an example where $F^*$ is indecomposable. ...
61
votes
2answers
4k views

Is it possible to express $\int\sqrt{x+\sqrt{x+\sqrt{x+1}}}dx$ in elementary functions?

I asked a question at Math.SE last year and later offered a bounty for it, but it remains unsolved even in the simplest case. So I finally decided to repost this case here: Is it possible to express ...
1
vote
1answer
259 views

Maximal unramified extension and inertia group for separable closure

I have a problem in understanding the inertia group of an infinite extension. I am studying it in this context. Let $K$ be a field, $v$ a discrete valuation on $K$, and $\mathcal{O}_v$ the discrete ...
33
votes
1answer
1k 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
304 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
425 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 $H^1(G,...
7
votes
1answer
408 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
229 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
167 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
240 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 group:$S_5,A_5,AGL_1(\mathbb{F}_5).D_5,\mathbb{...
6
votes
1answer
452 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
186 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 ...
18
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
298 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
362 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
207 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
152 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$ ...
11
votes
3answers
2k 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 ...
3
votes
1answer
304 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 ...
4
votes
0answers
218 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 + 5u^2v^2(...
2
votes
0answers
101 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 ...
3
votes
0answers
566 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
221 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 = \big(x_1+x_2\...
4
votes
1answer
332 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 $\mathbb{\overline{Q}}...
3
votes
1answer
363 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
368 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
159 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 ...
11
votes
1answer
621 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 ...
5
votes
1answer
311 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 ...
4
votes
2answers
515 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 $x_1x_2+x_3x_4+\dots+x_{...