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
notnottrue
Messages
10
Reaction score
0

Homework Statement


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

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


Homework Equations



For a field,
For all c \in F, there exists c-1 \in 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\sqrt[3]{2})?
Or show there is no b\sqrt[3]{2}*b-1\sqrt[3]{2}=1?
Or b\sqrt[3]{2}*(b\sqrt[3]{2})-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 \sqrt[3]{2} is an element that doesn't have an inverse.
 
\sqrt[3]{2}\inF with a=0 and b=1
So there must be c such that c*\sqrt[3]{2}=1
c=1/\sqrt[3]{2}\notinQ
Since \sqrt[3]{2}\inF, F must not be a field because it has no inverse under multiplication.
Is this sound?
 
Last edited:
Bumb
 
Prove $$\int\limits_0^{\sqrt2/4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx = \frac{\pi^2}{8}.$$ Let $$I = \int\limits_0^{\sqrt 2 / 4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx. \tag{1}$$ The representation integral of ##\arcsin## is $$\arcsin u = \int\limits_{0}^{1} \frac{\mathrm dt}{\sqrt{1-t^2}}, \qquad 0 \leqslant u \leqslant 1.$$ Plugging identity above into ##(1)## with ##u...
Back
Top