Hopf 代数上的形式群的对数

本文旨在证明如下结果。对任意交换形式群 ${\frak F}(x\otimes 1,1\otimes x)$，其被视为 $H_\mathbb{Q}$ 上的形式群，则存在一个到形如 ${\frak c}+x\otimes 1+1\otimes x$ 的形式群的同态，其中 $\frak c\in H_\mathbb{Q}{\mathop{\hat{\otimes}} \limits_{R_\mathbb{Q}}}H_\mathbb{Q}$ 满足 $(\id \otimes \epsilon){\frak c}=0= (\epsilon \otimes \id){\frak c}$。