Talk:Function field of an algebraic variety

Request
I am new in these concepts but the last phrase " Its function field is the field K(x,y), generated by elements x and y that are transcendental over K and satisfy the algebraic relation $$y^2 = x^5 + 1$$." seems hard to grasp. Can someone explain what is the field K in the specific case (was it defined somewhere) and why x,y should be transcendental to it? 2A02:587:4526:EA00:4D5D:9EE7:B5D5:2437 (talk) 15:47, 9 August 2017 (UTC)
 * there is a time I know, but I have already forgot it. Now, my brain just does not work. You need a text book. By the way, is this field finite? in total how many elements for its set? it will be great to mention it in the article. Though in its above text, we can see "finitely generated". Jackzhp (talk) 04:58, 26 October 2018 (UTC)
 * just a note: I got to know related stuff when I was counting the order of an elliptic curve, and do Tate paring. I have to go back to read those related stuff to answer my current curious question whether the function field is finite. Jackzhp (talk) 16:31, 26 October 2018 (UTC)