This is an old revision of the document!
By a free symmetric quantum group one means any element of the one-parameter sequence of compact matrix quantum groups defined by Wang in [Wang98] under the name quantum permutation groups. Each is a free counterpart of the symmetric group of the corresponding dimension .
Given , the free symmetric quantum group (or quantum permuation group on symbols) is the compact matrix quantum group where organizes the generators of the (unital) universal C*-algebra
where is the unit of the universal -algebra and where is the transpose of .
In other words, the entries of the fundamental corpresentation matrix of are projections, i.e., self-adjoint idempotents, and the entries of each row or column form a partition of unity, i.e., mutually orthogonal projections summing up (where the orthogonality is to mean and for all as can be shown). Those relations are commonly summarized by saying that is a magic unitary.
The fundamental corepresentation matrix of is in particular orthogonal. Hence, is a compact quantum supergroup of the free orthogonal quantum group .