Paragroup of Adrian Ocneanu and Kac algebra (Q1919904)

We make precise the definition and prove the fundamental properties of paragroup that \textit{A. Ocneanu} announced in the notes ``A Galois theory for operator algebras'' (1986). Given an irreducible subfactor with depth 2 and finite Jones index of a \(\text{II}_1\) factor, we built a finite-dimensional Kac algebra: This Kac algebra acts on the factor and the fixed point subalgebra of its outer action is the subfactor.