note:right-coset-decomposition, def:index