> < ^ From:

^ Subject:

Dear GAP-Forum,

Mario Pineda Ruelas asked,

Few days ago I have obtained GAP from internet and I have printed the

manual GAP. I find in the references of the manual GAP the next paper:Gordon F. Royle. The transitive groups of degree twelve,

J. Symbolic Computation, pages 255-268,1987.wich I suppose that is incrporated to GAP.

In this paper we can find that Mr. Royle gives a imprimitive group of order

252900 which contain the prime divisor 281(page 265). As you can see this

is imposible because this group is contained in S_12.

I think that the order of this group must be 259200.

You're right. Its A6\wr 2. I think when creating the table this typo crept in.

You could use a 'for' loop in GAP and the command 'AllBlocks' to recreate a

similar list without human interference if you suspect further errors.

?are there another involuntary mistakes in the paper of Mr. Royle

I must admit that I never checked the exact numbers given in the paper, but

used a list derived from Mr. Royles original results instead. To my

knowledge this list is correct (see also below).

I have read Royle's paper and I can assure you that the paper's argumentation

is correct. I have not double checked, however, whether the numbers given in

the tables contain any other typographical mistakes.

I like know if the information contained in the paper of Mr.Royle are the

same that GAP.

Essentially yes. But they were derived from the original data lists without

retyping.

Additionally, for my PhD I constructed the transitive groups of degree up

to 31 from scratch, also constructing the groups of degree up to 15 anew.

There were no discrepancies with GAP's lists. Thus I am *VERY* certain that

these lists as given in GAP are correct.

If you are interested you can find further information on my WWW page

http://www.math.rwth-aachen.de/~ahulpke

Incidentally, this page also contains a link to a joint preprint that lists

all transitive groups of degree up to 15 with some of their properties.

These lists were created without retyping, thus I'm quite confident

about their correctness.

> ?is there anyone in the Forum that can tell me how to obtain from GAP a

> list of imprimitive groups of degree twelve.

Yes.

Starting with version 3.4, patchlevel 3 (released in last december) GAP

contains the transitive groups of degree up to 15. The command

'AllTransitiveGroups(DegreeOperation,12,IsPrimitive,false)' yields a list of

these groups. The manual section 'The Transitive Groups Library' gives

further information in case you want to get subsets with other properties.

Hope this is of help,

Alexander Hulpke

> < [top]