• Support PF! Buy your school textbooks, materials and every day products Here!

Abstract Algebra

  • Thread starter dabien
  • Start date
  • #1
4
0

Homework Statement


Let F be a field of characteristic p>0 and let E = F(a) where a is separable over F. Prove that E=F(a^p).


Homework Equations





The Attempt at a Solution


I know that maybe show how mod F(a) = mod F(a^p) or something around there.
 

Answers and Replies

  • #2
114
0
So, since the characteristic is p, a prime E is generated by some field F adjoined some set of elements, and for each minimal polynomial associated to these elements there are no duplicate roots.

Now, there are two cases to consider E is finite or E is infinite. If E is finite then you're done, since E is iso to Z mod p^k. If E is infinite (for example Z4(u) where u is some transcendental element) then you have some work to do. Consider what frobenius endomorphism
http://en.wikipedia.org/wiki/Frobenius_endomorphism
Tells about the minimal polynomial of a.
 
  • #3
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
14,916
19
E is iso to Z mod p^k.
No it's not. Such an isomorphism can only exist when k=1 and E is a field whose cardinality is p.
 

Related Threads on Abstract Algebra

  • Last Post
Replies
2
Views
2K
  • Last Post
Replies
17
Views
3K
  • Last Post
Replies
2
Views
1K
  • Last Post
Replies
4
Views
1K
  • Last Post
Replies
5
Views
725
  • Last Post
Replies
2
Views
1K
  • Last Post
Replies
2
Views
3K
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
0
Views
1K
  • Last Post
Replies
7
Views
2K
Top