A new characterisation of principal actions

The notion of a principal group action is generalized to the framework of n oncommutative geometry through consideration of a certain bimodule morphism . This definition is both completely general and immediately applicable. In deed we prove that the dual coaction associated to a Kac system is principa l in our generalized sense and consider some simple non-commutative example s. (C) 2000 Academic Press.