2016/07/15 by Gregory R. Maloney, Maloney, Gregory R. · 1 citation
Computer Science · Mathematics · Psychology · #FOS: Mathematics #Group Theory (math.GR) #Mental Health Research Topics #Topological and Geometric Data Analysis #advanced mathematical theories
paper · pdf · doi:10.48550/arxiv.1607.04586
openalex publication_date 2016/07/15 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Let p be a prime. A p-adic functional on a torsion-free abelian group G is a group homomorphism from G to the p-adic integers. The group of all such p-adic functionals is viewed as a p-adic dual group of G, and is studied from the point of view of functional analysis. An analogue of the Hahn--Banach Theorem is proved; this result shows that there are sufficiently many p-adic functionals to be interesting. There is a natural homomorphism from G to its p-adic double dual, and one main result that is proved is that the image of G in this double dual is dense in an appropriate topology. This is used to prove the second main result, which says that the p-adic double dual of G is the same as the pro-p completion of G. The theory of p-adic functionals can then be used to produce a matrix description of G if G has finite rank. This matrix description is related to another matrix description due to Malcev.