In several mathematical areas, including harmonic analysis, topology, and number theory, locally compact abelian groups are abelian groups which have a particularly convenient topology on them. For example, the group of integers (equipped with the discrete topology), or the real numbers or the circle (both with their usual topology) are locally compact abelian groups.
Definition and examples A topological group is called locally compact if the underlying topological space is locally compact and Hausdorff; the topological group is called abelian if the underlying group is abelian. Examples of locally compact abelian groups include:
R n {\displaystyle \mathbb {R} ^{n}} for n a positive integer, with vector addition as group operation. The positive real numbers R + {\displaystyle \mathbb {R} ^{+}} with multiplication as operation. This group is isomorphic to ( R , + ) {\displaystyle (\mathbb {R} ,+)} by the exponential map. Any finite abelian group, with the discrete topology. By the structure theorem for finite abelian groups, all such groups are products of cyclic groups. The integers Z {\displaystyle \mathbb {Z} } under addition, again with the discrete topology. The circle group, denoted T {\displaystyle \mathbb {T} } for torus. This is the group of complex numbers of modulus 1. T {\displaystyle \mathbb {T} } is isomorphic as a topological group to the quotient group R / Z {\displaystyle \mathbb {R} /\mathbb {Z} } . The field Q p {\displaystyle \mathbb {Q} _{p}} of p-adic numbers under addition, with the usual p-adic topology.
The dual group If G {\displaystyle G} is a locally compact abelian group, a character of G {\displaystyle G} is a continuous group homomorphism from G {\displaystyle G} with values in the circle group T {\displaystyle \mathbb {T} } . The set of all characters on G {\displaystyle G} can be made into a locally compact abelian group, called the dual group of G {\displaystyle G} and denoted G ^ {\displaystyle {\widehat {G}}} . The group operation on the dual group is given by pointwise multiplication of characters, the inverse of a character is its complex conjugate and the topology on the space of characters is that of uniform convergence on compact sets (i.e., the compact-open topology, viewing G ^ {\displaystyle {\widehat {G}}} as a subset of the space of all continuous functions from G {\displaystyle G} to T {\displaystyle \mathbb {T} } .). This topology is in general not metrizable. However, if the group G {\displaystyle G} is a separable locally compact abelian group, then the dual group is metrizable. This is analogous to the dual space in linear algebra: just as for a vector space V {\displaystyle V} over a field K {\displaystyle K} , the dual space is H o m ( V , K ) {\displaystyle \mathrm {Hom} (V,K)} , so too is the dual group H o m ( G , T ) {\displaystyle \mathrm {Hom} (G,\mathbb {T} )} . More abstractly, these are both examples of representable functors, being represented respectively by K {\displaystyle K} and T {\displaystyle \mathbb {T} } . A group that is isomorphic (as topological groups) to its dual group is called self-dual. While the reals and finite cyclic groups are self-dual, the group and the dual group are not naturally isomorphic, and should be thought of as two different groups.
… excerpt ends here. Continue reading the full article.
