For dynamical systems defined by a covering map of a compact Hausdorff space and the corresponding transfer operator, the associated crossed product C * -algebras C(X) α,ᏸ N introduced by Exel and Vershik are considered. An important property for homeomorphism dynamical systems is topological freeness. It can be extended in a natural way to in general non-invertible dynamical systems generated by covering maps. In this article, it is shown that the following four properties are equivalent: the dynamical system generated by a covering map is topologically free; the canonical embedding of C(X) into C(X) α,ᏸ N is a maximal abelian C * -subalgebra of C(X) α,ᏸ N; any nontrivial two sided ideal of C(X) α,ᏸ N has non-zero intersection with the embedded copy of C(X); a certain natural representation of C(X) α,ᏸ N is faithful. This result is a generalization to non-invertible dynamics of the corresponding results for crossed product C * -algebras of homeomorphism dynamical systems.Keywords Crossed product algebra · Covering map · Topologically free dynamical system · Maximal abelian subalgebra · Ideals Mathematics Subject Classification (2000) 47L65 · 46L55 · 47L40 · 54H20 · 37B05 · 54H15