Thread: subfield isomorphism

How do I show that if p > 0 is the characteristic of the finite field F (p is prime obviously) that F contains a subfield {k * 1F: k=0,1,...,p-1} that is isomorphic to Zp?

Note k*1F= 1+1+1...+1 (k times)
Thank you in advance.

Also, how can I show that the set {k * 1F: k=0,1,...,p-1} actually is a subfield?

Originally Posted by PvtBillPilgrim

How do I show that if p > 0 is the characteristic of the finite field F (p is prime obviously) that F contains a subfield {k * 1F: k=0,1,...,p-1} that is isomorphic to Zp?

This is one of the elegant results about fields.

Theorem: If is a ring with unity and with charachteristic , then contains as a subring up to isomorphism.

Thus, given a field with a charachetristic then must be a prime. Because otherwise it will have zero-divisors, which a field does not have. Thus it contains as a subfield up to isomorphism.

Originally Posted by PvtBillPilgrim

Also, how can I show that the set {k * 1F: k=0,1,...,p-1} actually is a subfield?

This is a known fact that is always a field. Because it is a finite integral domain, and a finite integral domain is always a field.

How do you prove that initial part though (the theorem)?

Originally Posted by PvtBillPilgrim

How do you prove that initial part though (the theorem)?

The map which we define as is a homomorphism (excerise, prove it). By the fundamental theorem the kernel is an ideal of . Now all ideals of are of the form because a subgroup of a cyclic group is cyclic. Thus, if has charachteristic then, . Again by the fundamental theorem, . Thus, the subring confirms the theorem. Q.E.D.

What is happening to you in this class? I seriously doubt it they will ask you to prove this theorem, is it not in your textbook?

Yeah, we have no textbook.

Thanks for the help.

Originally Posted by PvtBillPilgrim

Yeah, we have no textbook.

Why not? Is the professor insane?