Two fractions in $R[\frac{1}{x}]$ are equal iff $(\exists n\ge 0)(x^n\cdot ax^i=x^n\cdot bx^j)$

Given a ring $R$ and an element $x\in R$, we can adjoint the inverse of $x$ by ring extension $R[\frac{1}{x}]=R[x,y]/\langle xy-1\rangle$, so any elements in $R[\frac{1}{x}]$ is of form $\frac{a}{x^i}$.

I aim to prove that in the ring $R[\frac{1}{x}]$, for any two elements $\frac{a}{x^i},\frac{b}{x^j}$, they are equal iff $(\exists n\ge 0)(x^n\cdot ax^j=x^n\cdot bx^i)$.

It sounds quite counter-intuitive since I expect $ax^j= bx^i$ is enough. Why it doesn't hold, may I please ask some counterexamples?

I tried to prove it but have not found a way yet. Could someone please tell me how to prove the fact: Two fractions in $R[\frac{1}{x}]$ are equal iff $(\exists n\ge 0)(x^n\cdot ax^j=x^n\cdot bx^i)$?

Thanks for any help.

Edit: I have not seen the definition of localization in my algebra course, I googled the construction and wonder why we make the equivalence relation $t(r_1s_2 − r_2s_1) = 0$. And also it does not directly give the desired conclusion because here we require a multiple of $x$, instead of an arbitary element in $R$, playing the role of $t$. If possible, may I please ask for an argument does not involve the usage of definition of localization? Thanks!

Solution 1:

In many prior answers you can find explanations motivating the definition of the equivalence relation in the common pair-based normal form construction of localizations. But this does not provide immediate intuition for the alternative presentation-based construction of the fraction ring (localization) $\rm\,S^{-1} R\,$ as, conceptually, the universal way of adjoining inverses of $\rm\,S\,$ to $\rm\,R\,$ via $\rm\,S^{-1} R = R[x_i]/(s_i x_i - 1),\,$ as in your special case. This presentation-based approach allows us to exploit to the hilt the universal properties of quotient rings and polynomial rings to quickly and easily construct and derive basic properties of localizations (avoiding the many tedious verifications always "left for the reader" in the more commonly pair=based normal-forms approach).

In this presentation-based approach there is no need to unintuitively massage an equivalence relation to account for annihilated elements. Rather we can directly compute what is annihilated by a simple (widely-overlooked) trick: $ $ if $\rm\,r\in R\,$ lies in the kernel of $\rm\, R\to S^{-1} R = R[x]/(1\!-\!sx),\,$ then $\rm\,r \in (1\!-\!sx)R[x]\,\Rightarrow\, r = (1\!-\!sx)f(x)\,$ so by comparing coefficients we obtain

$\quad \begin{eqnarray}\rm n = deg\, f\quad and\quad r &=&\rm (1\!-\!sx)\,f(x) &\Rightarrow&\ \rm f(0) = r\qquad\,\ \ \ via\ \ coef\ x^0 \\ \rm\Rightarrow\ (1\!+\!sx\!+\dots+\!(sx)^n)\, r &=&\rm (1\!-\!(sx)^{n+1})\, f(x) &\Rightarrow&\ \rm f(0)\,s^{n+1}\! = 0\quad via\ \ coef\ x^{n+1} \\ & & &\Rightarrow&\ \rm\ \ \,\bbox[5px,border:1px solid #c00]{r\ s^{n+1} = 0} \end{eqnarray}$

As Xam wrote in his answer, this immediately yields the result that you seek. and using the above proof requires no prior knowledge of the (pair-based) localization construction.

If you introspect on the construction used in the pair-based approach you will find that it boils down to choosing $\rm\color{#0a0}{constant}$ normal-form reps of equivalence classes in the above quotient rings $$\rm f(x) = s^n f(x)/s^n = s^n(f_n x^n+\cdots +f_1 x+ f_0)/s^n = (f_n+ f_1 s^{n-1} + f_0 s^n)/s^n = \color{#0a0}{r/s^n},\ r\in R$$

analogous to how Hamilton's pair-based construction of $\,\Bbb C = \Bbb R[x]/(x^2+1)$ chooses $\rm\color{#0a0}{least\ degree}$ (= linear) normal form reps $\rm\,a+bx\,$ of polynomials $\rm \bmod\, x^2+1\,$ with the ring operations and congruence transported to the pair normal form reps, e.g. transported multiplication of pairs is

$\rm\begin{eqnarray}\rm (a,\ b) &&\rm (c,\ d) &\!\!=&\rm (ac\!\color{#000}{\bf -}\!bd,\quad\ \ ad\!+\!bc)\\[.2em] \rm i.e.\ \bmod{\color{#c00}{\,x^2\!+1}}\!:\ \ \color{#c00}{x^2\equiv -1}\ \,\Rightarrow\,\ (a\! +\! b\color{#c00}x)&&\rm(c\! +\! d\color{#c00}{ x})\, &\!\!\!\rm\,\equiv&\rm (ac\!\color{#c00}{\bf -}\!bd) + (ad\!+\!bc)\, x\\[.3em] \rm i.e.\quad\, (a\! +\! b{\it i}\,)&&\rm(c\! +\! d {\it i}\,)\, &\!\! =\,&\rm (ac\!\color{#000}{\bf -}\!bd) + (ad\!+\!bc)\,{\it i}\end{eqnarray}$

The pair-based localization construction is precisely analogous, i.e. the construction transports the ring operations and congruence to normal form reps of the equivalence classes of the quotient rings. When viewed in this way, the equivalence relation imposed on the fraction pair reps $\rm\,(r,s^n)\,$ arises naturally and no longer seems contrived.

This is a protoypical example of ubiquitous techniques employed in normal form computation in quotient objects, so it is well-worth the effort to study it carefully.

For further discussion (including literature references) see this answer.

Solution 2:

We have the following isomorphisms $$R[x,x^{-1}]\cong R[x,y]/(xy-1)\cong R[x]_x.$$ The last ring is the localization of $R[x]$ at the multiplicatively closed subset $S=\{1,x,x^2,\ldots\}$. Now, by definition of localization we have $\frac{a}{x^i}=\frac{b}{x^j}$ if only if there is an element $x^n\in S $ such that $x^n(ax^j-bx^i)=0$, i.e., $x^n\cdot ax^j=x^n\cdot bx^i$.