A New Characterisation of Principal Actions

The notion of a principal group action is generalized to the framework of non-commutative geometry through consideration of a certain bimodule morphism. This definition is both completely general and immediately applicable. Indeed we prove that the dual coaction associated to a Kac system is principal in our generalized sense and consider some simple non-commutative examples.