Algebraic Integers of $\mathbb Q[\sqrt{3},\sqrt{5}]$

Question

I know that the algebraic integers of $\mathbb Q[\sqrt{3}]$ is just $\mathbb Z[\sqrt{3}]$ and the algebraic integers of $\mathbb Q[\sqrt{5}]$ is just $\mathbb Z[{(1+\sqrt{5}})/2]$, and I was wondering how to deduce a general formula for the algebraic integers of $\mathbb Q[\sqrt{3},\sqrt{5}]$ or more generally the algebraic integers of $\mathbb Q[\sqrt{D},\sqrt{E}]$. Thank you.

Answer 1

I have seen that the ring of integers of $\mathbb{Q}[\sqrt{2},\sqrt{3}]$ is just $$ A = \mathbb{Z}\left[\sqrt{2},\sqrt{3},\frac{\sqrt{2}+\sqrt{6}}{2}\right] $$

with integral basis $\{1, \sqrt{2}, \sqrt{3}, \frac{\sqrt{2}+\sqrt{6}}{2}\}$. There are general formulas for the ring of integers in $K:=\mathbb{Q}[\sqrt{n},\sqrt{m}]$.

Proposition: Suppose $m \equiv 1\mod{4}$, $n \equiv k \equiv 2$ or $3 \mod{4}$. Then an integral basis for $\mathcal{O}_K$ is, with $k = mn/(m,n)^2$,

$$\left\{ 1, \frac{1 + \sqrt{m}}{2},\sqrt{n},\frac{\sqrt{n} + \sqrt{k}}{2} \right\}$$

Note that the ring of integers of $\mathbb Q[\sqrt{5}]$ is $\mathbb{Z}[\frac{1+\sqrt{5}}{2}]$, because $5\equiv 1\bmod 4$.

Reference with a proof:

On the ring of integers of a compositum of number fields