Prove/Disprove: F1 and F2 Isomorphic as Fields

  • Thread starter Thread starter T-O7
  • Start date Start date
  • Tags Tags
    Field
Click For Summary
The discussion centers on proving or disproving whether two finite field extensions F1 and F2 of a field K, with equal degrees, are isomorphic as fields. It is established that the statement is false when considering isomorphism as field extensions, with counterexamples provided, such as the fields Q(i) and Q(√3i), both of degree 2 but not isomorphic. Participants emphasize the importance of exploiting isomorphism properties and suggest considering base fields like Q for clarity. The conversation also hints at exploring the same problem in the context of finite fields with the same number of elements. The conclusion highlights the complexity of field isomorphisms beyond mere degree comparisons.
T-O7
Messages
55
Reaction score
0
Hey all,
I need to prove (or disprove) the following statement:

F1 and F2 are two finite field extensions of a field K. Assume [F1:K]=[F2:K]. Then F1 and F2 are isomorphic as fields.

Some help would be much appreciated.
I know the statement is false if i replace "isomorphic as fields" by "isomorphic as field extensions", but that's all i can think of so far.
 
Physics news on Phys.org
thats obviously false. look at any example at all.

just extend your proof from field extensions, to fields.
 
Sorry...i don't know what you mean.
I can come up with counter examples if it said "isomorphic as field extensions", because then i can just use the result that F(a) and F(b) are F-isomorphic iff a and b have the same irreducible poly.
But I'm stuck in this case, with general field isomorphisms...
 
Ok here's a counterexample. Take the two field extension of the rationals \mathbb{Q}(i) and \mathbb{Q}(\sqrt{3}i). Both are of degree 2. But then there is an isomorphism f(0) = f(i^2 +1) = (f(i))^2 +f(1) = (f(i))^2 +1 But there are no elements in \mathbb{Q}(\sqrt{3}i) that satisfies this.
 
Nice...that's wonderful. Thanks snoble! Exploit the isomorphism property, i get it. :smile:
 
my hint was meant to get you to consider a base field like Q where every isomorphism is the identity, then your same proof works as for extensions. see?

by the way try the same problem for finite fields. i.e. suppose two finite fields have the same number of elements, what then?
 
Last edited:

Similar threads

  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 21 ·
Replies
21
Views
14K
  • · Replies 31 ·
2
Replies
31
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 25 ·
Replies
25
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K