Abstract harmonic analysis Characters and Pontryagin duality Example
Self-dual group
Builds on Locally compact abelian groupCharacter of an abelian groupIntegers modulo np-adic numberCircle group
Example
A locally compact abelian group is self-dual if it is isomorphic, as a topological group, to its Pontryagin dual .
- The real line is self-dual. For let . Each is a continuous character, and . Every continuous character of has this form, and is a homeomorphism onto with the compact-open topology.
- The group of integers modulo n is self-dual. For let . This is well defined, it is a character, and is an injective homomorphism. A character is determined by , which is an -th root of unity, so all characters arise.
- The p-adic numbers are self-dual. Here , where is the -adic fractional part, is a character, and is an isomorphism .
- Finite products of self-dual groups are self-dual, since the dual of a finite product is the product of the duals. So is self-dual, and every finite abelian group is self-dual, being a product of cyclic groups.
Non-example: the circle group is not self-dual. Its dual is , via , and is countable and discrete, while is uncountable. Likewise is not self-dual.
Reading path
To understand this page from the ground up, read these 10 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Binary operation definition
- Character of an abelian group concept
- Group concept
- Integers modulo n concept
- Locally compact abelian group concept
- p-adic number concept
- Commutativity definition
- Abelian group definition
- Circle group object
- Self-dual group example
Further reading
About this page
| Tag | V7K1SXPGQY |
|---|---|
| URI | m2://V7K1SXPGQY |
| Kind | example |
| Writing | W0 stub |
| MSC | 43A40, 43A70 |
| Illustrates | Pontryagin dual |
| Uses | Locally compact abelian group, Character of an abelian group, Integers modulo n, p-adic number, Circle group |
| Changed | 3 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.