every finite field is perfect



A field F of prime characteristic p is said to be perfect if the
mapping a -> a^p isa surjection on F.

1) Show that every finite field is perfect

2) Let F be an arbitrary field of characteristic p not equal to 0.
Show that the field F(x) is not perfect.

Proof: 1) Since we have a surjection and a finite field, we have a
bijection. In a finite field of characteristic p greater than 0, the
kernel of the map is trivial as x^p=x*x^(p-1)=0 over a field makes
x=0.

Can I assume the surjection or do I need to prove that? What would be
a proper proof?

Proof: 2) No clue whatsoever how to approach this.



Help

Thanks,
Warren

.



Relevant Pages

  • Re: Review of Mueckenheims book.
    ... Hessenberg's argument that there is no surjection from a set to ... The argument is that given a mapping f: ... As this is so for any map ... But this triple has not the deserved impredicative definition. ...
    (sci.math)
  • Re: Review of Mueckenheims book.
    ... > about a bijection. ... But it can *not* be in the mapping 'f'. ... > surjection from F: N and, say g: onto P. ... Here you give a proof of your basic misunderstanding. ...
    (sci.math)
  • Re: Review of Mueckenheims disastrous book.
    ... Hessenberg's argument that there is no surjection from a set to ... The argument is that given a mapping f: ... falls es sie enthält, und sie enthält, falls es sie nicht enthält. ... member of N, as T_f depends on f but is totally independent of any ...
    (sci.math)
  • Re: An uncountable countable set
    ... principles, but why should anyone besides you care about that? ... due to an axiom, but it does not have a largest element (and that is ... is no surjection from S to Pin this case? ... The mapping from N and onto R is not ...
    (sci.math)
  • Re: Cantor Confusion
    ... >> So your construction is not a surjection. ... It is a surjection from the set of edges onto the set ... To what number maps the edge that goes left from the root? ... The mapping that maps the first edge to the left ...
    (sci.math)

Quantcast