2d7bf88a8dd1d37e.tex
1: \begin{abstract}
2: Let $\Omega=\{1,2,\ldots,n\}$ where  $n \ge 2$. 
3: The {\em shape} of an ordered  set partition 
4: $P=(P_1,\ldots, P_k)$ of $\Omega$ is the integer
5: partition $\lambda=(\lambda_1,\ldots,\lambda_k)$
6: defined by $\lambda_i = |P_i|$. 
7: Let $G$ be a group  of permutations acting on $\Omega$. For a fixed
8: partition $\lambda$ of $n$, we say that $G$ is {\em $\lambda$-transitive}
9: if $G$ has only one orbit when acting on partitions $P$ of shape $\la$.
10: A corresponding definition can also be given when $G$ is just a set.
11: For example, if $\lambda=(n-t,1,\ldots,1)$, then a $\lambda$-transitive
12: group is the same as a $t$-transitive permutation group and if
13: $\lambda=(n-t,t)$, then we recover the $t$-homogeneous permutation
14: groups.
15: 
16: In this paper, we use the character theory of the symmetric group $S_n$ 
17: to establish some structural results regarding $\lambda$-transitive
18: groups and sets.  In particular, we are able to generalize a theorem
19: of Livingstone and Wagner~\cite{livwag} about $t$-homogeneous groups.
20: We survey the relevant examples coming from groups. While it is
21: known that a finite group of permutations can be at most 5-transitive
22: unless it contains the alternating group,
23: we show that it is possible to construct
24: a non-trivial $t$-transitive set of permutations for each positive integer 
25: $t$.   We also show how these ideas lead to a split basis for the
26: association scheme of the symmetric group.
27: \end{abstract}
28: