Scribd
Upload
187 views3 pages

Field of Fractions in Algebra

The document defines the field of fractions of an integral domain R. A field of fractions is constructed by taking equivalence classes of pairs (a,b) in R×R where b is non-zero. Two pairs (a,b) and (c,d) are equivalent if ad=bc. It is shown that under addition and multiplication defined on these equivalence classes, the field of fractions F becomes a field. There is also an injective ring homomorphism from R to F, allowing R to be identified as a subring of F. Examples given include the field of fractions of Z being Q, and of the polynomial ring K[x] being the rational functions K(x).

Uploaded by

teesri_aankh
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
187 views3 pages

Field of Fractions in Algebra

The document defines the field of fractions of an integral domain R. A field of fractions is constructed by taking equivalence classes of pairs (a,b) in R×R where b is non-zero. Two pairs (a,b) and (c,d) are equivalent if ad=bc. It is shown that under addition and multiplication defined on these equivalence classes, the field of fractions F becomes a field. There is also an injective ring homomorphism from R to F, allowing R to be identified as a subring of F. Examples given include the field of fractions of Z being Q, and of the polynomial ring K[x] being the rational functions K(x).

Uploaded by

teesri_aankh
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd

17.

Field of fractions
The rational numbers Q are constructed from the integers Z by
adding inverses. In fact a rational number is of the form a/b, where a
and b are integers. Note that a rational number does not have a unique
representative in this way. In fact
a ka
= .
b kb
So really a rational number is an equivalence class of pairs [a, b], where
two such pairs [a, b] and [c, d] are equivalent i ad = bc.
Now given an arbitrary integral domain R, we can perform the same
operation.
Denition-Lemma 17.1. Let R be any integral domain. Let N be
the subset of R R such that the second coordinate is non-zero.
Dene an equivalence relation on N as follows.
(a, b) (c, d) i ad = bc.
Proof. We have to check three things, reexivity, symmetry and tran-
sitivity.
Suppose that (a, b) N. Then
a b = a b
so that (a, b) (a, b). Hence is reexive.
Now suppose that (a, b), (c, d) N and that (a, b) (c, d). Then
ad = bc. But then cb = da, as R is commutative, and so (c, d) = (a, b).
Hence is symmetric.
Finally suppose that (a, b), (c, d) and (e, f) R and that (a, b)
(c, d), (c, d) (e, f). Then ad = bc and cf = de. Then
(af)d = (ad)f
= (bc)f
= b(cf)
= (be)d.
As (c, d) N, we have d 0. Cancelling d, we get af = be. Thus =
(a, b) (e, f). Hence is transitive. D
Denition-Lemma 17.2. The eld of fractions of R, denoted F
is the set of equivalence classes, under the equivalence relation dened
above. Given two elements [a, b] and [c, d] dene
[a, b] + [c, d] = [ad + bc, bd] and [a, b] [c, d] = [ab, cd].
1
MIT OCW: 18.703 Modern Algebra Prof. James McKernan

With these rules of addition and multiplication F becomes a eld. More-


over there is a natural injective ring homomorphism
: R F,
so that we may identify R as a subring of F . In fact is universal
amongs all such injective ring homomorphisms whose targets are elds.
Proof. First we have to check that this rule of addition and multiplica-
tion is well-dened. Suppose that [a, b] = [a
'
, b
'
] and [c, d] = [c
'
, d
'
]. By
commutativity and an obvious induction (involving at most two steps,
the only real advantage of which is to simplify the notation) we may
assume c = c
'
and d = d
'
. As [a, b] = [a
'
, b
'
] we have ab
'
= a
'
b. Thus
(a
'
d + b
'
c)(bd) = a
'
bd
2
+ bb
'
cd
= ab
'
d
2
+ bb
'
cd
= (ad + bc)(b
'
d).
Thus [a
'
d + b
'
c, b
'
d] = [ad + bc, bd]. Thus the given rule of addition is
well-dened. It can be shown similarly (and in fact more easily) that
the given rule for multiplication is also well-dened.
We leave it is an exercise for the reader to check that F is a ring
under addition and that multiplication is associative. For example,
note that [0, 1] plays the role of 0 and [1, 1] plays the role of 1.
Given an element [a, b] in F , where a = 0, then it is easy to see that
[b, a] is the inverse of [a, b]. It follows that F is a eld.
Dene a map
: R F,
by the rule
(a) = [a, 1].
Again it is easy to check that is indeed an injective ring homomor-
phism and that it satises the given universal property. D
Example 17.3. If we take R = Z, then of course the eld of fractions
is isomorphic to Q. If R is the ring of Gaussian integers, then F is a
copy of a + bi where now a and b are elements of Q.
If R = K[x], where K is a eld, then the eld of fractions is denoted
K(x). It consists of all rational functions, that is all quotients
f(x)
g(x)
,
where f and g are polynomials with coecients in K.
2
MIT OCW: 18.703 Modern Algebra Prof. James McKernan
MIT OpenCourseWare
[Link]
18.703 Modern Algebra
Spring 2013
For information about citing these materials or our Terms of Use, visit: [Link]

You might also like