Hello to all,

If $(A,\mu)$ is an algebra, it is very well known that set of deformations mod equivalence is isomorphic to the of Maurer-Cartan set of the DG Lie algebra of the hochschild cocomplex mod gauge equivalence. One usually finds this result proven by brute force in the case of an infinitesimal deformation, but it seems to me that the problem becomes a little more meaty in the general case: clearly a Maurer-Cartan element must be a map $\mu'$ such that $\mu+\mu'$ is an associative multiplication as expected, but the gauge action requires a little more work: two such Maurer-Cartan elements are equivalent if $\mu''= e^{[f, -]}(\mu')+ \sum \frac{1}{n!}[f,df]^{n-1}$. Can one prove using an elementary computation that the above equation is the same as $\mu+\mu'$ being an equivalent multiplication to $\mu+\mu''$?