What does the following notation mean: $\Bbb Q[x,y]$?

$\begingroup$

I came across this notation while at this MathOverflow thread and I could not find its meaning. It makes the biggest sense that $f(x,y) \in \Bbb Q[x,y] $ represents any continuous function on the interval $[x,y] \in \Bbb Q$ and thus $\Bbb Q[x,y]$ is a set of such functions. However, I am not sure.

$\endgroup$

2 Answers

$\begingroup$

It means a polynomial in two variables with coefficients in the rational numbers $\mathbb Q.$

$\endgroup$ 5 $\begingroup$

Or, it means the rationals adjoined with the elements x,y as a ring. So in @Will Jagy 's answer, x,y are indeterminants and therefore transcendentals. But x,y could also be other numbers that are not transcendental (i.e. algebraic), but you would need explicit values. For example, $x=\sqrt2$ and $y=\sqrt3$ would also work, but these are algebraic (i.e. solutions of polynomials over the rationals). This matters because it results in very different rings.

$\endgroup$ 1

Your Answer

Sign up or log in

Sign up using Google Sign up using Facebook Sign up using Email and Password

Post as a guest

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

You Might Also Like