Intereting Posts

Possible road-maps for proving $\lim_{x\to 0}\frac{\sin x}{x}=1$ in a non-circular way
If $A^2 = I$, $B^2=I$ and $(AB)^2=I$, then $AB = BA$
Determine the area of a regular octagon with vertices on the unit circle
The way into logic, Gödel and Turing
Is there a standard proof for $\mathbb P(S^X_n\text{ hits }A\text{ before }B) >\mathbb P(S^Y_n\text{ hits }A\text{ before }B)$?
Mathematical notation around the world
Factorial of 0 – a convenience?
How can I prove irreducibility of polynomial over a finite field?
Finite index subgroup $G$ of $\mathbb{Z}_p$ is open.
Infinite powering by $i$
Uniformly distributed probability problem
Show that $(\sqrt{2} + \sqrt{3})^{2009}$ is rounded to an even number.
Is the integral over a component of a doubly continuous function continuous?
Proof that $\mathbb{Z}\left$ is a PID
Need help to prove

Let $D$ be a squarefree integer. I am trying to prove that $\mathbb Q[\sqrt D]$ is contained in a Galois extension of $\mathbb Q$ with Galois group $\mathbb Z/4$ if and only if $D$ is the sum of two squares, $D = a^2 + b^2$ with $a,b\in \mathbb Q$.

The hint in the exercise in Dummit and Foote suggests considering the extension $\mathbb Q[\sqrt{s + s\sqrt D}]$ for the forward direction. However, I am unsure how to show that this extension is Galois, much less that its Galois group is cyclic of order 4.

For the reverse direction, I expressed the given Galois extension as $\mathbb Q[\sqrt{a+b\sqrt D}]$ for some $a,b\in \mathbb Q$. I showed that this extension has $\mathbb Q[\sqrt{c^2 – d^2 D}]$ as a subfield for some $c,d \in \mathbb Q$. From this, I deduced that the $\sqrt D$ and $\sqrt{c^2 – d^2 D}$ generate the same extension, so $\sqrt D = x \sqrt{c^2 – d^2 D}$ for some $x$, and hence that $D = \frac{x^2 c^2}{1 + x^2 d^2} $. It seems that there should be a way to decompose this as a sum of two squares, but I did not see how.

- Splitting field of $x^{n}-1$ over $\mathbb{Q}$
- Cyclotomic polynomials and Galois group
- When is $X^n-a$ is irreducible over F?
- Construct generator matrix given generator polynomial?
- Conditions on cycle types for permutations to generate $S_n$
- Examples where $H\ne \mathrm{Aut}(E/E^H)$

I did not tag this as homework as I am studying it independently.

- Find the minimal polynomial of $\sqrt2 + \sqrt3 $ over $\mathbb Q$
- Intuitive reasoning why are quintics unsolvable
- The Galois group for the following field extension
- Trace and Norm of a separable extension.
- Finding a quartic polynomial in $\mathbb{Q}$ with four real roots such that Galois group is ${S_4}$.
- Radical extension
- When does a formula for the roots of a polynomial exist?
- Solve this tough fifth degree equation.
- Every finite group is isomorphic to some Galois group for some finite normal extension of some field.
- If Gal(K,Q) is abelian then |Gal(K,Q)|=n

If $\Bbb Q \subset L$ has its Galois group $G$ cyclic of order $4$, then it has to be a quadratic extension of a quadratic extension of $\Bbb Q$, so there are $a,b,D \in \Bbb Q$ such that $\Bbb Q \subset \Bbb Q(\sqrt D) \subset \Bbb Q(\sqrt D, \sqrt{a + b \sqrt D}) = L$.

Given generic elements $a,b,D$ of $\Bbb Q$, this is not a Galois extension, its Galois closure is $\Bbb Q(\sqrt D, \sqrt{a + b\sqrt D}, \sqrt{a – b\sqrt D})$, and its Galois group $G’$ is a bit more complicated ($G’$ is the diedral group of order 8).

Now we can view $G$ as the only cyclic subgroup of $G’$ or order $4$.

The subfield of the generic extension fixed by $G$ is $\Bbb Q(\sqrt{D(a^2-b^2D)})$, and so for particular $a,b,D \in \Bbb Q$, $\Bbb Q(\sqrt{a+b\sqrt D})$ has Galois group $G$ if and only if $\Bbb Q = \Bbb Q(\sqrt{D(a^2-b^2D)}) \varsubsetneq \Bbb Q(\sqrt D, \sqrt{a^2-b^2D})$, which is equivalent to $D(a^2-b^2D)$ is a square, and $D$ is not a square.

Suppose $D(a^2-b^2D) = c^2$. Then, $Da^2 = c^2 + b^2D^2$, and $D = (c/a)^2 + (bD/a)^2$.

Suppose $D = x^2+y^2$ and is not a square. Then we can simply solve for $x = c/a$ and $y=bD/a$. For example, we can pick $a=D, c=xD$ and $b = y$ : then $D(a^2-b^2D) = D(D^2-y^2D) = D^2(D-y^2) = D^2x^2 = (Dx)^2$ which is a square as needed.

- Why is there this strange contradiction between the language of logic and that of set theory?
- Is it possible for function $f : \mathbb{R} \to \mathbb{R}$ have a maximum at every point in a countable dense subset of its domain?
- What do the cosets of $\mathbb{R} / \mathbb{Q}$ look like?
- Finding $\int^1_0 \frac{\log(1+x)}{x}dx$ without series expansion
- Generating function of $a_{n}^2$ in terms of GF of $a_{n}$?
- Why the SVD is named so…
- What is the simplest way to prove that the logarithm of any prime is irrational?
- Is the pointwise maximum of two Riemann integrable functions Riemann integrable?
- Proving a simple graph is a connected graph
- Number of common divisors between two given numbers
- Does the Fourier Transform exist for f(t) = 1/t?
- Characterisation of the squares of the symmetric group
- Literature on group theory of Rubik's Cube
- Convexity of the product of two functions in higher dimensions
- If $f \in L_p$ and $g \in L_\infty$, show that $fg \in L_p$.