On the Hopf envelope of finite-dimensional bialgebras

Alessandro Ardizzoni, Claudia Menini, Paolo Saracco

The Hopf envelope of a bialgebra is the free Hopf algebra generated by the given bialgebra. Its existence, as well as that of the cofree Hopf algebra, is a well-known fact in Hopf…