Equidecomposable magmas

A magma is called equidecomposable when the operation is injective, or, in other words, if $x+y=x'+y'$ implies that $x=x'$ and $y=y'$. A magma is free iff it is equidecomposable and graded, hence the notion of equidecomposability is very related to the notion of freeness although it is not sufficient. We study main properties of such magmas. In particular, an alternative characterization of freeness, which uses a weaker condition, is proved. We show how equidecomposable magmas can be split into two disjoint submagmas, one of which is free. Certain tranformations on finite presentations permit to obtain a reduced form which allows us identify all the finite presented equidecomposable magmas up to isomorphisms.