# $R(h_{so_{6}})$ is a a free module over $R(so_{6})$

We need to prove that $\Z[x,y,z,x^{-1},y^{-1},z^{-1}]$ is a free module over $\Z[x+y+z+x^{-1}+y^{-1}+z^{-1},x^{\frac{1}{2}}y^{\frac{1}{2}}z^{\frac{1}{2}}+x^{\frac{1}{2}}y^{-\frac{1}{2}}z^{-\frac{1}{2}}+x^{-\frac{1}{2}}y^{-\frac{1}{2}}z^{\frac{1}{2}}+x^{-\frac{1}{2}}y^{\frac{1}{2}}z^{-\frac{1}{2}}, x^{-\frac{1}{2}}y^{-\frac{1}{2}}z^{-\frac{1}{2}}+x^{\frac{1}{2}}y^{-\frac{1}{2}}z^{\frac{1}{2}}+x^{-\frac{1}{2}}y^{\frac{1}{2}}z^{\frac{1}{2}}+x^{\frac{1}{2}}y^{\frac{1}{2}}z^{-\frac{1}{2}}]$.

We shall prove that $\Z[x,y,z,x^{-1},y^{-1},z^{-1}]\cong \Z[x,y,z,w]/(xyzw-1)$ as well as $\Z[x+y+z+x^{-1}+y^{-1}+z^{-1},x^{\frac{1}{2}}y^{\frac{1}{2}}z^{\frac{1}{2}}+x^{\frac{1}{2}}y^{-\frac{1}{2}}z^{-\frac{1}{2}}+x^{-\frac{1}{2}}y^{-\frac{1}{2}}z^{\frac{1}{2}}+x^{-\frac{1}{2}}y^{\frac{1}{2}}z^{-\frac{1}{2}}, x^{-\frac{1}{2}}y^{-\frac{1}{2}}z^{-\frac{1}{2}}+x^{\frac{1}{2}}y^{-\frac{1}{2}}z^{\frac{1}{2}}+x^{-\frac{1}{2}}y^{\frac{1}{2}}z^{\frac{1}{2}}+x^{\frac{1}{2}}y^{\frac{1}{2}}z^{-\frac{1}{2}}]$ is isomorphic to $\Z[x+y+z+w,xy+yz+zx+xw+wy+wz,xyz+yzw+wzx+yzw]/(xyzw-1)$.

The first proof $\Z[x,y,z,x^{-1},y^{-1},z^{-1}]\cong \Z[x,y,z,w]/(xyzw-1)$ is easy since $w=x^{-1}y^{-1}z^{-1}$ implies $x^{-1},y^{-1},z^{-1}\in \Z[x,y,z,w]/(xyzw-1)$.

The second proof $\Z[x+y+z+x^{-1}+y^{-1}+z^{-1},x^{\frac{1}{2}}y^{\frac{1}{2}}z^{\frac{1}{2}}+x^{\frac{1}{2}}y^{-\frac{1}{2}}z^{-\frac{1}{2}}+x^{-\frac{1}{2}}y^{-\frac{1}{2}}z^{\frac{1}{2}}+x^{-\frac{1}{2}}y^{\frac{1}{2}}z^{-\frac{1}{2}}, x^{-\frac{1}{2}}y^{-\frac{1}{2}}z^{-\frac{1}{2}}+x^{\frac{1}{2}}y^{-\frac{1}{2}}z^{\frac{1}{2}}+x^{-\frac{1}{2}}y^{\frac{1}{2}}z^{\frac{1}{2}}+x^{\frac{1}{2}}y^{\frac{1}{2}}z^{-\frac{1}{2}}]$ is isomorphic to $\Z[x+y+z+w,xy+yz+zx+xw+wy+wz,xyz+yzw+wzx+yzw]/(xyzw-1)$ is also straightforward.