In addition, if B=H is a Hopf algebra with antipodes, then H0 is a Hopf algebra with antipodes S .

• 而且，如果B=H是一个带有对极S的Hopf代数，那么H~0是一个带有对极S~*的Hopf代数。