量子群的表示环

在经典群的量子化坐标环中，当形变参数 q 为超越数时，给出了余交换元素子代数的生成元与关系。这是量子化群的表示理论与其经典对应完全类似这一熟知事实的环论表述。利用 FRT-双代数（由 Faddeev、Reshetikhin 与 Takhtadzhyan 定义）到量子化坐标环与单变量多项式环的张量积的的双代数嵌入，显式确定了相应 FRT-双代数中的余交换元素子代数。同时对伴随余不变元子代数进行了平行分析，得到了类似结果与类似证明。基本的伴随余不变元被解释为相应量子化泛包络代数的表示的量子迹。