Galois theory allows one to reduce certain problems in field theory, especially those related to field extensions, to problems in group theory. For questions about field theory and not Galois theory, use the (field-theory) tag instead. For questions about abstractions of Galois theory, use ...

learn more… | top users | synonyms

58
votes
3answers
968 views

A real number $x$ such that $x^n$ and $(x+1)^n$ are rational is itself rational

Let $x$ be a real number and let $n$ be a positive integer. It is known that both $x^n$ and $(x+1)^n$ are rational. Prove that $x$ is rational. What I have tried: Denote $x^n=r$ and $(x+1)^n=s$ ...
51
votes
4answers
2k views

Integrals of $\sqrt{x+\sqrt{\phantom|\dots+\sqrt{x+1}}}$ in elementary functions

Let $f_n(x)$ be recursively defined as $$f_0(x)=1,\ \ \ f_{n+1}(x)=\sqrt{x+f_n(x)},\tag1$$ i.e. $f_n(x)$ contains $n$ radicals and $n$ occurences of $x$: $$f_1(x)=\sqrt{x+1},\ \ \ ...
35
votes
4answers
2k views

Why can we prove mathematically that a formula to solve an (n+5) order polynomial does not exist?

I understand that the quadratic equation can solve any second order polynomial. Furthermore, equations exist for polynomials up to fourth order. However, without a graduate level degree and a deep ...
33
votes
3answers
8k views

How to find the Galois group of a polynomial?

I've been learning about Galois theory recently on my own, and I've been trying to solve tests from my university. Even though I understand all the theorems, I seem to be having some trouble with the ...
32
votes
2answers
1k views

Intuitive reasoning why are quintics unsolvable

I know that quintics in general are unsolvable, whereas lower-degree equations are solvable and the formal explanation is very hard. I would like to have an intuitive reasoning of why it is so, ...
31
votes
1answer
877 views

Is $\sqrt1+\sqrt2+\dots+\sqrt n$ ever an integer?

Related: Can a sum of square roots be an integer? Except for the obvious cases $n=0,1$, are there any values of $n$ such that $\sum_{k=1}^n\sqrt k$ is an integer? How does one even approach such ...
31
votes
1answer
465 views

Is the Galois group associated to a random polynomial solvable with probability 0?

Choose a random polynomial $P\in\mathbb{Z}[x]$ of degree $n$ and coefficients $\leq n$ and $\geq-n$. Let $r_1,\ldots,r_n$ be the roots of $P$ and consider ...
31
votes
1answer
662 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}$? ...
30
votes
2answers
759 views

Are most rational quintics unsolvable?

It is well-known that, as polynomials of degree exceeding 4, there exist quintics whose roots cannot be solved for by radicals (Abel-Ruffini theorem). So we can divide the set of rational quintics ...
30
votes
1answer
520 views

Is Frobenius the only magical automorphism?

The Frobenius automorphism is special because the $p$-power map makes sense in any characteristic $p$ ring, which allows us to canonically extend the Galois-theoretic Frobenius to any such ring. I ...
27
votes
10answers
2k views

Contributions of Galois Theory to Mathematics

What are the major and minor contributions of Galois Theory to Mathematics? I mean direct contributions (like being aplied as it appears in Algebra) or simply by serving as a model to other theories. ...
26
votes
2answers
2k views

Polynomials irreducible over $\mathbb{Q}$ but reducible over $\mathbb{F}_p$ for every prime $p$

Let $f(x) \in \mathbb{Z}[x]$. If we reduce the coefficents of $f(x)$ modulo $p$, where $p$ is prime, we get a polynomial $f^*(x) \in \mathbb{F}_p[x]$. Then if $f^*(x)$ is irreducible and has the same ...
26
votes
2answers
2k views

Original works of great mathematician Évariste Galois

Through this question I wanted to know the original works of Galois. When I was reading Galois theory ( since from last month ) , I have been seeing one common line in every book, whose essence ...
26
votes
3answers
2k views

Why isn't the inverse of the function $x\mapsto x+\sin(x)$ expressible in terms of “the functions one finds on a calculator”?

The function $f(x)=x+\sin(x)$ is easily checked to be a bijection from the reals to itself, and so it has a unique inverse $y\mapsto g(y)$ such that $f\circ g=g\circ f$ are both the identity map. ...
25
votes
2answers
549 views

Algebraic numbers that cannot be expressed using integers and elementary functions

Can we give an explicit${^*}$ example of a real algebraic number that provably cannot be represented as an expression built from integers and elementary${^{**}}$ functions only? ${^*}$ explicit ...
25
votes
3answers
869 views

Galois groups of polynomials and explicit equations for the roots

Lets say I have calculated the galois group of some polynomial and I also have the subgroup structure. What's an effective procedure to turn the group into equations for the actual roots of the ...
23
votes
2answers
2k views

“Standard” ways of telling if an irreducible quartic polynomial has Galois group C_4?

The following facts are standard: an irreducible quartic polynomial $p(x)$ can only have Galois groups $S_4, A_4, D_4, V_4, C_4$. Over a field of characteristic not equal to $2$, depending on whether ...
22
votes
4answers
515 views

