We show that a regular locally compact quantum group $\mathbb{G}$ is discrete if and only if $\mathcal{L}^{\infty}(\mathbb{G})$ contains non-zero compact operators on $\mathcal{L}^{2}(\mathbb{G})$. As a corollary we classify all discrete quantum groups among regular locally compact quantum groups $\mathbb{G}$ where $\mathcal{L}^{1}(\mathbb{G})$ has the Radon--Nikodym property.

In this short note we introduce a notion called ``quantum injectivity'' of locally compact quantum groups, and prove that it is equivalent to amenability of the dual. Particularly, this provides a new characterization of amenability of locally compact groups.

Recently, Beattie, Bulacu ,and Torrecillas proved Radford's formula for the fourth power of the antipode for a co-Frobenius Hopf algebra. In this note, we show that this formula can be proved for any regular multiplier Hopf algebra with integrals (algebraic quantum groups). This, of course, not only includes the case of a finite-dimensional Hopf algebra, but also that of any Hopf algebra with integrals (co-Frobenius Hopf algebras). Moreover, it turns out that the proof in this more general situation, in fact, follows in a few lines from well-known formulas obtained earlier in the theory of regular multiplier Hopf algebras with integrals. We discuss these formulas and their importance in this theory. We also mention their generalizations, in particular to the (in a certain sense) more general theory of locally compact quantum groups. Doing so, and also because the proof of the main result itself is very short, the present note becomes largely of an expository nature.