Please Login to access more options.
Problem 43 (The Field Of Quotients Of An Integral Domain)
Consider again the set of ordered pairs $S=\{(a,b)\mid a,b\in\mathbb{Z},b\neq0\}$, together with the equivalence relation $(a,b)\cong(c,d)$ if and only if $ad=bc$. Let $F$ be the set of equivalence classes of $S$ under the relation $\cong$. We can write an element in $F$ as $ [a/b] $ where the brackets remind us that there are infinitely many ways to represent elements in $F$ (for example we know $ [2/4]=[3/6] $ because $2\cdot 6=3\cdot 4$). On the set $F$, define the operations $$ [a/b]+[c/d]=[(ad+bc)/(bd)]\quad \text{and}\quad [a/b]\cdot[c/d]=[ac/bd]. $$
- Prove $+$ and $\cdot$ are binary operations on $F$. This will require you show that if $ [a/b] \cong [a'/b']$ and $ [c/d] \cong [c'/d']$ then we must have $ [(ad+bc)/(bd)] \cong [(a'd'+b'c')/(b'd')] $, and a similar fact for multiplication.
- Prove that $(F,+,\cdot)$ is a field.
- If we replace $\mathbb{Z}$ with any integral domain $D$, prove that $(F,+,\cdot)$ is a field.
The following pages link to this page.