Why there is much interest in the study of $\operatorname{Gal}\left(\overline{\mathbb Q}/\mathbb Q\right)$?

Let's start for a simple quote from wikipedia: "No direct description is known for the absolute Galois group of the rational numbers. In this case, it follows from Belyi's theorem that the ...
22
votes
2answers
1k views

Is every group a Galois group?

It is well-known that any finite group is the Galois group of a Galois extension. This follows from Cayley's theorem (as can be seen in this answer). This (linked) answer led me to the following ...
21
votes
1answer
2k views

Intuition behind looking at permutations of the roots in Galois theory

What I find after reading books is that they explain only the conceptual definition and no one mentions the explanation behind it; I have been reading the Galois theory as many people told me to read, ...
21
votes
2answers
1k views

How to solve fifth-degree equations by elliptic functions?

From F. Klein's books, It seems that one can find the roots of a quintic equation $$z^5+az^4+bz^3+cz^2+dz+e=0$$ (where $a,b,c,d,e\in\Bbb C$) by elliptic functions. How to get that?
18
votes
2answers
527 views

Expressing a root of a polynomial as a rational function of another root

Is there an easy way to tell how many roots $f(x)$ has in $\Bbb{Q}[x]/(f)$ given the coefficients of the polynomial $f$ in $\Bbb{Q}[x]$? Is there an easy way to find the roots as rational ...
17
votes
3answers
304 views

How to prove summation, multiplication, subtraction of two roots of $1+x+\frac{x^2}{2!}+\cdots+\frac{x^p}{p!}=0$ aren't rationals?

Assume $a$, $b$ are distinct roots of the following equation: $$1+x+\frac{x^2}{2!}+\cdots+\frac{x^p}{p!}=0,$$ where $p$ is a prime number and $p \gt 2$. How to prove that $ab$, $a+b$, $a-b$ are not ...
17
votes
4answers
305 views

Value in retracing mathematicians' steps (specifically Galois)?

So I'd like to learn Galois Theory, which I am probably not "qualified" for in an ordinary sense (I've never done abstract algebra, and I'm just now learning linear algebra in my vector calculus ...
17
votes
1answer
469 views

Irreducibility of $x^{n}+x+1$

Motivated by this problem, and KCd's comment on my answer, I am left with the following question: Question: Suppose that $n\not \equiv 2\pmod{3}$. Is $$x^n+x+1$$ irreducible over $\mathbb{Q}$? ...
16
votes
1answer
430 views

Is every rigid field perfect?

A field is rigid iff its automorphism group is trivial. A field $F$ is perfect iff all irreducibles in $F[x]$ are separable. Is every rigid field perfect?
16
votes
3answers
636 views

Finding the degree of a field extension over the rationals

Let $\alpha = \sqrt{\sqrt{2}+\root 4 \of 2}$, $\beta =\sqrt{\sqrt{2}- \root 4 \of 2}$, $\gamma = \sqrt{-\sqrt{2}+i\root 4 \of 2}$ and $\delta = \overline{\gamma}=\sqrt{-\sqrt{2}-i\root 4 \of 2}$. Let ...
15
votes
6answers
4k views

How to show that $\sqrt{2}+\sqrt{3}$ is algebraic?

In Abbot's Understanding Analysis I am asked to show that $\sqrt{2}+\sqrt{3}$ is an algebraic number. I have shown that those two are algebraic separately (that was simple), but I can't figure out ...
15
votes
2answers
1k views

How to prove that $\mathbb{Q}[\sqrt{p_1}, \sqrt{p_2}, \ldots,\sqrt{p_n} ] = \mathbb{Q}[\sqrt{p_1}+ \sqrt{p_2}+\cdots + \sqrt{p_n}]$, for $p_i$ prime?

This is Exercise 18.14 from Algebra, Isaacs. $p_{1}\ ,\ p_{2}\ ,\ ... p_{n}$ are different prime numbers. How to show that $$\mathbb{Q}[\sqrt{p_{1}}, \sqrt{p_{2}}, \ldots, \sqrt{p_{n}} ] = ...
15
votes
1answer
2k views

Can a regular heptagon be constructed using a compass, straightedge, and angle trisector?

Euclid has a magical compass with which he can trisect any angle. Together with a regular compass and a straightedge, can he construct a regular heptagon?
15
votes
4answers
449 views

Galois Theory and Galois Groups

Show that $\mathbb{Q}[x]/\langle x^{3}-2\rangle = [{a + b\alpha + c\alpha^{2}: a, b, c \in \mathbb{Q}, \alpha^{3} = 2}]$ is not a Galois extension of $\mathbb{Q}$. In particular, show that every ...
14
votes
1answer
1k views

Explicit computation of a Galois group

Let $E$ be the splitting field of $x^6-2$ over $\mathbb{Q}$. Show that $Gal(E/\mathbb{Q})\cong D_6$, the dihedral group of the regular hexagon. I've shown that $E=\mathbb{Q}(\zeta_6, ...
13
votes
3answers
2k views

Inseparable, irreducible polynomials

The standard examples of irreducible, inseparable polynomials that one encounters in an introductory course on field theory all seem to have only a single root in an algebraic closure. Are there ...
13
votes
4answers
2k views

