Tagged Questions

25 views

Abelian Kummer Extension

A field extension of the form $\mathbb{Q}(\zeta_n, \sqrt[n]{\beta})$ where $\zeta_n$ is a primitive $n$th root of unity and $\beta \in \mathbb{Q}(\zeta)$ is called a Kummer extension. Even though ...
37 views

How to write a particular fixed field as a simple extension of $\mathbb{R}$? (Morandi's book)

I'm working in the following problem from Morandi's Book Field and Galois Theory: Let $A$ =$\left(\begin{array}{cc} a & b \\ c & d \end{array} \right)$ with $a=d=-1/2$ and ...
29 views

Normal extension and group of automorphisms

Let $K \supset F$ a normal extension (finite). Show in details that, for every $\alpha \in K$, the polynomial $$f(x)=\prod_{\sigma \in Aut_F(K)}(x-\sigma(\alpha))\in F[x];$$ My attempt: Since $K$ ...
51 views

Any general “formula” solutions for higher order polynomial equation?

We know that fifth (or higher) degree polynomial equation has no general solution formula using only the usual algebraic operations (addition, subtraction, multiplication, division) and application of ...
16 views

How to show that any solvable transitive subgroup of S$_p$ where $p$ is a prime has a conjugate contained in Aff($\mathbf F_p$)?

Here Aff ($\mathbf F_p$) denotes the group of affine transformations $x\rightarrow ax+b,$ with $a\neq 0, b\in \mathbf F_p$. What I've done is to show that the penultimate group in the solvable series ...
34 views

Prove that there exists a sequence of intermediate fields.

How can I prove that for $K\subset L$ - the Galois extension of degree $p^n$, where $p$ is prime, there exists a sequence $K=K_{0}\subset K_{1}\subset \cdots \subset K_{n}=L$ such that ...
52 views

Is $F\subset F(a,b)$ a Galois extension?

I know that $F\subset F(a)$ and $F\subset F(b)$ are the Galois extensions of degree $n$ and $m$ respectively, $(n,m)=1$. 1) How can I show that $F\subset F(a,b)$ is the Galois extension either? 2) ...
63 views

Field Extension, Splitting Field and Galois Theory

Let $f(x)\in \mathbb{Q}[x]$ be an irreducible polynomial of degree $n\geq 3$. Let $L$ be the splitting field of $f$, and let $\alpha \in L$ be a root of $f$. Given that $[L:\mathbb{Q}]=n!$, prove that ...
46 views

Solvability of the groups.

Let $M$, $N$ be normal subgroups of a group $G$ such that $G/M$ and $G/N$ are solvable groups. How can I prove that $G/(M\cap N)$ and $G/\langle M,N\rangle$ are solvable either? Thanks in advance.
56 views

Degree of the field extension.

Could you help me showing that for a field $F$ the degree of the extension $F(x^{2}+\frac{1}{x^{2}})\subset F(x)$ is $4$? I have found the polynomial $y^{4}-(x^{2}+\frac{1}{x^{2}})y^{2}+1$ such that ...
22 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?
39 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 ...
106 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 ...
159 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 ...
87 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 ...
33 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 ...
37 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 ...
19 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]$, ...
144 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 ?
141 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 ...
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 ...
41 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 ...
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 ...
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 ...
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.
24 views

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 ...
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
68 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}.$ ...
44 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 ...
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 ...
38 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 ...
26 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 ...
53 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 ...
38 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$. ...
92 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 ...
70 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)$ ...
54 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 ...
95 views

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 ...
46 views

$(u+1)(u+2)\cdots(u+p)=u^p-u$

Let $E$ be a field with characteristic $p>0$. How should I prove that $$(u+1)(u+2)\cdots(u+p)=u^p-u$$ I can verify this equality for small $p=2,3,5$. Is there a way to prove this result in general? ...
31 views

Solvability by radicals is independent of the choice of splitting fields

I am trying to prove the following exercise: If $E/k$ and $E'/k$ are splitting fields of $f(x)\in k[x]$ and there is a radical extension $K_t/k$ with $E\subset K_t$, prove that there is a radical ...
69 views

Embedding of Galois Group

I am trying to prove the following: Let $E/k$ be a splitting field of $f(x)\in k[x]$ with Galois group $G=\operatorname{Gal}(E/k)$. Prove that if $k^*/k$ is an extension field and $E^*$ is a ...
32 views

Determining if a given equation is solvable given a set of ultra-radicals

So suppose someone is armed with the tools of standard arithmetic, exponents (and of course that comes along with roots) AS WELL AS a set of inverses for some polynomials which are not solvable using ...
58 views

Find the galois group of the polynomial when a root is given

If $\alpha$ is a root of a polynomial $f(x)=x^3 +x^2-4x+1$ then show that $2 - 2\alpha - \alpha^2$ is also a root of $f(x)$. Use this fact to compute the Galois group of the splitting field of $f(x)$ ...
153 views

Is the order of $\operatorname{Gal}(\bar{\Bbb Q}/\Bbb Q)$ known?

Is the order of $\operatorname{Gal}(\bar{\Bbb Q}/\Bbb Q)$ known? And if so is there a description on how the order can be found? My initial thoughts is that because $\bar{\Bbb Q}$ is countable and ...
76 views

Abel-Ruffini Theorem

I'm sorry for the short question, but is the Abel-Ruffini Theorem essentially equivalent to saying that the set of all complex numbers constructable by a concatenation of field operations and n-roots ...
20 views

Parity of the order of the Galois group of a polynomial basing on its discriminant

Let $K$ be a field with $char(K)=0$ and $f\in K[t]$ an irreducible polynomial which Galois group $G_{K}(f)$ is cyclic. Show the discriminant $\Delta(f)$ of $f$ is a square of an element of $K$ if and ...
56 views

Clarification of an old question: Galois Groups of Finite Extensions of Fixed Fields

The question is: Let $\overline{K}$ be an algebraic closure of $K$, $\sigma\in G(\overline{K}:K)$ and $E=\{x\in\overline{K}:\sigma(x)=x\}$. Prove that every finite extension $L\mid E$ is a Galois ...
I do not have a clue how to solve the following problem: Let $K\subseteq L$ be Galois extension of degree $p^n$, where $p$ is prime and $n$ is natural. Show that there exists a sequence of subfields ...