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

0
votes
0answers
11 views

For a finite etale map $X\rightarrow T$ of degree $d$, and a $U$-point $t\in T(U)$, are there at most $d$ points in $X(U)$ lying over $t$?

If $f : X\rightarrow T$ is a finite etale morphism of connected schemes, and $U$ is another connected scheme and we're given a map $t : U\rightarrow T$, then must it be true that there are at most $d$ ...
1
vote
0answers
68 views

Any other mathematicians like Galois in recent history?

Any other mathematicians like Galois in recent history ? For "someone like Galois", I mean someone who developed a completely new theory all by himself, solved a big problem and the theory has big ...
1
vote
1answer
43 views

Proving degree $n$ have at last $n$ roots in $F_q[X]$

How to prove that in $F_{q}[X]$ of degree $n$, have $n$ roots?
0
votes
1answer
20 views

Prove that the Galois group of a polynomial $p(x)=x^q-1$ is the Cyclic group of order $q-1$, where $q$ is prime.

I understand why $q$ must be odd, since complex conjugation must be one of the Galios group's elements. But why must $q$ be prime?
4
votes
1answer
38 views

Finding a cubic polynomial whose splitting field over $\mathbb{Q}$ equals $\mathbb{Q}(a)$ if $a$ is any of its roots

Question: Let $\alpha$, $\beta$ and $\gamma$ be the roots of a rational cubic polynomial $q$. Can we find a (non-trivial) example where the splitting field of $q$ over $\mathbb{Q}$ equals ...
1
vote
1answer
50 views

What is $\hat{\mathbb{Z}}$?

I have been reading a bit about unramified extensions. If $K$ is $\mathbb{Q}$ or $\mathbb{Q}_p$ (p-adics), then there is a maximal unramified extension $K^{nr}$ of $K$. Then I have read in some notes ...
1
vote
0answers
23 views

determine the degree of an extension, check normality

I came across an old exam problem and I wonder if my solution is correct. Let $L=\mathbb{Q}(\omega)$, where $\omega=e^{\frac{2\pi i}{6}}$ is a primitive sixth root of unity: a) determine ...
3
votes
0answers
23 views

Solvability of Higher Degree Polynomials by Bring Radicals

A Bring radical of $a$ is any root of the polynomial $x^5+x+a$. It is known that we can solve the quintic if we're allowed to use the Bring radical. Now, I was wondering what happens if we ...
4
votes
2answers
100 views

Galois theory, had it solved any major problems beside its original applications to classical problems?

