Question

If $R=\mathrm{\mathbb{Z}}\left[i\right]$, then show that$F\cong \left\{r+si/r,s\in \mathrm{\mathbb{Q}}\right\}$ .

Short answer

It is proved that$F\cong \left\{r+si/r,s\in \mathrm{\mathbb{Q}}\right\}$.

Step-by-step solution

Use Theorem 10.31

Let R be an Integral domain and F is its field of quotients. If K is a field containing R, then K contains a subfield E such that$R⊑E⊑K$ and E is isomorphic to F.

Prove thatF≅r+si/r,s∈ℚ

Let $S=\left\{r+si/r,s\in \mathrm{\mathbb{Q}}\right\}$and $R=\mathrm{\mathbb{Z}}\left[i\right]$.

Here, F is the field of quotient of R .

Therefore, $R⊑S⊑K$.

Now, by Theorem 10.31, we can say that $F\cong S$.

Therefore, $F\cong \left\{r+si/r,s\in \mathrm{\mathbb{Q}}\right\}$.

Hence proved.