Hacker News new | ask | show | jobs
by JadeNB 3277 days ago
> But now I am confused as to whether Q(x_1, x_2) is supposed to be a subfield of the real numbers or a field of rational functions of x_1, x_2.

The latter. However, wherever you get `x_1` and `x_2`, if `\{x_1, x_2\}` is algebraically independent over `\mathbb Q`, then `\mathbb Q(x_1, x_2)` is isomorphic to a field of rational functions. This allows you to realise the same ground field inside many different larger fields.