1
$\begingroup$

Dear all,

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

Improve this question
$\endgroup$
3
  • $\begingroup$ First you must type your question correctly. Also read the notatio 1.6 in page 24 of the book! $\endgroup$
    – majid arezoomand
    Commented Jan 6, 2013 at 6:57
  • $\begingroup$ @ majid arezoomand i am so sorry, but actually you have repeated my question! $\endgroup$
    – sebastian
    Commented Jan 6, 2013 at 7:25
  • $\begingroup$ 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. $\endgroup$
    – Jim Humphreys
    Commented Jan 6, 2013 at 23:49

1 Answer 1

Reset to default
8
$\begingroup$

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.

Improve this answer
$\endgroup$
1
  • 9
    $\begingroup$ 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. $\endgroup$
    – Derek Holt
    Commented Jan 6, 2013 at 14:41

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .