In this paper, we define a new coproduct on the space of decorated planar rooted forests to
equip it with a weighted infinitesimal unitary bialgebraic structure. We introduce the concept of
-cocycle infinitesimal
bialgebras of weight
and then prove that the space of decorated planar rooted forests
, together with a set of
grafting operations
, is the
free
-cocycle infinitesimal
unitary bialgebra of weight
on a set
,
involving a weighted version of a Hochschild 1-cocycle condition. As an application,
we equip a free cocycle infinitesimal unitary bialgebraic structure on the
undecorated planar rooted forests, which is the object studied in the well-known
(noncommutative) Connes–Kreimer Hopf algebra.