Math 2.0

Topological groups, Lie groups Definition

Unimodular group

Builds on Locally compact groupHaar measureModular function

Definition

Let GG be a locally compact group with modular function Δ ⁣:G→(0,∞)\Delta \colon G \to (0, \infty). The group GG is unimodular if Δ(g)=1\Delta(g) = 1 for every g∈Gg \in G. Equivalently, every left Haar measure μ\mu on GG is also right-invariant: μ(Ag)=μ(A)\mu(Ag) = \mu(A) for every g∈Gg \in G and every Borel set AA.

Remarks

Example: every compact group KK is unimodular. The modular function is a continuous homomorphism, so Δ(K)\Delta(K) is a compact subgroup of (0,∞)(0, \infty). The only compact subgroup of (0,∞)(0, \infty) is {1}\set{1}, so Δ≡1\Delta \equiv 1.

Non-example: the group of maps x↦ax+bx \mapsto ax + b with a>0a > 0 and b∈ℝb \in \R has modular function Δ(a,b)=1/a\Delta(a, b) = 1/a, which is not identically 11.

Every abelian group is unimodular, since Ag=gAAg = gA for all gg. Every discrete group is unimodular, since counting measure is invariant on both sides. On a unimodular group, ∫Gf(x−1) dμ(x)=∫Gf(x) dμ(x)\int_G f(x^{-1}) \, d\mu(x) = \int_G f(x) \, d\mu(x) for every integrable ff.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Haar measure concept
  2. Locally compact group concept
  3. Modular function concept
  4. Unimodular group definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Haar_measure
About this page
TagXPCTJTBSQ0
URIm2://XPCTJTBSQ0
Kinddefinition
WritingW0 stub
MSC22D05, 28C10
DefinesUnimodular group
UsesLocally compact group, Haar measure, Modular function

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.