Intereting Posts

Consistency of matrix norm: $||Ax||_2 \leq ||A||_{Frobenius}||x||_2$
Symbols for Quantifiers Other Than $\forall$ and $\exists$
How can a piece of A4 paper be folded in exactly three equal parts?
Prove that the Gaussian rationals is the field of fractions of the Gaussian integers
Every finite field is a residue field of a number field
Finding $d=\gcd(a,b)$; finding integers $m$ and $n$: $d=ma+nb$
Probability of Union of 4 or More Elements
Indefinite Integral $\int\sqrt{\tan(x)}dx$
Differential Geometry of curves and surfaces: bibliography?
Model of Robinson Arithmetic but not Peano Arithmetic
How many books are in a library?
Most useful heuristic?
Showing that a one-to-one linear transformation maps a linearly independent set onto a linearly independent set
Packing squares into a circle
How to prove $\frac{1}{x}=\frac{1}{a}+\frac{1}{b}+\frac{1}{c}+2\sqrt{\frac{1}{ab}+\frac{1}{ac}+\frac{1}{bc}}$

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 ?

- Examples proving that the tensor product does not commute with direct products
- CW complex such that action induces action of group ring on cellular chain complex.
- Irreducible but not prime
- If $f(x,y)\in R$ is an irreducible polynomial, is $R/f(x,y)$ a field?
- Degree of $\sqrt{2}+\sqrt{5}$ over $\mathbb{Q}(\sqrt{2})$ and $\mathbb{Q}(\sqrt{5})$
- Commutativity of “extension” and “taking the radical” of ideals
- Show group of order $4n + 2$ has a subgroup of index 2.
- Intuitive Explanation of Morphism Theorem
- Field extension of composite degree has a non-trivial sub-extension
- Transcendental number

Let $F = \mathbb{Q}$, $K = \mathbb{Q}(\sqrt{2})$, $L = \mathbb{Q}(\sqrt[4]{2})$. Then $K/F, L/K$ are degree $2$ extensions, hence normal (and Galois) but $L/F$ is not normal (the splitting field of $x^4 – 2$ has degree $8$ over $\mathbb{Q}$).

Here I try to explain better of zcn’s example.

Let $E=\mathbb{Q}, F=\mathbb{Q}(\sqrt{2}), G=\mathbb{Q}(2^{1/4}), H=\mathbb{Q}(2^{1/4},i)$. Then we see that

$$

\textrm{Gal}(F|E)=\mathbb{Z}/2\mathbb{Z}, \textrm{Gal}(G|F)=\mathbb{Z}/2\mathbb{Z},\textrm{Gal}(H|E)=\mathbb{D}_{4}

$$

where the generators for $\textrm{Gal}(H|E)$ are $g:i\rightarrow -i$ (complex conjugation) and $h:2^{1/4}\rightarrow i*2^{1/4}$ (permutation of the roots). The way we think about it is $F$ is the fixed field of $H$ under $\langle g,h^2\rangle$, and $G$ is the fixed subfield of $H$ under $\langle g\rangle$, whereas $E$ is the fixed subfield of the whole group. If $G$ is a normal extension over $E$, then by Galois correspondence $\langle g\rangle$ will be a normal subgroup of $\langle g,h\rangle$. But we know that

$$

h^{-1}gh=gh^3\not\in \langle g\rangle

$$

Therefore it cannot be normal. But we do have $\langle g\rangle \unlhd \langle g,h^2\rangle$ and $\langle g,h^2\rangle \unlhd \langle g, h\rangle$.

I try to do it by hand mainly because the question has showed up again and again:

Are normal subgroups transitive?

Example of composition of two normal field extensions which is not normal.

K⊂M⊂L tower of fields. Find counterexample for statement "if L normal over K, then M normal over K"

Does $K/E$ and $E/F$ being normal mean $K/F$ is normal?

and probably in other places. But somehow an explicit calculation is missing. Not sure if this helps. This is essentially the same as the Wikipedia example with $\mathbb{D}_{4}$ instead of $\mathbb{S}_{3}$. I remember this was a well-known freshmen Galois theory class execrise, and for unknown reason I never really did it.

- is there any good resource for video lectures of differential geometry?
- Intuitive bernoulli numbers
- Probability of 1x six from seven dice?
- Prove that, for $p > 3$, $(\frac 3p) = 1$ when $p \equiv 1,11 \pmod{12}$ and $(\frac 3p) = -1$ when $p \equiv 5,7 \pmod{12}$
- Is kernel of a function related to symmetry groups?
- Schmidt group and maximal subgroups
- Finding an explicit isomorphism from $\mathbb{Z}^{4}/H$ to $\mathbb{Z} \oplus \mathbb{Z}/18\mathbb{Z}$
- Find all the linear involutions $f: E \to E$, where $E$ is a finite-dimensional real vector space
- Tricky positive diophantine equation
- Making Change for a Dollar (and other number partitioning problems)
- Regularity of elliptic PDE with coefficients in some Sobolev space
- Euler's transformation to derive that $\sum\limits_{n=1}^{\infty}\frac{1}{n^2}=\sum\limits_{n=1}^{\infty}\frac{3}{n^2\binom{2n}{n}}$
- If $g$ is the generator of a group $G$, order $n$, when is $g^k$ a generator?
- Why are groups more important than semigroups?
- Longest antichain of divisors