Tuesday, January 24, 2006

Automorphism Groups

Long time, no post eh? Well, if I said I met a girl as a consequence of a new year's resolution and got distracted but that she left last week for her home country you'd understand wouldn't you? Good. Oh, I was a little ill too.

So yesterday I headed over to City University Londonfor the first time ever, it's near Angel station in London and it actually has buildings that can compete with King's Strand campus for ugliness (see right for the cheery city logo attempting to liven up the Tait building where the mathematics department is). However, once inside, all was forgiven, not only for the simple reason that we can no longer see the architecture but also because I was looking forward to attending a rare group theory seminar in London. Infrequently do the theory group talks become group theory talks, but yesterday was just such a special day!

Robert Wilson from Queen Mary, University of London was talking under the title "Finite Groups with Small Automorphism Groups". Robert's homepage contains some links to the text of some of his previous talks, as well as a link to some lecture notes on finite groups which are on their way to becoming a nice looking book. The topic of today's talk was based on Robert's paper with John Bray, the pdf of which can be found here.

Robert's talk was wonderfully pedagogical, beginning with the title he made sure everyone in the room new what a group is and what an automorphism is. He said it was an article of faith for him that all groups are finite :) The only real question was what small meant. So an automorphism of a group, G, is an isomorphism, A, of G: G->G. Robert took the time to show us that set of all automorphisms of a group is also a group, denoted Aut(G), i.e. take A, B, C to be elements of Aut(G), then clearly AB is in Aut(G) and A(BC)=(AB)C, while since the Id and the inverse maps are all isomorphisms too, Aut(G) is a group. We were then introduced to a subgroup of Aut(G), called the group of inner automorphisms, or Inn(G), so-called because these automorphism actions are constructed from elements "in" G. Take g in G, then define an automorphism: This is clearly a map from G to G and it's an isomorphism since: It turns out that inner sutomorphisms form a normal subgroup of G, as, for B in Aut(G), i.e. So Inn(G) is a normal subgroup of Aut(G).

Robert also showed us the outer automorphism group, Out(G), which is defined as a quotient group, Next we had a proposition, that if the inner automorphism was the identity automorphism, then the group element, g, that it was constructed out of would be in the centre of the group, Z(G), So that, Then we came to the crucial examples. First let the group be a cyclic group of order n, i.e. integers under addition modulo n, which is generated by the element a. That is, Now suppose B is an automorphism of this group, so that, Now since B is an automorphism then the whole of the cyclic group must be reproduced by its action. This places the restriction on the possible values k can take; k must be coprime with n (their greatest common divisor must be one). So the number of automorphisms of G, the order of Aut(G), is simply the number of integers less than n which are coprime with n. The function that counts this number is yet another of Euler's and is called the Euler totient function denoted . For the cyclic group the order of the automorphism group, given by the Euler totient function, is less than the order of the group.

Now consider a second example, taking G to be a non-abelian simple group, i.e. it has no normal subgroups besides the trivial ones of the identity and the group G itself. In this case the centre of G is just the identity element, so that, So that, in this case, So now we find out what was meant by "small" in the title; if the order of Aut(G) is greater than the order of G we say that the automorphism group is large, and if it is smaller than the order of G then we say that it is small.

Robert showed us some properties of the totient function, which are really useful and can all be found in the wikipedia article, before describing his work with Bray. He told us about Kourovka notebooks, which contain open problems in group theory, where it was in volume 15, question 43 by Deaconescu whether, might be true for all finite groups and whether equality might be attained only for cyclic groups. Together with Bray he found a simple group for which these properties didn't hold. For what it's worth, the group is the twelve-fold cover of , which is a simple group of order How did they do this? Well Robert said he picked up his copy of the Atlas of Finite Groups (online atlas) and when he got to page three he found the counterexample he needed using the formulae he told us in the talk, as well as the properties of the Euler totient function, and hey presto! They also began to wonder just how small can these small (by which I mean the ratio of the orders of Aut(G) to G) automorphism groups be, and they discovered that they can be arbitrarily small.

So there you go. A very nice pedagogical talk, which perhaps felt like the beginning of two talks, and a lesson in the art of proactive mathematics.


Mark LaFlamme said...

Hi, Mr. Cook. I wish I could pass meaningful comments on your latest blog, but my lack of training would quickly be exposed. My name is Mark LaFlamme. I'm a crime reporter and columnist in Lewiston, Maine. Clearly, I have no business poking around sites dedicated to quantum physics. However, I've been fascinated with the field for several years now and it's a fascination that's slow to pass.
Recently, I've been searching for a credible physicist or scholar to take a look at my novel "The Pink Room," which was published last month. Briefly, the world's leading physicist attempts to use the science of string theory to bring his daughter back from the dead. Government agents and a bestselling novelist race to find out if he was succesful. Look me up if you're interested. mark@marklaflamme.com


P.P. Cook said...

Dear Mark,

Thanks a lot for your invite to read your novel, and permit me to offer my hearty congratulations on its publication.

I'm certainly intrigued and would like to read it, but it doesn't seem possible to get a copy from Amazon in the UK. However I notice that I can order, as can anyone else similarly intrigued, copies from your site:


I particularly like the blurb from the page:

"Your fascination with the science will be rivaled only by fear. And few things are more fearful than terrors draped in pink."

I am familiar with the first feeling, but have yet to encounter the second...

Thanks for bringing it to my attention. And I'll let you know what I think when I'm done.

Best wishes,

Atom said...

Has anyone ever heard of a new theory called "The theory of stationary space? It is a simple and novel arrangement of string theory that appears to explain what time is and why the universe as described by Einstein functions as it does. Look at the posting "The great mysteries of the universe solved" at Mark-Meek.blogspot.com

Anonymous said...

Such was the case when second life linden labs decided to pull the plug on several banks in the game. Some of these banks offered the system to buy lindens what real life banks would an interest rate. Some people get their secondlife money out of the banks says that Second Life depositors may have US$ 750,000 in real life money. The new rules state that only banks with proof of an applicable government registration statement or financial institution character will be able to operate with cheap linden in the game. Second Life has proven to be a popular place for companies to set up virtual shop where many players can exchange their favorite something with all kinds of linden dollars.

Adi said...

Oes Tsetnoc one of the ways in which we can learn seo besides Mengembalikan Jati Diri Bangsa. By participating in the Oes Tsetnoc or Mengembalikan Jati Diri Bangsa we can improve our seo skills. To find more information about Oest Tsetnoc please visit my Oes Tsetnoc pages. And to find more information about Mengembalikan Jati Diri Bangsa please visit my Mengembalikan Jati Diri Bangsa pages. Thank you So much.

Anonymous said...

Cool blog you got here. It would be great to read something more concerning this theme. Thanx for giving that material.
Joan Stepsen
Technology gadget

Erect Now said...

The exact definition of an automorphism depends on the type of "mathematical object", I've been reading a lot about this same theme and those issues are my passion, in question and what, precisely, constitutes an "isomorphism" of that object. The most general setting in which these words have meaning is an abstract branch of mathematics called category theory.