1: \begin{abstract}

2: By a 2-group we mean a groupoid equipped with a weakened group structure. It is called split when it is equivalent to the semidirect product of a discrete 2-group and a one-object 2-group. By a permutation 2-group we mean the 2-group $\SSS ym(\Gg)$ of self-equivalences of a groupoid $\Gg$ and natural isomorphisms between them, with the product given by composition of self-equivalences. These generalize the symmetric groups $\Ssf_n$, $n\geq 1$, obtained when $\Gg$ is a finite discrete groupoid.

3: 

4: After introducing the wreath 2-product $\Ssf_n\wr\wr\ \GG$ of the symmetric group $\Ssf_n$ with an arbitrary 2-group $\GG$, it is shown that for any (finite type) groupoid $\Gg$ the permutation 2-group $\SSS ym(\Gg)$ is equivalent to a product of wreath 2-products of the form $\Ssf_n\wr\wr\ \SSS ym(\Gsf)$ for a group $\Gsf$ thought of as a one-object groupoid. This is next used to compute the homotopy invariants of $\SSS ym(\Gg)$ which classify it up to equivalence. Using a previously shown splitness criterion for strict 2-groups, it is then proved that $\SSS ym(\Gg)$ can be non-split, and that the step from the trivial groupoid to an arbitrary one-object groupoid is the only source of non-splitness. Various examples of permutation 2-groups are explicitly computed, in particular the permutation 2-group of the underlying groupoid of a (finite type) 2-group. It also follows from well known results about the symmetric groups that the permutation 2-group of the groupoid of all finite sets and bijections between them is equivalent to the direct product 2-group $\ZZ_2[1]\times\ZZ_2[0]$, where $\ZZ_2[0]$ and $\ZZ_2[1]$ stand for the group $\ZZ_2$ thought of as a discrete and a one-object 2-group, respectively.

5: \end{abstract}

6: