2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/61321The aim of this paper is to prove the following result. For any commutative formal group ${\frak F}(x\otimes 1,1\otimes x),$ which is considered as a formal group over $H_\mathbb{Q},$ there exists a homomorphism to a formal group of the form ${\frak c}+x\otimes 1+1\otimes x,$ where $\frak c\in H_\mathbb{Q}{\mathop{\hat{\otimes}} \limits_{R_\mathbb{Q}}}H_\mathbb{Q}$ such that $(\id \otimes ε){\frak c}=0= (ε\otimes \id){\frak c}.$5 pagesAlgebraic Topologytext