Sobolev spaces of vector-valued functions on compact groups | Synapse