Thread: Quotient Field

Determine Q(D) for D={m+ni|m,n in Z} contained in C

Note: D is an integral domain and Q(D) is its quotient field



I know for Q(D), we have [a,b]+[c,d]=[ad+bc,bd] and [a,b]*[c,d]=[ac,bd]

I just don't know how to start this.

Originally Posted by mathematic

Determine Q(D) for D={m+ni|m,n in Z} contained in C

Note: D is an integral domain and Q(D) is its quotient field



I know for Q(D), we have [a,b]+[c,d]=[ad+bc,bd] and [a,b]*[c,d]=[ac,bd]

I just don't know how to start this.

Hint: What is and use this to try to answer your question.

I've never seen the notation frac(Z).

I was thinking of looking at something like:
(m+ni)/(a+bi) and looking at at both addition and multiplication

Because for just regular numbers, we can do:
m/n+p/q=(mq+pn)/nq
m/n*p/q=mp/nq

Would I look at m+ni/a+bi or just something like m/a+bi?

Originally Posted by mathematic

Because for just regular numbers, we can do:
m/n+p/q=(mq+pn)/nq
m/n*p/q=mp/nq

Would I look at m+ni/a+bi or just something like m/a+bi?

What they want you to do is figure out what subfield of is (the quotient field) is isomorphic to. Try proving that it's isomorphic to .

I was given to this hint to try.
Q(D) ∼= Q(i) = {r + si | r, s ∈ Q} by showing that the
map f : Q(i) → Q(D) given by
f(a/b+c/di) = [ad + bci, bd]

We want to show 1-1, onto, f(a+b)=f(a)+f(b) an f(ab)=f(a)f(b)
1-1:Assume a/b+c/di=e/f+g/hi
f(a/b+c/di)=f(e/f+g/hi)
[ad+bci,bd]=[eg+fgi,fh]
onto:I always get hung up onto.
f(a+b)=f((a/b+c/di)+(e/f+g/hi))=f(af+be/bf+chi+gdi/-dh)=[(af+be)(-dh)+bf(chi+gdi)(-dh)]
f(a*b):
Consider f((a/b+c/di)(e/f+g/hi))=f(ae/bf+ga/hi+ce/di+cg/-hd)
This is where I've gotten so far

f(a+b)=f((a/b+c/di)+(e/f+g/hi))=f(af+be/bf+chi+gdi/-dh)=[(af+be)(-dh)+bf(chi+gdi)(-dh)]=[-dhaf-dhbe+bfchi+bfgdi,-bfdh]
f(a*b):
Consider f((a/b+c/di)(e/f+g/hi))=f(ae/bf+ga/hi+ce/di+cg/-hd)
This is where I've gotten so far

Is that the right idea or no?

Originally Posted by mathematic

Is that the right idea or no?

Honestly, what you have written is really hard to follow.

We are trying to determine the quotient field of (what you have written as ).

First, notice that , so that . Since is the quotient field of , this means .

Obviously . This and the previous containment force (if are both inside of the field , then so is the smallest field containing and ).

But then is a field satisfying . Since the quotient field of an integral domain is the smallest field containing that integral domain, this forces equality: .