Prove F is a field where F maps to itself

  • Thread starter Thread starter shabbado
  • Start date Start date
  • Tags Tags
    Field
Click For Summary

Homework Help Overview

The discussion revolves around proving that a specific subset of a field, defined by an isomorphism, is itself a field. The original poster seeks guidance on how to approach this proof, particularly in relation to the properties that need to be satisfied.

Discussion Character

  • Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • Participants discuss the need to demonstrate that the subset satisfies the field axioms. There is uncertainty regarding the specific properties that need to be addressed in the proof.

Discussion Status

The conversation is ongoing, with some participants providing clarifications about the problem statement and the requirements for proving the subset is a field. The original poster expresses a better understanding of the problem after receiving feedback.

Contextual Notes

There is a mention of confusion regarding the terminology used in the problem statement, particularly the phrase "maps to itself." Participants are exploring the implications of the isomorphism and the definition of the subset in question.

shabbado
Messages
6
Reaction score
0
Hello, I am not exactly sure how to go about proving a a Field with given properties is a field.
Any help would be appreciated. At least a push in the right direction/

Homework Statement


http://www.upload.mn/view/q77nuboss6set86gbhfs.jpg


Homework Equations





The Attempt at a Solution

 
Last edited by a moderator:
Physics news on Phys.org
Probably by showing it satisfies the field axioms...

it's tough to be more specific without knowing what properties you're talking about
 
First you say F "maps to itself" which makes no sense. Then you say "prove that a field is a field"!

In fact, the problem you posted says neither of those. It says:

If [itex]\phi[/itex] is an isomorphism from a field F to itself, and [itex]F_\phi[/itex] is defined as {x| [itex]\phi(x)= x[/itex]}, in other words, the set of all member of F that [itex]\phi[/itex] does not change, prove that [itex]F_\phi[/itex] is a field.

Office Shredder told you how to do that: what are the "axioms" or requirements for a field?
 
Obviously I did not understand the problem in its entirety . I believe I understand it now, and thanks to your assistance.
 

Similar threads

Replies
1
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 47 ·
2
Replies
47
Views
5K