Finite quantum groups and quantum permutation groups

Abstract: We give examples of finite quantum permutation groups which arise from the twisting construction or as bicrossed products associated to exact factorizations in finite groups. We also give examples of finite quantum groups which are not quantum permutation groups: one such example occurs as a split abelian extension associated to the exact factorization $\mathbb S_4 = \mathbb Z_4 \mathbb S_3$ and has dimension 24. We show that, in fact, this is the smallest possible dimension that a non quantum permutation group can have.