By using the interplay between the Eulerian idempotent and the Dynkin idempotent, we construct explicitly a particular symmetric solution $(F,G)$ of the first equation of the Kashiwara-Vergne conjecture$$x+y-log\left({\mathrm{e}}^y{\mathrm{e}}^x\right)=(1-{\mathrm{e}}^{-\mathrm{ad}x})F(x,y)+({\mathrm{e}}^{\mathrm{ad}y}-1)G(x,y).$$Then, we explicit all the solutions of the equation in the completion of the free Lie algebra generated by two indeterminates $x$ and $y$ thanks to the kernel of the Dynkin idempotent.

We define polynomial $H$-identities for comodule algebras over a Hopf algebra $H$ and establish general properties for the corresponding $T$-ideals. In the case $H$ is a Taft algebra or the Hopf algebra $E\left(n\right)$, we exhibit a finite set of polynomial $H$-identities which distinguish the Galois objects over $H$ up to isomorphism.