Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4665871 | Advances in Mathematics | 2014 | 65 Pages |
Abstract
After introducing the wreath 2-product SnââG of the symmetric group Sn with an arbitrary 2-group G, it is shown that for any (finite type) groupoid G the permutation 2-group Sym(G) is equivalent to a product of wreath 2-products of the form SnââSym(G) for a group G thought of as a one-object groupoid. This is next used to compute the homotopy invariants of Sym(G) which classify it up to equivalence. Using a previously shown splitness criterion for strict 2-groups, it is then proved that Sym(G) 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 Z2[1]ÃZ2[0], where Z2[0] and Z2[1] stand for the group Z2 thought of as a discrete and a one-object 2-group, respectively.
Keywords
Related Topics
Physical Sciences and Engineering
Mathematics
Mathematics (General)
Authors
Josep Elgueta,