1: \begin{abstract}\normalsize

2: Let $F$ be a field, $\Gamma$ a finite group, and $\map(\Gamma,F)$ the Hopf algebra of all set-theoretic maps $\Gamma\rightarrow F$.

3: If $E$ is a finite field extension of $F$ and $\Gamma$ is its Galois group, the extension is Galois if and

4: only if the canonical map $E\otimes_FE\rightarrow E\otimes_F\map(\Gamma,F)$ resulting from viewing $E$ as a $\map(\Gamma,F)$-comodule

5: is an isomorphism. Similarly, a finite covering space is regular if and only if the analogous canonical map is an isomorphism. In this paper

6: we extend this point of view to actions of compact quantum groups on unital $C^*$-algebras. We prove that such an action is $C^*$-free

7: if and only if the canonical map (obtained using the underlying Hopf algebra of the compact quantum group) is an isomorphism.

8: In particular, we are able to express the freeness of a compact Hausdorff topological group action on a compact Hausdorff topological space in 

9: algebraic terms. As an application, we  show that a field of $C^*$-free actions yields a global $C^*$-free action.

10: \end{abstract}