TY - JOUR

T1 - Intransitive cartesian decompositions preserved by innately transitive permutation groups

AU - Praeger, Cheryl

AU - Baddeley, R.W.

AU - Schneider, C.

PY - 2008

Y1 - 2008

N2 - A permutation group is innately transitive if it has a transitiveminimal normal subgroup, which is referred to as a plinth. We study the classof finite, innately transitive permutation groups that can be embedded intowreath products in product action. This investigation is carried out by observingthat such a wreath product preserves a natural Cartesian decompositionof the underlying set. Previously we classified the possible embeddings in thecase where the innately transitive group projects onto a transitive subgroupof the top group. In this article we prove that the transitivity assumption wemade in the previous paper was not too restrictive. Indeed, the image of theprojection into the top group can only be intransitive when the finite simplegroup that is involved in the plinth comes from a small list. Even then, theinnately transitive group can have at most three orbits on an invariant Cartesiandecomposition. A consequence of this result is that if G is an innatelytransitive subgroup of a wreath product in product action, then the naturalprojection of G into the top group has at most two orbits.

AB - A permutation group is innately transitive if it has a transitiveminimal normal subgroup, which is referred to as a plinth. We study the classof finite, innately transitive permutation groups that can be embedded intowreath products in product action. This investigation is carried out by observingthat such a wreath product preserves a natural Cartesian decompositionof the underlying set. Previously we classified the possible embeddings in thecase where the innately transitive group projects onto a transitive subgroupof the top group. In this article we prove that the transitivity assumption wemade in the previous paper was not too restrictive. Indeed, the image of theprojection into the top group can only be intransitive when the finite simplegroup that is involved in the plinth comes from a small list. Even then, theinnately transitive group can have at most three orbits on an invariant Cartesiandecomposition. A consequence of this result is that if G is an innatelytransitive subgroup of a wreath product in product action, then the naturalprojection of G into the top group has at most two orbits.

U2 - 10.1090/S0002-9947-07-04223-7

DO - 10.1090/S0002-9947-07-04223-7

M3 - Article

VL - 360

SP - 734

EP - 764

JO - Transactions of the American Mathematical Society

JF - Transactions of the American Mathematical Society

SN - 0002-9947

IS - 2

ER -