1
$\begingroup$

Let $A \subseteq B$ be integral domains and let $\phi:A \rightarrow \Omega$ be a homomorphism of $A$ into the infinite algebraically closed field $\Omega$. Let $x \in B$ and suppose that $x$ is transcendental over $A$, i.e. it is the root of no non-zero polynomial with coefficients in $A$.

I would like to see whether my understanding about extending $\phi$ to $A[x]$ is correct. Let $g(x) \in A[x]$ be a monic polynomial of positive degree. Then it will be non-zero because $x$ is transcendental over $A$. Denote by $g^{\phi}$ the polynomial of $\Omega[z]$ obtained by taking its coefficients to be the images of the coefficients of $g$ under $\phi$. Then $g^{\phi}$ will also be non-zero and it will have a finite number of roots. Since $\Omega$ is infinite, we can find a $\xi \in \Omega$ such that $g^{\phi}(\xi) \neq 0$. Then we can extend $\phi$ to $A[x]$ by sending $x$ to $\xi$. Is this argument correct?

Now, if $A$ is a field and we are interested in extending $\phi$ to $A(x)$, the above argument is not valid anymore, because we can not guarantee that a non-zero element of $A(x)$ will be sent to a non-zero element of $\Omega$. Is this argument correct?

Thanks.

  • 2
    The notation is a bit of a mess, because we usually mean $A[x]$ to be a ring of polynomials with an indeterminate $x$. As it turns out, since $x$ is transcendental, your $A[x]$ is isomorphic to that ring of polynomials over $A$, however, so the existence of extensions of $\phi$ follows from universal properties of $A[x]$2012-08-13
  • 1
    For your last paragraph: if a nonzero element of $A(x)$ is sent to $0\in\Omega$, what can you say about the kernel of $\phi$? (Remember that $A(x)$ is itself a field.)2012-08-13
  • 0
    @MTurgeon: The kernel of any field homomorphism must be the zero ideal.2012-08-13
  • 0
    @Manos Then what can you conclude about your last paragraph?2012-08-13
  • 0
    @MTurgeon: I think its correct :-)2012-08-13
  • 0
    @Manos Well, you just proved that a nonzero element will be sent to a nonzero element. So your argument is *incorrect*.2012-08-13
  • 0
    @MTurgeon: But what is the problem with sending a nonzero element to a nonzero element? There would be a problem if the nonzero element was sent to zero.2012-08-13
  • 0
    $x$ might be sent to a non-zero value, but some polynomial in $x$ might not be. Since $x$ is transcendental, that polynomial in $x$ is non-zero in $A[x]$. @Manos2012-08-13
  • 0
    Ok, we are saying the same thing, cause i am saying that precisely for this reason (some nonzero polynomial of x might be sent to 0), the argument that i could use in the case where $A$ is integral domain, does not hold any longer.2012-08-13
  • 3
    Dear Manos: If $\phi:A\to B$ is a commutative ring morphism, $X$ an indeterminate, and $b$ an element of $B$, then there is a unique morphism $A[X]\to B$ which coincides with $\phi$ on $A$ and maps $X$ to $b$.2012-08-13

1 Answers 1

2

Gathering up some of the comments, including P-Y Gaillard's and Th. Andrews':

First, we might demonstrate that a "transcendental" behaves just like an "indeterminate". The polynomial ring $A[X]$ in an indeterminate $X$ over ring $A$ is really the free $A$-algebra on one generator, meaning that, given any ring hom $f:A\rightarrow B$ and given $b\in B$, there is a unique extension $F:A[X]\rightarrow B$ such that $F(X)=b$. (Note, no "solving" of equations is required: $X$ can go anywhere, $0$ or otherwise.)

Thus, letting $x$ be the "transcendental", the identity map $A\rightarrow A$ extends uniquely to $A[X]\rightarrow A[x]$ extending $X$ to $x$. Now observe that the "transcendental" condition is exactly equivalent to the kernel being trivial, so $A[X]$ is in natural bijection with $A[x]$.

Thus, given a ring hom $A\rightarrow B$, and given any $b\in B$, there is a (unique) extension $A[x]\rightarrow B$ sending $x$ to $b$.

Such maps need not extend to the field of fractions $A(x)$, however, as obvious examples show: for example, with $B=A$ and the identity map on $A$, $x$ can be sent anywhere at all, say to $b\in B=A$, but then $x-b$ maps to $0$, so this map cannot be extended to the fraction $1/(x-b)$.