Galois theory, had it solved any major problems beside its original (classical) applications to roots of a fifth (or higher) degree polynomial equation (solvable algebraic equations and constructible ...
6
votes
2answers
70 views

Groups, inverse Galois problem and transcendence degrees

This is a curiosity of mine. I suspect there might be a trivial answer, but if there is none, this problem will probably haunt me for a long time... The question is as follows : Given a group $G$, ...
6
votes
1answer
73 views

Field extension $\mathbb Q(f)/\mathbb Q$ and its Galois group

Let $E/\mathbb{Q}$ and $F/E$ be finite extensions of fields, let $u$ be an element of $Aut(F/E)$, and let $f$ be an element of $F$. Suppose that (i) $[F:E]=3$, (ii) $F=\mathbb{Q}(f)$ and ...
2
votes
1answer
44 views

The Galois group of a polynomial

I was just looking for some clarification regarding the definition of the Galois group of a polynomial $f(x)$. So, if I remember correctly, this is defined as the Galois group of a splitting field of ...
0
votes
0answers
38 views

Why do nth roots (radicals) have closed forms whilst other polynomial roots do not?

The nth root function - $\sqrt[n]{a_{0}}$ - may be seen as an arithmetic operation (the inverse of the $pow(x, n)$ function) but it can also be interpreted as computing the roots of a specific class ...
4
votes
2answers
38 views

Non-isomorphic field extensions of $\mathbb{Q}$

I'm having a little bit of a problem with the following question: Show that there do not exist two irreducible polynomials $a(x)$ and $b(x)$ in $\mathbb{Q}[x]$ of degrees 6 and 7 respectively ...
2
votes
3answers
152 views

Showing Galois Group is Abelian

I'm having trouble showing that $\text{Gal}(\mathbb{Q}(\zeta_n)/\mathbb{Q})$ is Abelian. First I want to be able to show that $\mathbb{Q}(\zeta_n)/\mathbb{Q}$ is Galois, but I'm also not sure how to ...
4
votes
0answers
79 views

Any abstract algebra book with programming (homework) assignment?

All: I had studied abstract algebra long time ago. Now, I would like to review some material, particularly about Galois theory (and its application). Can anyone recommend an abstract algebra book ...
2
votes
2answers
30 views

Transitivity Property of Separable Extensions

I was looking for some proof for the transitivity property of separable field extensions. Although this might sound like a very well-known fact and is referred to frequently, I do not seem to find a ...
1
vote
3answers
46 views

Automorphisms of splitting field of $x^p-x-a$

Let $p$ be a prime and consider the splitting field of $f(x) = x^{p} - x - a$ over $\mathbb{F}_{p}$. I have worked out that the splitting field is $\mathbb{F}_{p}(\beta)$, where $\beta$ is a root of ...
1
vote
1answer
36 views

Cyclotomic field of $5$ th root of Unity

Question is : Let $K$ denote the field $\mathbb{Q}(\zeta)$ where $\zeta=e^{\frac{2\pi i}{5}}$ Find $[K:\mathbb{Q}]$ Show that the splitting field of $x^{10}-1$ over $\mathbb{Q}$ is $K$ Find the ...
3
votes
1answer
75 views

What is : $ \ \mathrm{Gal} ( \overline{ \mathbb{Q} } / \mathbb{Q} ) $?

In a book, I find the following thing : The natural homomorphism $ \mathrm{Gal} ( \overline{\mathbb{Q}} / \mathbb{Q}) \to \displaystyle \lim_ {\longleftarrow n} \mathrm{Gal} (K_n / \mathbb{Q}) $ is ...
1
vote
0answers
16 views

Finite field extensions as projective group algebras

For a finite field extension $K \subset L$, can $L$ always be seen as a projective group algebra over $K$? That is, does there always exist a finite group $G$ and isomorphism $L \simeq K _\alpha [G]$, ...
2
votes
1answer
142 views

Is normal extension of normal extension always normal?

Let F be a char 0 field, K be a normal extension of F and L be a normal extension of K. Can it be proved or disproved that L is normal extension of F ?
2
votes
3answers
137 views

Minimal polynomial for $\zeta+\zeta^5$ for a primitive seventh root of unity $\zeta$

Minimal polynomial for $\zeta+\zeta^5$ for a primitive seventh root of unity $\zeta$ I have asked a similar problem Minimal Polynomial of $\zeta+\zeta^{-1}$ and i tried to repeat similar idea ...
2
votes
1answer
41 views

Places of this extension

I'm reading this book. I'm trying to find the degree of the places of the extension $\mathbb C(X)\mid\mathbb R$. I know the places of the extension $\mathbb R(X)\mid\mathbb R$ and I've already ...
1
vote
0answers
39 views

Galois Group of $x^p-x+a$ over $\mathbb{F}_p$ for prime $p$ and $a\neq 0\in \mathbb{F}_p$

Question is to find Galois group of $f(x)=x^p-x+a$ over $\mathbb{F}_p$ for prime $p$ and $a\neq 0\in \mathbb{F}_p$ What i have done so far is : I could see that $f(x)$ is Irreducible and ...
0
votes
1answer
24 views

Kernel of a group homomorphism (Galois theory question)

I am going over a proof in the Fundamental Theorem of Galois Theory and I need a little clarification. I hope you can help. Let $L/K$ be a finite extension with Galois group $G$ and let $M$ be an ...
2
votes
1answer
33 views

Isomorphic algebraic closures.

I've just stared learning the Galois Theory so my question might be trivial, but could someone give me an example of two different algebraic closures of the same field? Cause I don't get how they can ...
1
vote
1answer
65 views

Field of roots of polynomial [closed]

Let $f(x)=(x^2+x+1)(x^5+x+1)\in \mathbb Z_2[x]$. Find the field of roots of this polynomial.
2
votes
1answer
24 views

Sources about transcendence degree

I asked this question: Characterization of the transcendentals over a field I realized I need some knowledge about transcendence degree to prove some facts in the book I'm reading. I would like to ...
1
vote
3answers
44 views

Extensions of degree $1$.

My doubt is very simple: Let $F|K$ be a field extension, if $[F:K]=1$, what can we say about $F$ and $K$? can I say $F=K$? I'm trying to prove the equality without success. Thanks in advance
4
votes
1answer
66 views

Milne's Galois Theory Example

The following example is drawn from Milne's Galois Theory notes, p.42 (http://www.jmilne.org/math/CourseNotes/FT.pdf) We study the extension $\mathbb{Q}[\zeta]/\mathbb{Q}$ where $\zeta=e^{2\pi i/7}.$ ...
2
votes
1answer
49 views

Computing $\text{Gal}(\mathbb{Q}^{ab}/\mathbb{Q})$

Algebraic class field theory tells us that $\text{Gal}(\mathbb{Q}^{ab}/\mathbb{Q})$ is isomorphic to the group of connected components of the quotient $\mathbb{Q}^{\times}\backslash ...
0
votes
2answers
29 views

Primitive element of the fixed field of a subgroup of the galois group of a prime cyclotomic extension

This is a question on one step in a proof from Dummit and Foote pg. 597. Let $p$ be an odd prime (there isn't much to say for the $p=2$ case) and let $G=\text{Gal}(\mathbb{Q(\zeta_p)}/\mathbb{Q})$ ...
0
votes
1answer
43 views

The ring of fractions $K(x)$ is the field generated by $K$ and $x$.

I would like to show that the ring of fractions $K(x)$ of $K[x]$ in an extension $L$, where $K\subset L$ fields, is the field generated by $K$ and $x$ (let's call it by $\tilde{K(x)}$). I know just ...
0
votes
2answers
19 views

Rational functions are decomposed in polynomial products

I'm trying to understand why this is true: Since $K(x)$ is a field, $K(x)$ is an UFD, then $K(x)$ can be written uniquely as products of irreducible elements of $K(x)$. I didn't understand why ...
3
votes
1answer
36 views

Characterization of the transcendentals over a field

I'm studying Algebraic Function Fields and Codes book from Henning Stichtenoth and I didn't understand this remark in the first page: I couldn't solve any part of the equivalence, I think maybe ...
1
vote
1answer
25 views

Irreducibility in Galois/non Galois Extensions

Let $k$ be a field and $\alpha$ algebraic over $k$. Let $K$ be the Galois closure of $k(\alpha)$ (obtained by adding all conjugates of $\alpha$). If $f(x) \in k[x]$ is irreducible over $k[\alpha]$ is ...
2
votes
1answer
48 views

A Fixed Field of $\mathbb{Q}(\sqrt{2},\sqrt{3},\sqrt{5})$

I was working on a review problem from Dummit and Foote and came across the following issue. It is clear that the Galois group of the splitting field for the polynomial $(x^2-2)(x^2-3)(x^2-5)$ has ...
0
votes
0answers
23 views

Galois group of a splitting field

$f=x^4-5x^2+6 \in \operatorname Q[x]$ $f=(x^2-2)(x^2-3)$ $\operatorname F=\operatorname Q(\sqrt[2]{2},\sqrt[2]{3})$ $f$ is irreducible for Eisenstein's criterion, $\operatorname{char} \operatorname ...
1
vote
1answer
29 views

Galois group of the splitting field of $ x^6 - 5$

$f = x^6 - 5$ $\in \operatorname Q [x]$ I want to find a splitting field $\operatorname F$ of $f$ over $ \operatorname Q$ $\sqrt[6]{5}$ is a real root of $f$ $u$ is the 6-th root of unity then $ ...
1
vote
2answers
51 views

Galois extension preserves irreducibility

Consider a Galois extension $K/F$. Let $f\in F[x]$ be irreducible of prime degree. If $f$ has no roots in $K$, prove that $f$ is irreducible in $K[x]$.
1
vote
2answers
36 views

$K \le B\le F$, If $F$ Galois over $K$ $\Rightarrow$ $F$ a Galois over $B$

Let $F$ a Galois over $K$, and let $B$ be a subfield of $F$ such that : $K \le B\le F$ $\Rightarrow$ $F$ a Galois over $B$ PROOF: $F$ is a splitting field of $f \in K[x]$ separable over $K$. ...
1
vote
1answer
57 views

Action of $\mathbb Z_2$

Is there a connection between Artin-Schreier theorem on finite groups which can be absolute Galois groups and the classification of finite groups freely acting on even-dimensional sphere? The former ...
2
votes
4answers
72 views

find a polynomial whose roots are inverse of squares of roots of $x^3+px+q$

Question is : Given a polynomial $f(x)=x^3+px+q\in \mathbb{Q}[x]$ find a polynomial whose roots are inverse of sqares of roots of $f(x)$ Supposing $a,b,c$ as roots of $f(x)$ we have : $a+b+c=0$ ...
1
vote
1answer
26 views

Prove that $K=k(\alpha)$

Prove: If K\k is a Galois extension and $\alpha \in K$ with $\sigma(\alpha)\neq \alpha$ for all $\sigma \in Gal(K,k)\backslash \lbrace id_K \rbrace$, than $K=k(\alpha)$.
4
votes
1answer
88 views

Find intermediate fields of $\mathbb{Q}(\sqrt[3]{2}, \sqrt{3},i) \, | \, \mathbb{Q}(i)$

This is the problem I am facing: Compute the intermediate fields of the extension $K | \mathbb{Q}(i)$ where $K = \mathbb{Q}(\sqrt[3]{2}, \sqrt{3},i)$ and find the intermediate fields $M$ such ...
1
vote
1answer
69 views

Solvability of polynomials over fields of characteristic zero

1) Let $K$ be a field, $\operatorname{char}(K)= 0$, and $f ∈ K [x]$ with $\deg(f)\le4$. Then $f$ is solvable by radicals. Proof: $\operatorname{Gal} (F/K) \cong S_4$ then $\operatorname{Gal}(F/K)$ ...
1
vote
1answer
53 views

How to show this is the minimal polynomial

I'm trying to the following problem. But I can't show some irreducibility of the polynomials. Put $L=\mathbb{C}(X,Y,Z)$, $\omega=\frac{-1+\sqrt{-3}}{2}$. Define two automorphism $\sigma, \tau$ of ...
2
votes
1answer
92 views

Radical Solvable quintic polynomial.

I am trying to solve the following exercise: Let $k$ be a field of characteristic 0, and let $f(x)\in k[x]$ be a polynomial of degree 5 with splitting field $E/k$. Prove that $f(x)$ is ...
4
votes
1answer
79 views

What is the difference between field theory and Galois theory

I am about to finish the book Galois theory by Harold Edwards. I am planning to study Galois theory at a more advanced level or field theory. I am unable to decide because I don't know the difference ...