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
Free orthogonal quantum group of size is a compact matrix quantum group
, where