Using field axioms to prove a set is not a field

  • Thread starter Thread starter notnottrue
  • Start date Start date
  • Tags Tags
    Axioms Field Set
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
3 replies · 2K views
notnottrue
Messages
10
Reaction score
0

Homework Statement


Let F = {a + b[itex]\sqrt[3]{2}[/itex]:a,b[itex]\in[/itex]Q}.
Using the fact that [itex]\sqrt[3]{2}[/itex] is irrational, show that F is not a field.

[Hint: What is the inverse of [itex]\sqrt[3]{2}[/itex] under multiplication?]


Homework Equations



For a field,
For all c [itex]\in[/itex] F, there exists c-1 [itex]\in[/itex] F s.t. c*c-1 =1

The Attempt at a Solution



I am unsure how to relate the axioms to the set. Is c = (a +b[itex]\sqrt[3]{2}[/itex])?
Or show there is no b[itex]\sqrt[3]{2}[/itex]*b-1[itex]\sqrt[3]{2}[/itex]=1?
Or b[itex]\sqrt[3]{2}[/itex]*(b[itex]\sqrt[3]{2}[/itex])-1=1?
 
Physics news on Phys.org
There are lots of ways to go about it, but if you're going to follow the hint, it specifically suggests showing that [itex]\sqrt[3]{2}[/itex] is an element that doesn't have an inverse.
 
[itex]\sqrt[3]{2}[/itex][itex]\in[/itex]F with a=0 and b=1
So there must be c such that c*[itex]\sqrt[3]{2}[/itex]=1
c=1/[itex]\sqrt[3]{2}[/itex][itex]\notin[/itex]Q
Since [itex]\sqrt[3]{2}[/itex][itex]\in[/itex]F, F must not be a field because it has no inverse under multiplication.
Is this sound?
 
Last edited: