right-invariant