Thread: Show Q[i + sqrt(2)] = Q[i][sqrt(2)]

Show

Now, when I do this, I find:
Basis of which is equal to . Which is the same basis as .

If the basis of each field is shown to be equal, are the fields equal? It seems like an obvious yes to me, but I would like to someone else to confirm this thought if possible. I cannot find it in my text or any other resource online. Also, if someone feels like double-checking the basis for each, I would appreciate it.

Originally Posted by tcRom

Show

Now, when I do this, I find:
Basis of which is equal to . Which is the same basis as .

If the basis of each field is shown to be equal, are the fields equal? It seems like an obvious yes to me, but I would like to someone else to confirm this thought if possible. I cannot find it in my text or any other resource online. Also, if someone feels like double-checking the basis for each, I would appreciate it.

Yes, that is how you do this sort of problem. You should write each member of the basis of Q[i+/sqrt(2)] as a linear combination of basis elements from Q[i,/sqrt(2)] and vice versa.

Great, thank you.

I end up with
let

... a linear combination of the basis of Q[i][sqrt(2)]. Thus, the fields are equal.

Am I able to say that the basis are equal, even though it takes a linear combination to reach the other?

Originally Posted by tcRom

Great, thank you.

I end up with
let

... a linear combination of the basis of Q[i][sqrt(2)]. Thus, the fields are equal.

Am I able to say that the basis are equal, even though it takes a linear combination to reach the other?

The fields, and their bases, are equal up to isomorphism. Sometimes we have different criteria for what it means for two things to be equal. But that is semantics. You can say that they are equal (equivalent, isomorphic, etc.)