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 (galois-...

learn more… | top users | synonyms

0
votes
1answer
290 views

Concerning a Cyclic Galois Group

Why is it that: $\forall K \supseteq \mathbb{Q}(\mathbb{i}), G=Gal(K / \mathbb{Q}) = \langle \sigma \rangle \implies \sigma (\mathbb{i}) = - \mathbb{i}$? (Note: I am guessing that $\sigma ≠ \mathbb{1}...
2
votes
2answers
308 views

Show that $\mathbb{Q}(2^{1/4}) / \mathbb{Q}$ is not Galois; prove that $\mathbb{Q}(2^{1/4}) / \mathbb{Q}(2^{1/2})$ is Galois

I would like to show that $\mathbb{Q}(2^{1/4}) / \mathbb{Q}$ is not Galois. Can I just say that it is not separable because $2^{1/4} \in \mathbb{Q}(2^{1/4})$ but its minimal polynomial in $\mathbb{Q}$ ...
-1
votes
1answer
41 views

Permutation of a fixed field is an intermediate field corresponding with the conjugate of the group corresponding to the fixed field

The following is my question: Let $K/F$ be a Galois extension with Galois group $G = Gal(K/F)$, with intermediate field $L: F \subseteq L \subseteq K$ which corresponds to subgroup $H \leq G$ by the ...
2
votes
1answer
371 views

Every Intermediate Field of Abelian Galois Field Extension is Splitting Field of a Separable Polynomial

This is my question: Suppose the $K/F$ is a Galois extension with an abelian Galois group $G$. Prove that every intermediate field $L: F \subseteq L \subseteq K$ is the splitting field (over $F$) of ...
0
votes
2answers
73 views

Construct an embedding

I'm dealing with this problem from the book "Field Theory" (Steven Roman) Suppose $F$ and $E$ are fields and $\sigma : F \rightarrow E $ is an embedding. Construct an extension of $F$ that is ...
0
votes
1answer
155 views

Creating coexistent patterns, with several pattern-less systems

I'm a young musician, as well as a computer programmer. My understanding of math is formed well to my needs, but I am by no means a mathematician, but the field is very interesting to me. I have come ...
2
votes
1answer
259 views

Galois Group of $x^n - a$

Homework problem: If the field F contains a primitive nth root of unity, prove that the Galois group of $x^n - a$, for $a \in F$, is abelian. I'm not really sure where to start here and I'm ...
4
votes
3answers
170 views

Galois group of $x^5-12x+2$ over $\mathbb{Q}$

I've always been able to compute the Galois groups of polynomials of degree $\leq 4$, but I have trouble at higher degrees. I can factor quadratics and cubics, and get the solutions from there, but ...
2
votes
2answers
58 views

Constructing expressions

Suppose you are given all the elementary symmetric functions of $n$ variables $x_1,x_2,...,x_n$ and two rational functions $A(x_1,x_2,...,x_n)$ and $B(x_1,x_2,...,x_n)$ in the same $n$ variables that ...
3
votes
1answer
233 views

$\mathbb{Q}(\sqrt[p]{q}) \neq \mathbb{Q}(\sqrt[p]{r})$ for $p,q,r$ primes and $q \neq r$.

Let $p,q$ and $r$ be primes in $\mathbb{Z}$ with $q \neq r$. Let $\sqrt[p]{q}$ denote any root of $x^p-q$ and let $\sqrt[p]{r}$ denote any root of $x^p - r$. I need to prove that $\mathbb{Q}(\sqrt[p]{...
5
votes
0answers
73 views

The reducibility of polynomial $x^{2^n}+x+1$ over $Z_2$ [duplicate]

I meet the problem in Hungerford's Algebra, page 282 as follows: If $n>2$, then the polynomial $x^{2^n}+x+1$ is reducible over $Z_2$ . I have no any idea on this. But I really want to know how to ...
5
votes
0answers
162 views

Intuition about structures in Galois Theory.

Background Often in mathematics I find we can ask "why" something is true. Of course, this is not a well defined question. However, it usually prompts answers that includes words like "intuitively..."...
3
votes
1answer
82 views

Relation between divisibility of polynomials in different rings, $h | f$ in $\mathbb{Z}[x], \mathbb{Z}/p^k\mathbb{Z}[x]$ and $\mathbb{F}_p[x]$

Let $p$ be a prime, $k$ a positive integer. Let $f,h \in \mathbb{Z}[x]$ be polynomials such that $h | f \mod p^k$ in $ (\mathbb{Z}/p^k\mathbb{Z})[x]$ $h \mod p$ is irreducible in $\mathbb{F}_p$ ...
4
votes
1answer
125 views

Finding a primitive element for the Hilbert Class Field of $\mathbb{Q}(\sqrt{-14})$

I am trying to solve exercise 6.18 in the book of David Cox. I have tried to provide as much context as possible to make the situation as clear as possible for the reader. I have solved ...
2
votes
0answers
39 views

What primes can ramify and decompose in $k(\mu_{p^m}) \mid k$?

Let $k$ be a number field and $p$ be a rational prime. Then consider the extension $k(\mu_{p^m}) \mid k$ of adjoining all roots of unity of degree $p^m$ to $k$. Assuming that $\mu_{p^m} \cap k$ is ...
1
vote
1answer
80 views

How do we explain the existence of complex conjugation?

We can define the complex numbers by writing $\mathbb{C} = \mathbb{R}[i]/(i^2+1),$ where $\mathbb{R}$ is to be regarded as a commutative ring. Furthermore, since $\mathbb{R}$ happens to be a field, ...
6
votes
3answers
172 views

Showing that $\mathbb{Q}(\zeta_p, \sqrt[p]{\ell}) = \mathbb{Q}(\zeta_p + \sqrt[p]{\ell})$ for $p,\ell$ primes.

We consider the polynomial $x^p - \ell$, where $p,\ell$ are both prime numbers. Let $\zeta_p$ be a $p$-th root of unity. We wish to show that $L = \mathbb{Q}(\zeta_p, \sqrt[p]{\ell})$ is the same as $...
3
votes
1answer
137 views

Can't find intermediate subfield of these cyclotomic extensions!

I'm to look at $\mathbb{Q}(\zeta_7)$ and $\mathbb{Q}(\zeta_{10})$, and they both have a common thing I can't see how to work around. For $\mathbb{Q}(\zeta_7)$, skipping some details I doubt matter ...
2
votes
1answer
89 views

Galois group of intermediate fields

Find all subfields $M \subset \mathbb{Q}(\zeta_{7})$ where $\zeta_7=e^{2\pi i/7}$ and determine $Gal(\mathbb{Q}/M)$ and $Gal(M/\mathbb{Q})$. I've found that there are 2 intermediate fields $L=\mathbb{...
1
vote
2answers
281 views

Dummit and Foote on Galois and Representation Theory?

At some point, I'd like to learn both Galois Theory and Representation Theory. I currently know a lot of Group Theory and Linear Algebra, as well as some Ring Theory. I was thinking of reading ...
1
vote
1answer
20 views

Square of normal covering splits

Concerning Galois theory, let $A/B$ be a separable extension. Then $$A/B - \text{normal} \Leftrightarrow A \otimes_B A=A \oplus \cdots \oplus A,$$ where the sum has $n$ summands. Is the same correct ...
1
vote
0answers
99 views

Determine the fixed field of a subgroup of $S_3$ and check the Galois correspondence

I came across this homework problem and I'm stumped. This is the third part of the problem, so to give some context, here's what we have so far: Let $f(x)=x^3-2 \in \mathbb{Q}[x]$. We know that the ...
1
vote
0answers
48 views

Factorization Patterns for Ideals

Let $K/\mathbb{Q}$ be a Galois Number field. Let $p$ be an unramified rational prime. In this extension, for any $P,Q | p\mathcal{O}_K$ then the relative degrees $f(P) := [\mathcal{O}_K/P : \mathbb{...
2
votes
0answers
73 views

to find primitive roots of a galois field

I need to find the members of Galois Field with $p = 11$. I proceeded in this way: $x^{10} - 1 = 0 $ implies $\frac{(x^{10}-1)}{(x+1)(x^{5}-1)} = 0 $ which implies $x^{4} - x^{3} + x^{2} - x + 1 =0$...
2
votes
1answer
87 views

The degree of an irreducible polynomial divides an integer n.

Let $F$ be a finite field such that $|F|=q$, and $f(x)\in{F[x]}$ is irreducible with $deg(f)=d$, $g(x)=x^{{q}^{n}}-x$. Then prove that $f$ divides $g$ if and only if $d$ divides $n$.
4
votes
2answers
586 views

Prove that the Galois group of $x^n-1$ is abelian over the rationals

If $p(x)=x^n-1$, prove that the Galois group of $p(x)$ over the field of rational numbers is abelian. Here's what I have so far. Denote the Galois group $G(K,\mathbb{Q})$, where $K$ is the ...
2
votes
0answers
58 views

How are the two Galois groups are equal?

Let a polynomial $f(x)\in{K[x]}$ splits in $F$ as $f(x)=(x-a_{1})^{m_{1}}...(x-a_{n})^{m_{n}}$ where $a_{i}\in{F}$ are distinct. and $E:=K(b_{0},...,b_{n})$ where $b_{0},...,b_{n}$ are the coefficient ...
2
votes
2answers
106 views

Reducibility of a Cyclotomic Polynomial under the ring homomorphism $\mathbb{Z} \rightarrow \mathbb{F}_p$

I'm working through the following question: Question Reference: Oxford Part I Paper B2 2003 Find the monic polynomial $f \in \mathbb{Z}[X]$ whose roots are the complex primitive $12^{\...
4
votes
0answers
63 views

Number field theoretical analogue of Riemann's Existence Theorem

This question is related to Riemann's Existence Theorem as cited in Neukirch, Schmidt et. al.: Cohomology of Number fields (10.5.1). Let $k$ be a number field, $T \supseteq S \subseteq S_p \cup S_\...
4
votes
1answer
54 views

Precise Error Term in Chebotarev's Theorem

Let $K/\mathbb{Q}$ be a Galois Number Field with Galois group $G$ and discriminant $\Delta_K$. Chebotarev's theorem states that the number of (unramified) rational primes with Frobenius conjugacy ...
2
votes
1answer
115 views

$p$-part of cyclotomic character

Let $K$ be a number field, $\bar K$ a separable closure and $p$ a rational prime and assume that $p \not= char(K)$. Consider the extension $$K(\mu_{p^\infty}) \mid K$$ which is obtained by adjoining ...
1
vote
1answer
60 views

The fixed field of a galois group if the characteristic is $p$.

Consider the following proposition with its relative proof: Let $k$ be an algebraically closed field of characteristic $0$. a) If $L$ is a subfield of $k$, then every elements of $\operatorname {...
0
votes
0answers
81 views

normal extension of $\mathbb{Q}$

We define an algebraic extension $K/F$ to be normal if every irreducible $f \in F[x]$ with one root in $K$ splits in $K[x]$. Now, in my lectures it was stated that $\mathbb{Q}(i)$ is a normal ...
5
votes
1answer
378 views

What are the subfields of $\mathbb{Q}(\sqrt{3},\sqrt[7]{5})$?

I'm trying to find the subfields of $\mathbb{Q}(\sqrt{3},\sqrt[7]{5})$. This is easily seen to be a degree $14$ extension of $\mathbb{Q}$. I found that there is a unique subfield of degree $2$ over $...
1
vote
0answers
45 views

Problem with understanding Sn is realizable over Q? help!!

i have found several solutions over the net, the one i want to understand uses Hilbert's irreducibility theorem whose proof i understood more or less , but my problem is with the solution now. this ...
1
vote
1answer
251 views

Simple radical extension

Let $F/K$ be a Galois (finite) extension with solvable group. Must $F$ be a simple radical extension of $K$? or at least have an intermediate field which is a simple radical extension? If $F/K$ is ...
2
votes
0answers
51 views

Galois group of composite of Galois extensions

I'm reading through the proof in Dummit and Foote p. 593 that $$\operatorname{Gal}(K_1K_2/F) \cong H := \{(\sigma, \tau) \in \operatorname{Gal}(K_1/F) \times \operatorname{Gal}(K_2/F) \mid \sigma|_{...
1
vote
1answer
37 views

Is the extension $\mathbb{Q}(\sqrt[m]{n})/\mathbb{Q}$ not Normal for $m > 1$ and $n$ square free?

Is the extension $\mathbb{Q}(\sqrt[m]{n})/\mathbb{Q}$ not Normal for $m > 2$ and $n$ square free? (edit: and $n > 1$) My understanding is that $f(x) = x^m - n$ would be irreducible by ...
5
votes
1answer
166 views

How to determine the density of the set of completely splitting primes for a finite extension?

In reply of sea turtles comment in this thread Let $k$ be a number field and $K \mid k$ a finite Galois extension. What is the density of the set of completely splitting primes of $k$? As sea turtle ...
3
votes
1answer
702 views

Why is the Galois closure of $K/F$ the composite of the Galois conjugates of $K$?

Suppose $K/F$ is a field extension with Galois closure $L$, and let $G=\operatorname{Gal}(L/F)$. Why is $L$ the same as the composite of the Galois conjugates $\sigma(K)$ for $\sigma\in G$? I know ...
0
votes
2answers
165 views

If $\alpha$ is an algebraic number, then prove that $\frac{2}{3}\alpha$ is also algebraic.

If $\alpha$ is an algebraic number, then prove that $\frac{2}{3}\alpha$ is also algebraic. Note: $\alpha \in \mathbb{R}$ I know that if $\alpha$ is algebraic, then there exists some $f(x) \in \...
0
votes
1answer
29 views

Degree 3 polynomial with coef in a field K: question on roots in a algebraic closure

I am asked the following question: Consider a field $K$ with characteristic different from 2 and 3, and the polynomial $f(t) = t^3 + pt + q \in K(t)$ with three distinct roots $\alpha_1, \alpha_2, \...
1
vote
1answer
128 views

Density of set of splitting primes

Let $K$ be a number field and let $S$ be a set of primes of $K$ containing the set of archimedian primes $S_\infty$. Suppose, $S$ has Dirichlet density $\delta(S) = 1$. Then the claim is that the ...
2
votes
1answer
238 views

Degree of extensions and their composite

Let $F<E$ and $F<K$ be finite extensions and assume that $EK$ is defined as composite of two fields. I need to show that $[EK:F] \leq [E:F][K:F]$, with equality if $[E:F]$ and $[K:F]$ are ...
1
vote
0answers
76 views

Unique “splitting fields” for infinite polynomials

When creating the splitting field of a polynomial we can without loss of generality assume it has constant coefficient $1$ and splits as $\prod_{k=1}^n(1-z_kT)$. The splitting field is obtained by ...
1
vote
3answers
179 views

Elementary Symmetric Polynomials, Roots of cubic polynomials

I'm given $a_1, a_2, a_3$ as roots of the equation $x^3 + 7x^2 - 8x + 3$ and need to find the cubic polynomials with roots $a_1^2, a_2^2, a_3^3$ and $\frac{1}{a_1}, \frac{1}{a_2}, \frac{1}{a_3}$. It'...
3
votes
0answers
94 views

Does cyclic field imply Galois?

I am thinking about the following statement, and I wonder if this is true: Every cyclic field is Galois. (we are in characteristics $0$). I have started with a cubic case and tried to make use of the ...
2
votes
2answers
78 views

Algebraic numbers and their minimal polynomials

Obviously, algebraic numbers uniquely determine their minimal polynomials but not the other way around. But, in general, what is the worst case scenario- if given a minimal (irreducible, monic, of ...
3
votes
0answers
58 views

The existence of Pisot numbers in any real number field

Wikipedia claims that, given a real algebraic number field $K$ of degree $n$, there is an algebraic integer $r \in K$ of degree $n$ such that $r>1$, but every conjugate of $r$ has modulus $<1$ (...
2
votes
1answer
119 views

Embed local Galois groups in global Galois group

Let $k$ be a global field, $p$ be a rational prime and let $S$ be a set of primes of $k$ with density $\delta(S) = 1$. Let $\mathfrak{p} \in S$ be a prime and denote by $k_\mathfrak{p}$ the completion ...