# Ring Homomorphisms from the Ring of Rational Numbers are Determined by the Values at Integers ## Problem 318

Let $R$ be a ring with unity.
Suppose that $f$ and $g$ are ring homomorphisms from $\Q$ to $R$ such that $f(n)=g(n)$ for any integer $n$.

Then prove that $f=g$. Add to solve later

Contents

## Proof.

Let $a/b \in \Q$ be an arbitrary rational number with integers $a, b$.
Then we have
\begin{align*}
f\left(\frac{a}{b}\right)&=f\left(a\cdot\frac{1}{b}\right)\\
&=f(a)f\left(\frac{1}{b}\right) && \text{ (since $f$ is a ring homomorphism)}\\
&=g(a)f\left(\frac{1}{b}\right) && \text{ (since $a$ is an integer)}\\
&=g\left(\frac{a}{b}\cdot b\right) f\left(\frac{1}{b}\right)\\
&=g\left(\frac{a}{b}\right) g(b) f\left(\frac{1}{b}\right) && \text{ (since $g$ is a ring homomorphism)}\\
&=g\left(\frac{a}{b}\right) f(b) f\left(\frac{1}{b}\right) && \text{ (since $b$ is an integer)}\\
&=g\left(\frac{a}{b}\right) f\left(b\cdot \frac{1}{b}\right) && \text{ (since $f$ is a ring homomorphism)}\\
&=g\left(\frac{a}{b}\right) f(1) \\
&=g\left(\frac{a}{b}\right) \cdot 1\\
&=g\left(\frac{a}{b}\right).
\end{align*}

Therefore, we proved
$f\left(\frac{a}{b}\right)=g\left(\frac{a}{b}\right),$ for any rational number $a/b\in \Q$.
Hence we have $f=g$.

## Remark.

In the language of category theory, this shows that the inclusion $\Z\to \Q$ is epi in the category of rings.
Also, note that this inclusion is not epi in the category of abelian groups ($\Z$-mod). Add to solve later

### More from my site

#### You may also like...

This site uses Akismet to reduce spam. Learn how your comment data is processed.

###### More in Ring theory ##### Generators of the Augmentation Ideal in a Group Ring

Let $R$ be a commutative ring with $1$ and let $G$ be a finite group with identity element $e$. Let...

Close