Intereting Posts

How to evaluate the following integral using hypergeometric function?
Vakil's definition of smoothness — what happens at non-closed points?
Laplace Operator in $3D$
Show using the definition, that f is differentiable at $x_0+i0$
While proving that every vector space has a basis, why are only finite linear combinations used in the proof?
A basic question on expectation of distribution composed random variables
Units in formal power series and formal Laurent series rings
Finding a singluar cardinality
Is the equality $1^2+\cdots + 24^2 = 70^2$ just a coincidence?
$\nabla U=0 \implies U=\mathrm{constant}$ only if $U$ is defined on a connected set?
Structure of ideals in the product of two rings
Are the exercises necessary to understand the subject of a mathematical textbook?
Is this a free magma?
Is this a correct use of the squeeze theorem?
invariant space and eigenvector

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.

- Why isn't the inverse of the function $x\mapsto x+\sin(x)$ expressible in terms of “the functions one finds on a calculator”?
- Galois ring extension
- A separable field extension of degree a product of two primes
- Any abstract algebra book with programming (homework) assignment?
- Quartic Equation having Galois Group as $S_4$
- finite fields, a cubic extension on finite fields.

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

- What are the quadratic extensions of $\mathbb{Q}_2$?
- Powers of $x$ as members of Galois Field and their representation as remainders
- Is there a proper subfield $K\subset \mathbb R$ such that $$ is finite?
- Find splitting field of a cubic polynomial
- Finding a quartic polynomial in $\mathbb{Q}$ with four real roots such that Galois group is ${S_4}$.
- Galois Theoretic Proof of Fundamental Theorem of Algebra
- How to show that a prime degree separable field extension containing a nontrivial conjugate of a primitive element is Galois and cyclic
- Inverse Limits: Isomorphism between Gal$(\mathbb{Q}(\cup_{n \geq 1}\mu_n)/\mathbb{Q})$ and $\varprojlim (\mathbb{Z}/n\mathbb{Z})^\times$
- Book for field and galois theory.
- Prove that ${p_1},\cdots ,\sqrt{p_n}):\mathbb{Q}]=r^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.

- How to cut a cube into an icosahedron?
- Breaking a larger cube into a smaller one
- Show that $|z_1 + z_2|^2 < (1+C)|z_1|^2 + \left(1 + \frac{1}{C}\right) |z_2|^2$
- Trigonometric quadratic formula? And other trig solutions for roots of polynomials?
- The diagonal of a symmetric matrix $A\in M_n(\mathbb{Z}_2)$
- Isomorphism of factor groups
- Limit of this recursive sequence and convergence
- Roots of a polynomial in an integral domain
- Irreducible polynomials and affine variety
- Regularity of a quotient ring of the polynomial ring in three indeterminates
- Positive integral solutions of $3^x+4^y=5^z$
- Expected Number of Convex Layers and the expected size of a layer for different distributions
- Compute the trigonometric integrals
- Embedding of free $R$-algebras
- Partitions of the odd integers