My Math Forum  

Go Back   My Math Forum > College Math Forum > Abstract Algebra

Abstract Algebra Abstract Algebra Math Forum

LinkBack Thread Tools Display Modes
July 14th, 2009, 12:33 PM   #1
Joined: Jul 2009

Posts: 1
Thanks: 0

Automorphism in Finite Fields

I need help on the following question:

Let o be the automorphism in F_q in Prop II 1.5. Prove that the set of elements left fixed by o^j is the field F_k, k = p^d where d = gcd(j,f).

Prop II 1.5: Let F_q be the finite field of q = p^f elements, and let o be the map that sends every element to its p-th power: o(a) = a^p. Then o is an automorphism of the field F_q (a 1-1 map of the field to itself which preserves addition and multiplcation). The elements of F_q which are kept fixed by o are precisely the elements of the prime field F_p. The f-th power of (and no lower power) the map o is the identity map.
mlchai is offline  
August 21st, 2009, 01:06 PM   #2
Senior Member
Joined: Dec 2008

Posts: 160
Thanks: 0

Re: Automorphism in Finite Fields

For every m, divisor of n, there is a unique Field that is a subfield of the
To prove this, look at the enclosures of the roots of the polynomials that splits in those fields.
As well looking at the map of the roots we can establish that the more common dividers j has with f - the more roots stay fixed.
Consider this: has order this will help to show that is fixed
zolden is offline  

  My Math Forum > College Math Forum > Abstract Algebra

automorphism, fields, finite

Thread Tools
Display Modes

Similar Threads
Thread Thread Starter Forum Replies Last Post
finite fields gelatine1 Abstract Algebra 2 February 1st, 2013 02:03 PM
finite fields gelatine1 Number Theory 0 November 7th, 2012 07:44 AM
Finite fields lreps Abstract Algebra 1 April 12th, 2011 01:07 PM
Finite fields lreps Abstract Algebra 0 April 10th, 2011 12:38 PM
Finite fields lreps Number Theory 0 December 31st, 1969 04:00 PM

Copyright © 2019 My Math Forum. All rights reserved.