showing that $n$th cyclotomic polynomial $\Phi_n(x)$ is irreducible over $\mathbb{Q}$

I studied the cyclotomic extension using Fraleigh's text. To prove that Galois group of the $n$th cyclotomic extension has order $\phi(n)$( $\phi$ is the Euler's phi function.), the writer assumed, ...
13
votes
1answer
435 views

Transcendental Galois Theory

Is there a good reference on transcendental Galois Theory? More precisely, if $K/k$ admits a separating transcendence basis (or maybe if it is a separably generated extension) it seems to me that ...
13
votes
2answers
966 views

Inverse function of $y=\frac{\ln(x+1)}{\ln x}$

I've been wondering for a while if it's possible to find the inverse function of $y=\frac{\ln(x+1)}{\ln x}$ over the reals. This is the same as finding the positive real root of $x^y-x-1$. I realize ...
13
votes
1answer
147 views

Natural density of solvable quintics

A recent question asked about the topological density of solvable monic quintics with rational coefficients in the space of all monic quintics with rational coefficients. Robert Israel gave a nice ...
12
votes
3answers
681 views

A question regarding the definition of Galois group

In my book, Galois group is defined to mean the set of automorphisms on $E/F$ that "leave alone" the elements in $F$. On Wikipedia it says: "If $E/F$ is a Galois extension, then $Aut(E/F)$ is called ...
12
votes
3answers
422 views

Complex Galois Representations are Finite

In A First Course in Modular Forms, Diamond and Shurman leave as an exercise ($9.3.3$) that every complex Galois representation is finite. While I think I have worked through this exercise here, this ...
12
votes
3answers
765 views

Why does rational trigonometry not work over a field of Characteristic 2?

I am interested in solving triangles in a finite field with a computer program. Rational trigonometry seems well suited to do this. However, the Wikipedia article, as well as several published ...
12
votes
1answer
2k views

Galois group of $X^4 + 4X^2 + 2$ over $\mathbb Q$.

I'd like to calculate the Galois group of the polynomial $f = X^4 + 4X^2 + 2$ over $\mathbb Q$. My thoughts so far: By Eisenstein, $f$ is irreducible over $\mathbb Q$. So $\mathrm{Gal}(f)$ must be ...
12
votes
1answer
162 views

Galois Properties of the Values of Modular Forms

Let $f \in S_0(N)$ be a normalized Hecke eigenform. It is well known that its coefficients are algebraic integers, and $f^\sigma$ lies in $S_0(N)$ for $\sigma \in G_{\mathbb{Q}}$. At CM points $z \in ...
12
votes
1answer
709 views

Galois group of a reducible polynomial over $\mathbb {Q}$

Let $f \in\mathbb {Q}[X]$ be reducible - for the sake of simplicity, $ f = gh$ with $g,h \in\mathbb {Q}[X]$ irreducible. Let L be the splitting field of f. Does $Gal(f) \simeq Gal(g) \times Gal(h)$ ...
12
votes
1answer
228 views

Galois group of the quintic polynomial $X^5+X+1$

I'm trying to find the Galois group of the polynomial $p(X)= X^5+X+1$ over $\mathbb Q$. First, one notes that, if $\omega$ is a primitive cubic root of unity, then it is a root of $p(X)$. So, ...
12
votes
2answers
151 views

Uniformly solvable families of polynomials

It is a famous theorem that there is no "quintic formula", i.e. there is no formula which expresses the roots of a quintic polynomial $x^5+a_4x^4+\cdots+a_0$ in terms of $a_4,\ldots,a_0$ and rational ...
12
votes
1answer
133 views

When is a number in $\mathbb{Q}(\sqrt{a_1},\ldots,\sqrt{a_n})$?

Given an algebraic number $\alpha$ with minimal polynomial $P(x)$ of degree $2^n$, how can I decide if there are integers $a_1,\ldots,a_n$ such that ...
12
votes
1answer
233 views

Semialgebraic conditions that convey properties of Galois group

Let $f \in \mathbb{Z}[x]$ be a polynomial of degree $n$ with integer coefficients and let $G_f$ be the Galois group of $f$ over $\mathbb{Q}$. I am trying to collect results that convey some ...
12
votes
0answers
278 views

On solvable quintics and septics

Here is a nice sufficient (but not necessary) condition on whether a quintic is solvable in radicals or not. Given, $x^5+10cx^3+10dx^2+5ex+f = 0\tag{1}$ If there is an ordering of its roots such ...
12
votes
0answers
542 views

The radical solution of a solvable 17th degree equation

(The question is at the bottom of the post.) Here's a "natural" solvable 17-th deg eqn with small coefficients: $$\begin{align*} x^{17}-6 x^{16}&-24 x^{15}-42 x^{14}-31 x^{13}-23 x^{12}-7 ...
11
votes
2answers
582 views

Prove that the intersection of all subfields of the reals is the rationals

I'm reading through Abstract Algebra by Hungerford and he makes the remark that the intersection of all subfields of the real numbers is the rational numbers. Despite considerable deliberation, I'm ...