**Question 1**: Given a co-commutative bialgebra, does there exist a sort of Grothendieck group type construction? Presumably this should take the form of a functor from co-commutative bialgebras to hopf algebras?

My motivation: the finite particle vectors in the symmetric Fock space $\mathbb{C}\Omega\oplus \bigoplus_{n=1}^\infty H^{\vee n}$ have the natural structure of a graded bialgebra. Just set

- $m(f^{\otimes n},g^{\otimes m})=Sym(f^{\otimes n}\otimes g^{\otimes m})$,
- $\eta(\lambda)=\lambda\Omega$,
- $\Delta(f^{\otimes n})=\sum_{k=0}^n{ {n\choose k} f^{\otimes k}\otimes f^{\otimes n-k}}$, where $f^{\otimes 0}:=\Omega$, and
- $\epsilon(\cdot)=\langle \Omega,\cdot\rangle$.

but it doesn't seem to have an antipode.

**Question 2**: Can we make a quantum group containing this bialgebra?

Actually it occurs to me that it has probably been looked at, since a finite dimensional $H$ gives us an algebra isomorphic to $\mathbb{C}[x_1,\ldots,x_{\mathrm{dim} H}]$? I should say also that I'm neither an algebraist, nor a quantum groupie, so I'd appreciate any references/constructions readable by a non-expert!