• Support PF! Buy your school textbooks, materials and every day products Here!

Sum of fields is never a field

  • #1

Homework Statement


Prove that a direct sum of two or more field is never a field


Homework Equations



F X G = {(f,g): f in F, g in G}

The Attempt at a Solution



I know that I need to prove FXG is Abelian group under addition, and FXG - {0,0} is an Abelian group under mult.
And for mult,
I know I need to check 1) mult identity, 2) closure, 3) commutative, 4) mult inverse, 5) associativity

I have problem proving mult inverse,

let a1, a2, b1, b2 be elements in F XG - {0,0}, such that (a1,b1)*(a2,b2) = (a1a2, b1b2)
so (a1a2, b1b2) ^-1 = (1/(a1a2), 1/(b1b2)) which is not in FXG - (0,0)

Is this right?
 
Last edited:

Answers and Replies

  • #2
200
0
How do you know a1a2 is invertible?
 
  • #3
Remember you're trying to prove that [itex]F\times G[/itex] is not a field.

So you're not actually trying to prove any of the things you say you're trying to prove. You're trying to disprove at least one of them. So if you've had a problem proving one of them, that might give you a clue.
 

Related Threads for: Sum of fields is never a field

Replies
5
Views
436
Replies
11
Views
916
  • Last Post
Replies
2
Views
3K
  • Last Post
Replies
14
Views
2K
Replies
4
Views
838
  • Last Post
Replies
4
Views
2K
  • Last Post
Replies
3
Views
2K
Replies
2
Views
845
Top