假设 K 是局部紧致的。令 G 为有限维 n 中的李群。
(a) 设 ϕ 为 G 的 etale 自同态,且核有限。令 μ 为 G 的左哈尔测度。则 ϕ 是正确的,并且
ϕ(μ)=α⋅μ∣ϕ(G)whereα=moddetL(ϕ)Card(Kerϕ). (应用命题55。)
(b) 假设 G 是紧的。令 ϕ 为 G 的 étale 自同态。则 Ker ϕ 是有限的,ϕ(G) 是 G 中的有限指标且
Card(G/ϕ(G))Card(Kerϕ)=moddetL(ϕ). (使用 (a) 至变换
μ(G)。) (c) 假设 G 是紧致且可交换的。令
r∈Z 使得 K 中的
r.1=0 且令
ϕ 为 G 的自同态
x↦xr。则
Card(G/ϕ(G))Card(Kerϕ)=(modr.1)n. (观察到
L(ϕ) 是比率 r 除以 § 2 的位似,命题 7 的推论。)