Structure of finitely generated commutative alternative algebras and special Moufang loops

It is proved that the commutator ideal of the multiplication algebra of a free commutative alternative algebra of rank $n$ is nilpotent of index $n-1$. As a corollary to this fact, the Bruck theorem for special commutative Moufang loops is derived.