SLIDE 6 . . .
4.
. . . .
Interpolating products
We define quantum subgroups of G ∗ H by imposing new relations:
. G ×
× H: ab∗x = xab∗, a∗bx = xa∗b, , ,
. G ×
× H: ax∗y = x∗ya, axy ∗ = xy ∗a, , ,
. G ×0 H := G ×
× H ∩ G × × H (i.e. by all four together)
. G ×2k H:
a1x1 · · · akxk = x1a1 · · · xkak, ( )⊗k, where a, b, a1, . . . , ak ∈ {uij} and x, y, x1, . . . , xk ∈ {vij}. Theorem [G., Weber]: For l a divisor of k, we have G ∗ H ⊃ G × × H ⊃ ⊃ G × × H ⊃ G ×0 H ⊃ G ×2k H ⊃ G ×2l H ⊃ G ×2 H = G × H, The last three inclusions are strict if and only if the degree of reflection
- f both G and H is different from one.