Free orthogonal quantum groups were first defined in [Wang95]. It is a one-parameter series of quantum groups forming a free counterpart to the orthogonal groups
Definition
Free orthogonal quantum group of size is a compact matrix quantum group , where