1: \begin{abstract}

2: We construct a non-commutative, non-cocommutative, graded bialgebra $\mathbf{\Pi}$

3: with a basis indexed by the permutations in all finite symmetric groups.

4: Unlike the formally similar Malvenuto-Poirier-Reutenauer Hopf algebra,

5: this bialgebra does not have finite graded dimension.

6: After giving formulas for the product and coproduct,

7: we show that there is a natural morphism from $\mathbf{\Pi}$ to the algebra of quasi-symmetric functions,

8: under which the image of a permutation is its associated Stanley symmetric function.

9: As an application, we use this morphism to derive some new enumerative identities.

10: We also describe analogues of $\mathbf{\Pi}$ for the other classical types.

11: In these cases, the relevant objects are module coalgebras rather than bialgebras,

12: but there are again natural morphisms to the quasi-symmetric functions,

13: under which the image of a signed permutation

14: is the corresponding Stanley symmetric function of type B, C, or D.

15: \end{abstract}

16: