Representation ring of an odd-dimensional special orthogonal group ($R(SO(2m+1))\cong \mathbb{Z}[z_1^{\pm 1},\dots ,z_m^{\pm 1}{]}^{(\mathbb{Z}/2{)}^m⋊S_m}$)

For the block-rotation maximal torus in the special orthogonal group $SO(2m+1)$, the Weyl group acts by permutations and independent inversions of $z_i$. Its invariant Laurent polynomials are the symmetric polynomials in $x_i=z_i+z_i^{-1}$, hence the polynomial ring in their elementary symmetric polynomials $e_1,\dots ,e_m$. Restriction of the group representation ring of a compact group is injective because every group element is conjugate into the torus and characters distinguish virtual representations. For the defining complexified representation $V$, the exterior-power characters satisfy ${\sum }_k{\chi }_{{\Lambda }^{k}V}{t}^k=(1+t){\prod }_i(1+x_{i}t+t^2)$. For $k\le m$, its coefficient is $e_k$ plus an integral linear combination of $e_j$ for $j<k$. Induction puts every $e_k$ in the restriction image, proving equality with the invariant ring and giving polynomial generators $[{\Lambda }^{1}V],\dots ,[{\Lambda }^{m}V]$.