We show that the linear span of all stable Grothendieck
polynomials is a bialgebra which is a $K$-theoretic
generalization of the ring of symmetric functions.
We apply this bialgebra to obtain a Littlewood-Richardson
rule for the $K$-theory of Grassmann varieties, as well as
a formula for the structure sheaf of a quiver variety.