I know this question was asked before, but none of the previous threads end up answering the question satisfactorily enough for me. So let me try to summarize my problems succinctly:
- The notation $\mathbb{Q}(\sqrt{2})$ is commonly used to denote the smallest sub-field generated by $\mathbb{Q} \cup \{\sqrt{2}\}$. However, for a general sub-field $K$, $K[t]$ is defined to be the ring of polynomials over $K$ which then follows $K(t)$ which is the field of polynomials over $K$ (or rational expressions). However, is $K(t)$ simply a way of notation or does it follow the convention of $\mathbb{Q}(\sqrt{2})$? If the latter, how does this relate with rational functions over $K$?
- I am not understanding the proof for how $K(t)$ is a transcendental extension of $K$ which goes as follows:
If $p$ is a polynomial over $K$ s.t. $p(t)=0$ then $p=0$ by definition of $K(t)$, so the extension is transcendental.
I understand that to show transcendence over $K$ we shall assume some element $t =\frac{r(s)}{q(s)}\in K(s)$ satisfies $p(t) =0, p\in K[t]$ and show that p must be identically $0$ as a result. However, where are we using the definition of $K(t)$ to show this is so?
The other threads are linked here: