Counterexample to Isomorphic Subfields: Help Needed

  • Context: Graduate 
  • Thread starter Thread starter Mandelbroth
  • Start date Start date
Click For Summary
SUMMARY

The discussion centers on the concept of isomorphic subfields within field theory, specifically addressing the assertion that all isomorphic subfields are equal. The user seeks a counterexample to this claim and presents initial thoughts involving the field isomorphic to \mathbb{Z}/(2) generated by 0,1\in \mathbb{F}_4. They conclude that no other subfield in \mathbb{F}_4 is isomorphic to \mathbb{Z}/(2), as both elements must be included. Additionally, they mention the isomorphism \mathbb{R}\cong \mathbb{R}i as vector spaces, but not as rings, highlighting the complexity of the topic.

PREREQUISITES
  • Understanding of field theory and subfields
  • Familiarity with isomorphism in algebra
  • Knowledge of vector spaces and ring theory
  • Basic concepts of finite fields, specifically \mathbb{F}_4
NEXT STEPS
  • Research the properties of finite fields, particularly \mathbb{F}_4
  • Study the concept of isomorphism in algebraic structures
  • Explore counterexamples in field theory to understand non-isomorphic subfields
  • Learn about the relationship between vector spaces and rings in algebra
USEFUL FOR

Mathematicians, algebra students, and anyone interested in advanced field theory concepts and the intricacies of isomorphic structures.

Mandelbroth
Messages
610
Reaction score
23
I've got this weird thought in my head that isomorphic subfields of any field are equal. I'm having trouble believing this and I'm trying to come up with a counterexample to quell my head. But, I'm having a lot of trouble coming up with such a counterexample, and I don't know why.

Can anyone think of a quick counterexample?

So far, I've thought of the field isomorphic to ##\mathbb{Z}/(2)## generated by ##0,1\in \mathbb{F}_4##. But, when I thought about it more, no other subfield is isomorphic to ##\mathbb{Z}/(2)## in ##\mathbb{F}_4##, since ##0## and ##1## would necessarily be in the subfield. Then I thought about how ##\mathbb{R}\cong \mathbb{R}i## as vector spaces, but clearly not as rings (##\mathbb{R}i\not\ni 1##).

As usual, help is greatly appreciated.
 
Physics news on Phys.org
Notice that the inclusion k(x2,x3,...) ⊂ k(x1,x2,x3,...) is proper, yet these fields are isomorphic.
 
  • Like
Likes   Reactions: 1 person

Similar threads

  • · Replies 21 ·
Replies
21
Views
2K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
6
Views
2K