Hopf algebras with enough quotients

A family of algebra maps $H\to A_i$ whose common domain is a Hopf algebra is said to be jointly inner faithful if it does not factor simultaneously through a proper Hopf quotient of $H$. We show that tensor and free products of jointly inner faithful maps of Hopf algebras are again jointly inner faithful, generalizing a number of results in the literature on torus generation of compact quantum groups.