M0(G)-boundaries are M(G)-boundaries

Let M(G) denote the convolution algebra of finite regular complex-valued Borel measures on a locally compact abelian group G, and let M₀(G) be the ideal consisting of those measures whose Fourier-Stieltjes transforms vanish at infinity. Then there is a natural inclusion of the maximal ideal space Δ₀ of M₀(G) in the maximal ideal space of M(G). The main result states that any subset of Δ₀ which is a boundary for M₀(G) is a boundary for M(G). An immediate corollary is that the ?ilov boundary of M₀(G) is dense in the ?ilov boundary of M(G).