Classical orthogonal matrix group

Classical orthogonal matrix groups are a particular class of easy orthogonal quantum groups. There is also a corresponding notion of classical unitary matrix group.

Definition

An orthogonal easy quantum group $G\cong (C(G),u)$ with associated partition category $\Cscr\subseteq \Pscr$ is said to be group case if $\crosspart\in\Cscr$, i.e., if $\Cscr$ contains the category of all pair partitions.