Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

What are some interesting corollaries and consequences of the Pontryagin Duality theorem? My question can be taken as broadly as you'd like, even up to including any philosophy introduced specifically by the theorem. But of course examples and specific consequences would be most appreciated.

share|cite|improve this question
Can you give some context, e.g., are you taking a course or reading a book on this topic, are you learning about Pontryagin duality with a particular goal in mind, are you preparing to teach a course where this will be a central concept? – KCd Oct 11 '12 at 1:03

One corollary is that every finite abelian group is a character group, namely $G$ is (isomorphic to) the character group of its dual $\widehat G$. Furthermore, for many statements involving elements of $G$ and its character group $\widehat G$ there is a dual statement by switching the roles of $G$ and $\widehat G$. For example, take the trivial statement $$\forall \chi \in \widehat G \left( \chi = 1 \Leftrightarrow \forall g \in G: \chi(g) = 1 \right).$$ Apply this statement with $\widehat G$ instead of $G$ to get $$\forall f \in \widehat{\widehat{G}} \left( f = 1 \Leftrightarrow \forall \chi \in \widehat G: f(\chi) = 1 \right),$$ which, by Pontryagin duality, is equivalent to $$\forall g \in G\left( g = 1 \Leftrightarrow \forall \chi \in \widehat G: \chi(g) = 1\right),$$ so you have shown $\bigcap_{\chi \in \widehat G} \ker \chi = 1$.

Another example: Take the statement $$\forall g \in G \left( g \in G^m \Leftrightarrow \forall \chi \in \widehat G: (\chi^m = 1 \Rightarrow \chi(g) = 1) \right)$$ which is easy to prove using the result in the first example. By switching the roles of $G$ and $\widehat G$ you obtain the dual statement $$\forall \chi \in \widehat G \left( \chi \in \widehat{G}^m \Leftrightarrow \forall g \in G: (g^m = 1 \Rightarrow \chi(g) = 1 \right).$$

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.