Abstract. We give a complete classification of right coideal subalgebras that contain all grouplike elements for the quantum group U + q (so 2n+1 ), provided that q is not a root of 1. If q has a finite multiplicative order t > 4, this classification remains valid for homogeneous right coideal subalgebras of the Frobenius-Lusztig kernel u + q (so 2n+1 ). In particular, the total number of right coideal subalgebras that contain the coradical equals (2n)!!, the order of the Weyl group defined by the root system of type B n .Keywords. Coideal subalgebra, Hopf algebra, PBW-basis
IntroductionIn the present paper, we continue the classification of right coideal subalgebras in quantised enveloping algebras begun in [13]. We offer a complete classification of right coideal subalgebras that contain all grouplike elements for the multiparameter version of the quantum group U + q (so 2n+1 ), provided that the main parameter q is not a root of 1. If q has a finite multiplicative order t > 4, this classification remains valid for homogeneous right coideal subalgebras of the multiparameter version of the Frobenius-Lusztig kernel u + q (so 2n+1 ). The main result of the paper is the establishment of a bijection between all sequences (θ 1 , . . . , θ n ) such that 0 ≤ θ k ≤ 2n − 2k + 1, 1 ≤ k ≤ n, and the set of all (homogeneous if q t = 1, t > 4) right coideal subalgebras of U + q (so 2n+1 ), q t = 1 (respectively of u + q (so 2n+1 )) that contain the coradical. (Recall that in a pointed Hopf algebra, the grouplike elements span the coradical.) In particular, there are (2n)!! different right coideal subalgebras that contain the coradical. Interestingly, this number coincides with the order of the Weyl group for the root system of type B n . In [13], we proved that the number of different right coideal subalgebras that contain the coradical of U + q (sl n+1 ) equals (n + 1)!, the order of the Weyl group for the root system of type A n . Recently, B. Pogorelsky [16] proved that the quantum Borel algebra U + q (g) for the simple Lie algebra of type G 2 has 12 different right coideal subalgebras over the coradical. This Conjecture. Let g be a simple Lie algebra defined by a finite root system R. The number of different right coideal subalgebras that contain the coradical in a quantum Borel algebra U + q (g) equals the order of the Weyl group defined by the root system R, provided that q is not a root of 1. 1In Section 2, following [13], we introduce the main concepts of the paper and we formulate known results that are useful for classification. In the third section, we prove auxiliary relations in a multiparameter version of U + q (so 2n+1 ). In the fourth section, we note that the Weyl basisin place of the Lie operation is a set of PBW-generators for U + q (so 2n+1 ) and u + q (so 2n+1 ). By means of the shuffle representation, in Theorem 4.3, we prove an explicit formula for the coproduct of these PBW-generators, which is the key result for further considerations:where τ i = 1 with only one exception, τ n = q, while g ki are su...