A Godement-type decomposition for positive definite functions

In 1947, in a celebrated paper, R. Godement proved that every continuous positive definite function on a locally compact group G is the sum of two continuous positive definite functions on G, one almost periodic and the other with the square of its modulus having null mean. Here we extend this result by replacing G by a closed normal subgroup of G.