# What are the conditions for integers $D_1$ and $D_2$ so that $\mathbb{Q} \simeq \mathbb{Q}$ as fields.

What are the conditions for integers $D_1$ and $D_2$ so that $\mathbb{Q}[\sqrt {D_1}] \simeq \mathbb{Q}[\sqrt {D_2}]$ as fields.

Here $\mathbb{Q}[\sqrt {D}] := \{a + b \sqrt D \mid a,b \in \mathbb{Q} \}$

Really not sure where to begin with this sort of problem. I was thinking that I should split into cases where the integer is a square or not.

#### Solutions Collecting From Web of "What are the conditions for integers $D_1$ and $D_2$ so that $\mathbb{Q} \simeq \mathbb{Q}$ as fields."

If $\Bbb{Q}[\sqrt{D}] = L \cong \Bbb{Q}[\sqrt{K}]= F$, where $D$ and $K$ are integers, then $D$ must have a square root in $F$. We may assume that $K$ is squarefree. If $D = (a + b \sqrt{K})^2 = a^2 + b^2K+ 2ab\sqrt{K}$, with $a, b \in \Bbb{Q}$, then since $\sqrt{K}$ is irrational either $a = 0$ or $b = 0$. In the first case $D = b^2K$, in the second case $D = a^2$, which is a contradiction. Therefore the first case holds and since $K$ is squarefree $b$ must be an integer. It follows that $L \cong F$ iff $D = b^2K$ for some nonzero integer $b$.

Same extension if and only if $D_1$ and $D_2$ are in the same squareclass. This means $D_1 D_2$ is a square.

There is a bijection between the set of squarefree integers and the set of quadratic extensions of $\mathbb{Q}$, given by $d \mapsto \mathbb{Q}(\sqrt{d})$. Exclude $1$ from being squarefree.

Surjectivity: a quadratic extension of $\mathbb{Q}$ takes the form $\mathbb{Q}(\sqrt{D})$ for some rational number $D = \pm p_1^{e_1} \cdots p_r^{e_r}$, where $p_i$ are prime numbers and $e_i$ are integers. If $e_i$ is even, then clearly one can obtain the same extension by removing $p_i^{e_i}$ from the factorization, so we may assume all the $e_i$ are odd. Then $\mathbb{Q}(\sqrt{D}) = \mathbb{Q}(\sqrt{\pm p_1 \cdots p_r})$, keeping the same sign as $D$.

Injectivity: Let $d_1, d_2$ be squarefree integers. To say that $\mathbb{Q}(\sqrt{d_1}) = \mathbb{Q}(\sqrt{d_2})$ is to say that $\sqrt{d_1} = a + b \sqrt{d_2}$ for rational numbers $a, b$, or $d_1 = a^2 + d_2 b^2 + 2ab \sqrt{d_2}$. Since $\sqrt{d_2} \not\in \mathbb{Q}$, we must have either $a$ or $b$ equal to $0$. Thus either $d_1 = a^2$ or $d_1 = d_2 b^2$. But $d_1$ is squarefree, so $a = 0$ and $b = \pm 1$, so $d_1 = d_2$.

Thus to determine whether $\mathbb{Q}(\sqrt{D_1}) = \mathbb{Q}(\sqrt{D_2})$ for rational numbers $D_i$, one can do the following: write $D_1$ as a product of prime numbers $\pm p_1^{e_1} \cdots p_r^{e_r}$ for integers $e_i$. Let’s say that $e_1, … , e_t$ are odd integers, and $e_{t+1}, … , e_r$ are even. Then $\mathbb{Q}(\sqrt{d_1})$, where $d_1 = \pm p_1 \cdots p_t$, keeping the same sign as before. Do the same for $D_2$, obtaining $\mathbb{Q}(\sqrt{D_2}) = \mathbb{Q}(\sqrt{d_2})$ for some squarefree integer $d_2$. By the result above, the given quadratic extensions are equal if and only if $d_1 = d_2$.

Hint: First note that if $a,b$ are rational, then ${\bf Q}[\sqrt a]\cong {\bf Q}[\sqrt b]$ if and only if the two fields are equal (just take the isomorphism and look where it takes $\sqrt a$; there are only two possibilities, and both lead to the conclusion that $\sqrt a\in {\bf Q}[\sqrt b]$).

Next, take any $b\in {\bf Q}$, and any $x\in {\bf Q}\left[\sqrt b\right]$ and using the fact that $\sqrt b$ is not rational unless $b$ is a square (by definition!), show that if $x^2$ is a rational number, then $x\in {\bf Q}$ or $x\in \sqrt b\cdot {\bf Q}$. Conclude that if $\sqrt a\in {\bf Q}[\sqrt b]$, then $a$ is a square or $a$ is a square times $b$. Conclude that ${\bf Q}[\sqrt b]={\bf Q}[\sqrt a]$ for $b\neq 0$ if and only if $\frac{a}{b}$ is a square.
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "url": "http://bootmath.com/what-are-the-conditions-for-integers-d_1-and-d_2-so-that-mathbbq-simeq-mathbbq-as-fields.html", "fetch_time": 1531854974000000000, "content_mime_type": "text/html", "warc_filename": "crawl-data/CC-MAIN-2018-30/segments/1531676589892.87/warc/CC-MAIN-20180717183929-20180717203929-00059.warc.gz", "warc_record_offset": 48732399, "warc_record_length": 6618, "token_count": 1354, "char_count": 3716, "score": 4.28125, "int_score": 4, "crawl": "CC-MAIN-2018-30", "snapshot_type": "latest", "language": "en", "language_score": 0.8380880951881409, "file_path": "/sailhome/yjruan/project/latent-lm/data/processed/finemath-4plus/finemath-4plus/train-00056-of-00064.parquet"}