abstract algebra - Is it possible to describe $Q(x)$ as the extension field of $R$ freely generated by ${x}$?

Given an integral domain $R$, the polynomial ring $R[x]$ can be defined as the commutative $R$-algebra freely generated by $\{x\}$. Also, let $Q$ denote the field of fractions associated to $R$. Then we can describe $Q(x)$ as the field of fractions of $R[x]$. But suppose we want to describe $Q(x)$ more directly. By an extension field of $R$, let us mean an $R$-algebra that just happens to be a field.

Question. Is it possible to describe $Q(x)$ as the extension field of $R$ freely generated by $\{x\}$?

What I mean is that okay, we've got a forgetful functor "extension fields of $R$" $\rightarrow \mathbf{Set}$. This should have a left-adjoint, call it $L$. Then I'm thinking that $Q(x)$ can be described as $L(\{x\})$. Is this correct? If not, what is the correct way to describe $Q(x)$?

Answer

The category of fields is not well-behaved. There is no free extension field on given generators. You have to specify the relations between the generators, as well as the minimal polynomials of these generators. But even if you do that, it's not always possible to find a universal solution.

If $K$ is a field, then $K(x)$ may be described as a field equipped with a homomorphism $K \to K(x)$ and with a transcendental element $x$ such that for every field homomorphism $K \to L$ and some trancendental element $\alpha \in L$ over $K$ there is a unique homomorphism $K(x) \to L$ which extends $K \to L$ and maps $x$ to $\alpha$. [This is basically the definition of transcendence.] In other words, $K(x)$ represents the functor $K / \mathsf{Fld} \to \mathsf{Set}$ mapping $K \to L$ to the set of transcendent elements.

But this functor has no left adjoint. This would mean that for every set $S$ we have a universal extension $K(S)$ of $K$ equipped with a map from $S$ to the set of trancendent elements. It is not hard to show that this must be the usual function field, if it exists. Now if $S$ has two elements $x,y$, then $x,y$ are algebraically independent in $K \to K(S)$, which by universality would imply that every two trancendent elements are algebraically independent, which is absurd (consider $x$ and $x-1$ in $K(x)$).