Isometric coactions of compact quantum groups on compact quantum metric spaces

Abstract: We propose a notion of isometric coaction of a compact quantum group on a compact quantum metric space in the framework of Rieffel where the metric structure is given by a Lipnorm. We prove the existence of a quantum isometry group for finite metric quantum spaces, preserving a given state.