Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $A$ be a commutative ring and $S$ a multiplicative subset of $A$ generated by $s\in A$ which is not a zero-divisor. Consider the polynomial ring $A[x]$.

Given a polynomial $f\in A[x]$, suppose that $f(1/s)=0$ for $s\in S$. Does it follow by some application of the first isomorphism theorem that $f(x)=(sx-1)g(x)$, with $g(x)\in A[x]$?

On the one hand I think this can be proven by constructing an isomorphism from $A[x]$ modulo the relation $x=1/s$ (really the replacement of $x$ with $1/s$). This is evidently an isomorphism from $A[x]/(x=1/s)$ into $S^{-1}A$. It is tempting to conclude (though I'm not certain that this should work), that there must be some surjective homomorphism $\phi: A[X]\to S^{-1}A$ such that $\ker(\phi)=(sx-1)$. [Since generally $(A/B\cong A/C) \nRightarrow (B\cong C)$, it is not sufficient to conclude that, say, the kernel of $\psi: f\to f(1/s)$ is $(sx-1)$.]

I am especially interested in answers as to whether, say, $\psi$ has kernel $(sx-1)$. But for anyone who can follow my own attempt at a proof, I'm also interested in whether my argument breaks down or can be made to work rigorously.

share|improve this question
add comment

3 Answers

up vote 2 down vote accepted

HINT $\rm\ \phi\:$ kills $\rm\:f\:$ and $\rm\:s\:x-1\:$ so it kills the polynomial obtained by eliminating their constant terms, viz. $\rm\ f\: +\: (s\:x-1)\ f_0\: =:\: x\ g \in ker\ \phi\ \Rightarrow\ g\in ker\ \phi\:,\:$ since $\rm\:s\:$ is not a zero-divisor. $\:$ Hence we deduce by induction on degree that $\rm\ s\:x-1\ |\ g\ $ thus $\rm\ s\:x-1\ |\ f\ =\ x\ g\:-\:(s\:x-1)\ f_0\:.\ \: $ QED

REMARK $\ $ Notice how this method avoids the messy coefficient recursions in other approaches. It's worth stressing that this can be deduced more conceptually from more general results. First, using the same obvious inductive proof as for the high-school polynomial division algorithm, one deduces that one can divide with remainder by any monic polynomial over any ring. In particular, since $\rm\:f(1/s) = 0\:$ we deduce by the Remainder Theorem that $\rm\ x-1/s\:\ |\ f(x)\ $ in $\rm A[1/s][x] $ hence $\rm\:f(x) = (x-1/s)\ g(x)/s^j\:$ for some $\rm\:g(x)\in A[x]\:.\:$ Thus $\rm\:s^{\:j+1}\ f(x) = (s\:x-1)\ g(x)\:$ so, by Euclid's lemma, $\rm\ s\:x-1\ |\ f(x)\:$ in $\rm\:A[x]\:$ since $\rm\:s\:$ is coprime to $\rm\:s\:x-1\:$ by $\rm\:(s,s\:x-1) = (s,1) = 1\ $ (or, more explicitly, if $\rm\ s\:x-1\ |\ s\:f\ $ then it also divides $\rm\ x\:(s\:f) - (s\:x-1)\:f\ =\ f\ $).

More generally, by pulling back monic division in $\rm\:A[1/s][x]$ we deduce a non-monic division algorithm in $\rm\:A[x]\:$, namely if the divisor $\rm\:g\:$ has leading coefficient $\rm\:s\:$ then we obtain the following $\rm\:s\rm{-Division}$ Algorithm: $\rm\ s^{n}\ f\ =\ q\ g + r\ $ for some $\rm\:q,r\ \in A[x],\ n\in \mathbb N\ $ with $\rm\ deg\ r < deg\ g\:.$ Of course this also has an elementary direct inductive proof, but such a proof is less conceptual than said pullback from $\rm\:A[1/s]\:.\:$ This is a prototypical example of the simplification afforded by localization.

share|improve this answer
    
This is even more elegant. Thank you for the answer. This is my favorite, but I don't know the math.stackexchange ethics for changing the answer. –  jerome d Dec 6 '11 at 22:48
    
@Jay SE says to accept the answer most helpful to you. Changing accepted answers is encouraged if a more helpful answer later appears. This is not considered rude, e.g. see here and here. In fact, not too infrequently you'll see folks encouraging the OP to deselect their answer in favor of a later appearing answer they consider better. My personal view is a bit more global: accept the answer that will be most helpful to students at your level (but not too quickly, so all have time to answer). –  Bill Dubuque Dec 6 '11 at 23:37
    
Great. Thanks for the links to the discussion regarding SE ethics on this. –  jerome d Dec 9 '11 at 21:07
add comment

By the the universal property of the polynomial ring there exists an $A$-algebra morphism $\Phi : A[x]\to S^{-1}A$ sending $x$ to $1/s$ .
Since $\Phi$ vanishes on the ideal $(sx-1)$, it induces a morphism $\phi: A[x]/(sx-1)\to S^{-1}A $ which is clearly surjective.
Let' s show $\phi$ is injective by proving that the kernel of $\Phi$ is $(sx-1)$ .

If $p(x)=a_0+a_1x+...+a_nx^n$ satisfies $\Phi (p)=0$ , we have $a_0+a_1\frac{1}{s}+...+a_n (\frac{1}{s})^n=0$ or $\frac{1}{s^n} .( a_0s^n+...+a_n)=0 $
Since $A$ is a domain, this is equivalent to $$ a_0s^n+...+a_n=0 \quad (*) $$

To find a polynomial $q(x)=b_0+b_1x+...+b_{n-1}x^{n-1}$ such that $p(x)=(sx-1).q(x)$ , it suffices to solve the system :

$$ b_i=-a_0s^{i-1}-a_1 s^{i-2}- ...- a_i=0 \quad (0\leq i\leq n-1) \quad (**) $$

$$ b_{n-1}s=a_n \quad (***)$$

The solution of $(*)$ is $b_i=-a_0s^i -a_1 s^{i-1}-... -a_i$ and it satisfies $(***)$ thanks to $(*)$.

Conclusion
We have proved that $\phi: A[x]/(sx-1)\to S^{-1}A $ is an isomorphism of rings.
(Actually this holds also if $A$ has zero divisors, by a small modification of the above reasoning )

share|improve this answer
    
Would verifying that $A[x]/(sx - 1)$ has the universal property of $A_s$ be shorter? Anyway, I think viewing $A[x]/(sx - 1)$ and $A_s$ (the usual pair construction) as being the same is important, so I like this. –  Dylan Moreland Dec 9 '11 at 23:27
add comment

The homomorphism $\phi: A[X]\rightarrow S^{-1}A,\; X\mapsto \frac{1}{s}$ is surjective, since the elements of $S^{-1}A$ have the form $\frac{a}{s^k} = \phi (aX^k)$, $k\in\mathbb{N}$, $a\in A$.

The kernel of $\phi$ is generated by $(sX-1)$: let $f$ be an element of the kernel; in $S^{-1}A$ it has the unit $\frac{1}{s}$ as a root. Now in general the following holds:

Let $f\in B[X]$ be a polynomial with coefficients in the commutative ring $B$ and such that $f(u)=0$, where $u\in B$ is a unit. Then $f=(X-u)g$ with $g\in B[X]$.

The proof follows easily by looking at the relation between the coefficients $a_k$ of $f$ and $b_k$ of $g$: $a_{k+1}=b_k-ub_{k+1}$.

Hence we get a factorization of the form $f=(X-\frac{1}{s})g$, $g\in S^{-1}A$. Looking again at the relation $a_{k+1}=b_k-ub_{k+1}$ and taking into account that $u=\frac{1}{s}$ it turns out that every $b_k$ has the form $sc_k$ for some $c_k\in A$, which proves the assertion.

share|improve this answer
    
Thanks for the excellent answer. I wish I could have chosen both answers. I chose this one because I think it is a bit more elegant. –  jerome d Dec 6 '11 at 10:49
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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