Proposition 9

Tag 09JK, permanent. Cite it as [Bourbaki, Tag 09JK].

Integration, chapter VIII, § 3. Convolution of measures on groups

— For convolution, $\mathscr{M}^1(X)$ is a left module over $\mathscr{M}^1(G)$ , while $\mathscr{M}(X)$ and $\mathscr{C}'(X)$ are left modules over $\mathscr{C}'(G)$ . This follows from Prop. 8, and from §1, Props. 1, 3 and the Cor. of Prop. 5.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Proposition 3, § 4

Cites

Prop. 8