I have found it necessary to define the following property:


Consider a finite set $X$ and a group $H$ of permutations of $X$. Suppose for every normal subgroup $K$ of $H$ that $K$ acts faithfully on every $K$-orbit.


The property I have is that $G$ acts on $X$, not necessarily faithfully, inducing a permutation group $H$ as above.


Is there a standard name for the property possessed by $H$?


Certainly primitive permutation groups are examples for $H$, but so are fixed-point-free permutation groups for instance. On the other hand, $S\_n \wr S\_k$ acting on $nk$ points in the usual imprimitive way is not an example.


I think 'quasi-primitive' is already taken, and means 'every normal subgroup is transitive'. This is strictly stronger than the property I am talking about.



Name for a certain kind of 'weakly primitive' permutation group
So this question is not left unanswered, I should add that I decided to call them 'subprimitive'. The context is a construction of some examples of hereditarily just infinite profinite groups, which has now appeared in my paper 'Inverse system characterizations of the (hereditarily) just infinite property in profinite groups' in Bulletin of the LMS: <http://blms.oxfordjournals.org/content/early/2011/10/27/blms.bdr099.abstract>


