Cyclic noncommutative covering projections

The Gelfand - Na\u{i}mark theorem supplies the one to one correspondence between commutative $C^*$-algebras and locally compact Hausdorff spaces. So any noncommutative $C^*$-algebra can be regarded as a generalization of a topological space. Generalizations of several topological invariants can be defined by algebraical methods. This article contains a pure algebraical construction of (noncommutative) covering projections with finite cyclic groups of covering transformations.