MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Dear all,

According to the notation of Wilson's book "The finite simple groups" (, page 9) $ A_{.} B $ denotes an unspecified extension. Now, I want to know what does "unspecified extension of $A$ and $B$" mean?

share|cite|improve this question
First you must type your question correctly. Also read the notatio 1.6 in page 24 of the book! – majid arezoomand Jan 6 '13 at 6:57
@ majid arezoomand i am so sorry, but actually you have repeated my question! – sebastian Jan 6 '13 at 7:25
I assume "unspecified" here just means "arbitrary". But as Derek Holt points out the notation used is now fairly standard if the dot is placed correctly, including the convention about which group is the quotient but allowing for the extension to be nonsplit. – Jim Humphreys Jan 6 '13 at 23:49
up vote 7 down vote accepted

I don't have the book at hand, but I think the usual meaning of $G = A.B$ for groups $A$ and $B$ is that $G$ has a normal subgroup isomorphic to $A$ such that the quotient $G/A$ is isomorphic to $B$. Some authors only write non-split extensions in this way, but if the book states that $A.B$ denotes an "unspecified" extension, this means that it may be split or not.

share|cite|improve this answer
The ATLAS convention, which I think is followed by Wilson, is to specify an extension that is known to be nonsplit by $A^\cdot B$ (with a raised dot, which I am not managing to reproduce accurately here). Also $A:B$ denotes a split extension, and $A.B$ one which may or may not be split. – Derek Holt Jan 6 '13 at 14:41
thank you so much! – sebastian Jan 7 '13 at 2:35

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.