# The group of field automorphisms

October 31, 2011 4 Comments

Recall that a field automorphism is a function that “respects all of the properties of fields.” For instance, if is a field automorphism, then , , , and .

I did leave out one rule of note . Why did I leave this one out? Because I can prove it from the other ones…

,

so . So basically, anything remotely reasonable I can say about fields passes through the automorphism.

If I were to write down all of the automorphisms of a given field, what could I say about them? As I mentioned last time, there is always the trivial (a.k.a. lame) automorphism that doesn’t do anything. You plug in , it gives you back exactly as is. We call this the identity automorphism. In general in mathematics, “identity” can be loosely translated as “lame.”

If is an automorphism on some field , we required it to be a bijection (one-to-one and onto). So it has an inverse, which we will write as . This is a field automorphism as well. This one simply undoes whatever did.

If I have two field automorphisms and , then I can compose them. You can verify that this is also an automorphism. I’ll show that it respects addition. The rest is just as easy.

So we can compose automorphisms and take inverses. Oh, and there is an identity automorphism. Sound familiar? Such objects are called **groups**. It turns out, whatever structure we are talking about, the collection of automorphisms form a group. This will be an extremely important tool, so we should give it a name. We’ll denote the group of automorphisms of a field by .

Pingback: Automorphisms of Q « Andy Soffer

Pingback: Fixed fields « Andy Soffer

Pingback: Galois Connection « Andy Soffer

Pingback: Galois Group « Andy Soffer