Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Fields- again

  1. Mar 30, 2005 #1
    O.K.
    Here it is:
    Prove or find a counter example.
    Suppose E/F, and K/F. Then E~K (iso.) => E and K are F-isomorphic.

    I can prove it for F=Q or any finite field.
    Is it true in general?
     
  2. jcsd
  3. Mar 30, 2005 #2

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    Suppose E/F and K/F are what?
     
  4. Mar 30, 2005 #3
    I'm sorry- just assume E and K are extensions of F.
     
  5. Mar 30, 2005 #4

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    Finite or transcendental?
     
  6. Mar 30, 2005 #5
    It's not mentioned... I guess either of them.
    You got any leads?
     
  7. Mar 30, 2005 #6
    Help... anyone?

    It's to be handed in tomorrow... I really dunno where to start.
     
  8. Mar 30, 2005 #7

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    Try thinking instead of field E(=K) with a subfield (F) that is not preserved by any automorphism of E.
     
  9. Mar 30, 2005 #8
    So you're going for the counter example?

    I tried your idea, but I couldn't find an example.
    (I really did :) )

    Are you sure it's wrong?
     
  10. Mar 30, 2005 #9
    btw, it wouldn't be good- because E is still F-isomorphic to itself.

    I would need 2 fields that aren't F-iso. (and of course, I'd have to prove they aren't)...
     
  11. Mar 30, 2005 #10

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    All I said was, sicne E and K are isomorphic, that we may replace K with E. That is is there a Field, which cotains a subfield (over which it is an extension), such that no isomorphism is an F-isomorphism. I really have just restated the question: any F-isomorphism is still an isomorphism.

    I don't know whether the result is true to be honest.
     
  12. Mar 31, 2005 #11
    Well, I went to see my Professor today- he said it wasn't true.
    Told me to keep thinking about a counter example, and that it's quite untrivial. He promised to answer me next week though.

    I must have not understood what you meant, by the way- didn't you suggest that I would find an extension E of F that has no F automorphisms? Because that's what I thought you said, I apologize if I got you wrong.
     
  13. Mar 31, 2005 #12

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    No I said to find two objects that are isomprohic, ie we may as well replace them the same symbol and that contain F as (sub)field over which they are extensions such that no automorphism preserves F. I had a feeling there would be a counter example, and I feel that I ought to be able to come up with one, but I've not spent long enough on it, and, if you don't mind, dont' really intend to try figuring it out.
     
  14. Mar 31, 2005 #13
    I'm not asking you to, if you don't want to.
    I feel you might be a bit insulted- if you are, it is absolutely not my intention.
     
  15. Mar 31, 2005 #14

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    Oh, no I'm not insulted, and I now think my idea is absolutely crap to boot.
     
  16. Apr 1, 2005 #15
    :smile:
    Then you must know how I feel... I'll keep trying though, if I finish up all the other weird stuff I have to do.
    Have a nice weekend...
     
  17. Apr 1, 2005 #16

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    Oh, I have one stupid idea an hour or its a slow day. SOmetimes I sadly tell other people of the stupid idea before I figure out its stupid. And they pay me to do this....
     
  18. Apr 1, 2005 #17
    You wanna hear stupid?

    About 3 or 4 friends of mine thought for about 3 days about the next problem: Find a function that isn't L1 but whose derivative is.

    Then one of them got a brilliant idea: take f(x)=const.

    And you should have seen what they where trying to do before that idea- I heard the words "delta function" quite a few times that week...
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?



Similar Discussions: Fields- again
  1. Is this a field? (Replies: 12)

  2. Groups again (Replies: 7)

  3. Basis vectors, again (Replies: 14)

  4. The 1=0 paradox again! (Replies: 6)

Loading...