局部紧阿贝尔群

有拓扑空间，若其底拓扑空间是局部紧豪斯多夫空间，则称拓扑空间是局部紧的；若底群的阿贝尔群，则称拓扑群是阿贝尔的。

局部紧阿贝尔群的例子有：

• ${\displaystyle \mathbb {R} ^{n}}$，其中n是正整数，向量加法为群作用。
• 正实数${\displaystyle \mathbb {R} ^{+}}$，乘法为群作用。由指数映射与${\displaystyle (\mathbb {R} ,+)}$同构。
• 任意具有离散拓扑的有限阿贝尔群。由有限生成阿貝爾群的基本定理，所有此种群都是循环群之积。
• 具有离散拓扑的整数${\displaystyle \mathbb {Z} }$，加法为群作用。
• 圆群，对环面记作${\displaystyle \mathbb {T} }$。这是模为1的复数群。${\displaystyle \mathbb {T} }$作为拓扑群同构于商群${\displaystyle \mathbb {R} /\mathbb {Z} }$。
• P进数域${\displaystyle \mathbb {Q} _{p}}$，加法为群作用，具有通常的P进拓扑。

若G的局部紧阿贝尔群，则G的特征是G到圆群${\displaystyle \mathbb {T} }$的连续群同态。G上的特征集可组成局部紧阿贝尔群，称作G的对偶群，记作${\displaystyle {\widehat {G}}}$；其群作用是特征的逐点乘，特征的逆是其复共轭，特征空间的拓扑是紧集上的一致收敛拓扑（即紧致开拓扑，将${\displaystyle {\widehat {G}}}$视作G到${\displaystyle \mathbb {T} }$的所有连续函数空间的子集）。这种拓扑一般来说是不可度量的，但若G是可分局部紧阿贝尔群，则其对偶群可度量。 这类似于线性代数中的对偶空间：正如对域K上的向量空间V，对偶空间是${\displaystyle \mathrm {Hom} (V,K)}$，对偶群${\displaystyle \mathrm {Hom} (G,\mathbb {T} )}$也如此。更抽象地说，它们都是可表函子，分别表为'K、${\displaystyle \mathbb {T} }$。

同构于对偶群的群（作为拓扑群）自对偶。实数与有限循环群是自对偶的，而实数群与对偶群并不自然同构，应视作两个不同的群。

庞特里亚金对偶性断言，函子

${\displaystyle G\mapsto {\hat {G}}}$

在局部紧阿贝尔群范畴（具有连续态射）的对偶范畴与它本身之间诱导出一个等价关系：

${\displaystyle LCA^{op}{\stackrel {\cong }{\longrightarrow }}LCA.}$

Clausen (2017)证明，局部紧阿贝尔群范畴LCA大致可以度量整数和实数之间的差别。更确切地说，局部紧阿贝尔群范畴的代数K-理论谱，以及Z、R的都位于同一个同伦纤维序列中：

${\displaystyle K(\mathbf {Z} )\to K(\mathbf {R} )\to K(LCA).}$

• Clausen, Dustin, , 2017, arXiv:1703.07842v2