Linear algebra - Field equations

[karnten07]

Homework Statement

Let F be a field. For any a,b \in F, b\neq0, we write a/b for ab^-1. Prove the following statements for any a,a' \inF and b,b' \in F\{0}:

i.) a/b = a'/b' if and only if ab' = a'b.

ii.) a/b + a'/b' = (ab' + a'b)/bb'

iii.) (a/b)(a'/b') = (aa')/(bb')

iv.) ((a/b)/(a'/b')) = (ab')/(a'b) if in addition a' \neq 0

Homework Equations

The Attempt at a Solution

Okay I am getting really confused in these questions because i don't know when it means to divide by and when it is showing that a/b = ab^-1

i.) want to show a/b = a'/b' if and only if ab' = a'b.

from ab' = a'b a = a'b/b' and a' = ab'/b

So substituting in values of a and a'

a/b = (a'b/b')/(ab'/b)

Carrying out division:

(a'ba')/(b'ab') and because a'b = b'a, substitute this in and cancel like terms:

(ab'a'/ab'b') = a'/b'

therefore a'/b' = a/b

is this even right because its just rearranging stuff?

 

[karnten07]

Yeah, i can't be doing it right, it must mean i need to write in the inverses. Thoughts?

 

[karnten07]

So for i.)

a/b = a'/b' becomes a(b)^-1 = a'(b')^-1

So rearranging a'b = b'a gives a = a'b/b' and b = b'a/a', substitute this in:

(a'b/b') (b'a/a')^-1

Substitute in b' = a'b/a into the non inverse bracket:

(a'ba/a'b)(b'a/a')^-1

Then by the multiplicative inverse property of a field, elements and their inverses become the identity element, which is 1 in this case (do i need to show its 1?):

So, (a'b/b)(b')^-1

the b's cancel to give a'(b')^-1 which is written as a'/b'

So a/b = a'/b' as asked

Is this the right idea? Any tips to improve my setting out and explanations as i go along as i don't want to miss anything? Thanks in advance

 

[karnten07]

Should i write that i can cancel the b's by existence of multiplicative inverse as bx1/b = 1?

 

[karnten07]

I think i have done number ii.) by substituing in values for a and b, then using the inverse to rearrange into the desired form.

 

[Mystic998]

I think you're really overthinking things. All of those just require you to rewrite x/y as xy^-1 then use the properties of field multiplication.

 

[karnten07]

I think you're really overthinking things. All of those just require you to rewrite x/y as xy^-1 then use the properties of field multiplication.

Yea i thought so, so in my third post do you think that i have the right idea in my proof?

 

[Mystic998]

Yeah, you'd just rewrite it as ab^{-1}a'b'^{-1}, then rearrange using commutativity of multiplication.

Edit: Or you could use part 1 to show equality. In this case, it might be a better idea, because the question seems to be alluding to the kind of stuff you have to do to show that the field of fractions of an integral domain is actually a well-defined field.

 

[karnten07]

Yeah, you'd just rewrite it as ab^{-1}a'b'^{-1}, then rearrange using commutativity of multiplication.

Edit: Or you could use part 1 to show equality. In this case, it might be a better idea, because the question seems to be alluding to the kind of stuff you have to do to show that the field of fractions of an integral domain is actually a well-defined field.

How do i show equality? What do i do differently than what i have done already?

 

[karnten07]

For part iii.) can i do it like this:


(a/b)(a'/b') = (aa')/(bb')

(ab^-1)(a'(b')^-1) for LHS then say that it can be rearranged to right hand side by law of associativity? Feels like one of those questions that has a suspiciously simple solution.

 

[Mystic998]

Commutativity and associativity, yes. At least, that's the way it seems.