Let $L/K$ be a (abelian, Galois) quadratic extension of number fields with $\text{Gal}(L/K)$ generated by $\sigma$ and $\mathfrak{p} = \alpha\mathcal{O}_K$ a principal prime ideal of $\mathcal{O}_K$. Assume $\mathfrak{p}$ splits as $\mathfrak{P} \sigma(\mathfrak{P})$ in $\mathcal{O}_L$ and that $\alpha = \beta \sigma(\beta)$ for $\beta \in L^\times$ (so $\beta$ may not be integral though $\alpha$ is). I would like to show that $\mathfrak{P}$ is principal (and possibly that $\mathfrak{P} = \beta \mathcal{O}_L$). $\textbf{My attempt}$: It seems clear that if $\beta$ is not integral it must generate a fractional ideal of the form $$\beta\mathcal{O}_L = \frac{\mathfrak{P}I}{\sigma(I)}$$ for some $I \subset \mathcal{O}_L$. We can assume $\mathfrak{P}I \cap \sigma(I) = \mathcal{O}_L$, i.e. that the numerator and denominator are simplified: we can cancel common factors of $I$ and $\sigma(I)$ so that $I \cap \sigma(I) = \mathcal{O}_L$, and if $\mathfrak{P} \cap \sigma(I) = \mathfrak{P}$ then $\sigma(\mathfrak{P})$ divides $I$ and we get that $$\beta\mathcal{O}_L = \frac{\sigma(\mathfrak{P}) I'}{\sigma(I')}$$ where $I' = I/\sigma(\mathfrak{P})$. So, WLOG we can take the first expression for $\beta\mathcal{O}_L$. If $\beta$ is not integral we can find an integer $d \ne 1$ such that $d\beta$ is integral ($\beta$ is just a linear combination over the basis for $L$ and $d$ is the lcm of the denominators of the coefficients). Then $$ d\beta\mathcal{O}_L = (d)\frac{\mathfrak{P}I}{\sigma(I)} \subset \mathcal{O}_L.$$ Since this is integral, $\sigma(I)$ divides $(d)\mathfrak{P}I$. As $\mathfrak{P}I \cap \sigma(I) = \mathcal{O}_L$, $\sigma(I)$ divides $(d)$. But so does $I$ (as $\sigma$ fixes $d$). If $I$ is nontrivial then this contradicts $I \cap \sigma(I) = \mathcal{O}_L$, so either $I$ is trivial or $d = 1$. In either case we have $\beta\mathcal{O}_L = \mathfrak{P}$ as desired. This proof feels awkward and I suspect either it is wrong or just overly complicated. I'd appreciate any feedback!