Proper Laurent monomial property of acyclic cluster algebras

Abstract

Using the unfolding method, following the idea of [4] and [5], we prove that all acyclic skew-symmetrizable cluster algebras have proper Laurent monomial property. As corollaries we prove that cluster monomials are linearly independent and they form an atomic base in case the cluster algebra is of finite type.