Proof that there exist such an element in Q

  • Thread starter Thread starter fluidistic
  • Start date Start date
  • Tags Tags
    Element Proof
Click For Summary

Homework Help Overview

The problem involves determining whether the set of rational numbers Q, under addition and multiplication, forms a field. A key requirement is to prove the existence and uniqueness of an additive inverse for each element in Q.

Discussion Character

  • Exploratory, Assumption checking

Approaches and Questions Raised

  • The original poster attempts to understand how to prove the existence of an element -x such that x + (-x) = 0 for all x in Q, while also considering the uniqueness of such an element. Some participants suggest defining the inverse of a rational number as -p/q.

Discussion Status

The discussion includes various approaches to proving the existence and uniqueness of the additive inverse. Some participants provide insights that may guide the original poster in their proof, while others explore different interpretations of the problem.

Contextual Notes

The original poster expresses uncertainty about how to begin the proof for existence, indicating that they are seeking foundational guidance. There is an implicit assumption that the properties of rational numbers are being applied in this context.

fluidistic
Gold Member
Messages
3,934
Reaction score
286

Homework Statement


I'm asked to say whether the set Q,+,. is a field.
To be a field it must respect 8 conditions. And one of them is that there exists a unique element -x in Q such that x+(-x)=0 for all x in Q. I realize I have to prove the existence of -x but also its uniqueness. For the existence I don't know how could I approach it. For the uniqueness I'm sure that I could do it by absurd. That is by suposing that there exist more than one element -x that satisfies the same property and fall into a contradiction.
Can you get me started or help to get started for showing the existence?
Thank you!
 
Physics news on Phys.org
fluidistic said:
I'm asked to say whether the set Q,+,. is a field.

I realize I have to prove the existence of -x but also its uniqueness. For the existence I don't know how could I approach it.

Hi fluidistic! :smile:

(good sig! :biggrin:)

If Q is the rationals, then define the inverse of p/q as -p/q. :wink:
 
assume there is an element -x such that x + (-x) = 0

now assume there is an element y such that x + y =0
This implies y=-x therefore we conclude that

-x is the unique element
 
Ok thank you both, I think I got it. Wasn't that hard it seems!
 

Similar threads

Replies
2
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
20
Views
4K
Replies
20
Views
5K
Replies
1
Views
2K
Replies
3
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K