Decidability of the isomorphism problem for stationary AF-algebras and the associated ordered simple dimension groups
Decidability of the isomorphism problem for stationary AF-algebras and the associated ordered simple dimension groups
The notion of isomorphism on stable AF-C^{\ast}-algebras is considered in this paper in the case when the corresponding Bratteli diagram is stationary, i.e. is associated with a single square primitive incidence matrix. A C^{\ast}-isomorphism induces an equivalence relation on these matrices, called C^{\ast}-equivalence. We show that the associated isomorphism equivalence …