Definition 3

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

Integration, chapter VII, § 1. Construction of a Haar measure

The function $\Delta_G$ on $G$ is called the modulus (or modular function) of $G$ . If $\Delta_G = 1$ , the group $G$ is said to be unimodular.

One can also say that $\mu$ is relatively right-invariant with multiplier $\Delta_G$ . Thus $\Delta_G$ is a continuous representation of $G$ in $\mathbf{R}_+^*$ (No. 1, Prop. 1).

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

Cited by

Nothing.

Cites

No. 1, Prop. 1