[math] \newcommand{\mathds}{\mathbb}[/math]

This article was automatically generated from a tex file and may contain conversion errors. If permitted, you may login and edit this article to improve the conversion.

Prove that the easy quantum groups

[[math]] U_N\subset G\subset U_N^+ [[/math]]

must fall into one of the following two classes:

[[math]] U_N\subset G\subset U_N^{(\infty)} [[/math]]

[[math]] U_N^{(\infty)}\subset G\subset U_N^+ [[/math]]