Giả sử rằng K là compact địa phương. Cho G là một nhóm Lie có số chiều hữu hạn n.
(a) Cho ϕ là một tự đồng cấu étale của G có hạt nhân hữu hạn. Cho μ là một độ đo Haar trái của G. Khi đó ϕ là thực sự và
ϕ(μ)=α⋅μ∣ϕ(G)trong đoˊα=moddetL(ϕ)Card(Kerϕ). (Sử dụng Mệnh đề 55.)
(b) Giả sử rằng G là compact. Cho ϕ là một tự đồng cấu étale của G. Khi đó hạt nhân ϕ là hữu hạn, ϕ(G) có chỉ số hữu hạn trong G và
Card(G/ϕ(G))Card(Kerϕ)=moddetL(ϕ). (Sử dụng (a) để biến đổi
μ(G).) (c) Giả sử rằng G là compact và giao hoán. Cho
r∈Z là sao cho
r.1=0 trong K và cho
ϕ là tự đồng cấu
x↦xr của G. Khi đó
Card(G/ϕ(G))Card(Kerϕ)=(modr.1)n. (Quan sát rằng
L(ϕ) là phép vị tự có tỉ số r theo § 2, Hệ quả của Mệnh đề 7.)