# Free algebra over infinite alphabet

Is it possible to work with a free algebra over an infinite alphabet ? Or to define an Infinite ring of **non-commutative** polynomials ?
I need one of these structures to work with the quasi shuffle product.

add a comment