Let a,b $\in$ $\mathbb Q$ with b nonzero. Show that $\mathbb Q$($\sqrt a$)=$\mathbb Q$($\sqrt b$) if and only if $\exists$ c $\in$ $\mathbb Q$ such that a=b$c^2$.
I am confused on how it is possible to show that $\mathbb Q$($\sqrt a$)=$\mathbb Q$($\sqrt b$) by assuming such a c exists. If a=b$c^2$ then $\mathbb Q$($\sqrt a$)=$\mathbb Q$($\sqrt (bc^2)$)=$\mathbb Q$(|c|$\sqrt b$)=$\mathbb Q$($\sqrt b$) since c $\in$ $\mathbb Q$, but I think this falls apart if c=0. Is this approach flawed or must c be nonzero for this to hold?
2026-04-11 16:49:14.1775926154
Showing two field extensions are equal
137 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
As Roger points out in the comments, we need an additional condition. It is enough to require that $c$ be non-zero, or alternately that $a$ be nonzero. I suspect that the latter was intended.