I'm reading Artin's section on the Adjunction of Elements, and I don't understand what he means by calling polynomial rings the "universal solution" to the "problem of adjoining a new element." He writes:

If $\alpha$ is an element of any ring extension $R'$ of $R$, then there is a unique map $R[x]\to R'$ which is the identity on $R$ and which carries $x$ to $\alpha$. The image of this map will be the subring $R[\alpha]$.

Could someone clarify the necessity of the polynomial ring? What is its relevance?

My vague understanding of this is as follows: suppose we want to adjoin $\sqrt{2}$ to the ring $\mathbb{Q}$. Since $\sqrt{2}$ does not formally exist yet, but we know it satisfies $x^2-2=0$ in $\mathbb{Q}[x]$, we can adjoin it by working with $\mathbb{Q}[x]$ instead.

Edit: $R$ is commutative


As you have access to Artin's book let me say just the right amount to understand what is contained in that book.

The only operations on a ring are addition and multiplication: we are looking at enlarged ring from $R$ by adjoining an extra element from a larger ring $R'$. So the enlargement should minimally contain all powers of the introduced new element, multiplied by old elements and then the sums of these.

This is how the polynomial ring arises (express in symbols what my previous sentence states. That these alone together keep it a ring is also clear).

In case the new element introduced satisfies some condition every polynomial will not lead to a new element. That is if $f(\alpha) = 0$, then $g(\alpha) f(\alpha)$ will be zero etc.

This shows that the polynomial ring has to be quotiented by that ideal.

  • $\begingroup$ Would you mind clarifying your paragraph "In case the new element [...] will be zero etc." I'm not sure why your implication shows that every polynomial will not lead to a new element, or how your final sentence follows. What precisely are you trying to show in that paragraph? $\endgroup$ Jul 30 '18 at 22:15
  • $\begingroup$ If you adjoin square root of 2 then the polynomials $x^4+1$ and $3x^2-1$ will both lead to same element namely 5. $\endgroup$ Jul 31 '18 at 1:49
  • $\begingroup$ Two polynomials $f(x)$ and $g(x)$ will evaluate to same value at $x=\sqrt2$ if the polynomial $f(x)-g(x)$ is of the form $(x^2-2) h(x)$ for some other polynomial $h(x)$. That is if $f(x)$ and $g(x)$ belong to the same coset for the ideal consisting of $h(x)(x^2-2)$ with $h(x)$ an arbitrary polynomial. $\endgroup$ Jul 31 '18 at 2:31

The extension $S$ of $R$ by an element $a$ is the smallest right, that contains $R$ and $a$. Notice that all elements of $R[a]$ are necessarily in all rings containing $R$ and $a$, and it is itself a ring. Therefore, $S=R[a]$.

For the "evaluation" map from $\operatorname{ev}_a:R[x]\to R[a]$ it is routine to check that sends $a_nx^n+a_{n-1}x^{n-1}...+a_0$ to $a_na^n+a_{n-1}a^{n-1}...+a_0$ is a ring homomorphism.

Since $S$ is the smallest extension of $R$ containing $a$, if $R'$ is another extension of $R$ containing $a$, then $S\subset R'$. Therefore, you have the same map $R[x]\to S\hookrightarrow R'$ obtained by composing $\operatorname{ev}_a$ with the inclusion $S=R[a]\hookrightarrow R'$.

In some cases, when $a$ satisfies some algebraic relation with coefficients in $R$, it will happen that $\operatorname{ev}_a$ is not injective, and sends some non-zero polynomials to the zero element of $R$. The set of all elements sent to zero by $\operatorname{ev}_a$ is an ideal of $R[x]$. If that ideal happens to be principal, then it is genrated by one polynomial $f(x)\in R[x]$.

In your example of $a=\sqrt{2}$ and $R=\mathbb{Q}$, it results $f(x)=x^2-2$.

Look at the example $x=\pi$ with the same $R$ for a case in which there is no such $f$.

  • $\begingroup$ Regarding your example about $\pi$, I find this very interesting: is the takeaway that given a ring $R$, we can only adjoin elements that are roots of polynomials in $R[x]$? $\endgroup$ Jul 30 '18 at 4:03
  • $\begingroup$ Careful! $ev_a$ is a ring homomorphism only if $a$ commutes with all the elements of $R$. True in the OP's context commutativity was probably included in the assumptions but it wasn't listed! $\endgroup$ Jul 30 '18 at 5:20
  • 1
    $\begingroup$ @FakeAnalyst56 You can adjoin any sort of element. When you add to a ring like $\mathbb{Q}$, and element like $\pi$ that doesn't satisfy any polynomial relation with coefficients in $\mathbb{Q}$, then you get a ring $\mathbb{Q}[\pi]$ that is isomorphic to $\mathbb{Q}[x]$. $\endgroup$
    – user580373
    Jul 30 '18 at 11:22

Your Answer

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.