Abstract:Let $K/k$ be a pro-$p$-extension over a number field $k$ whose Galois group is finitely generated and $k_0\subseteq k_1\subseteq\cdots\subseteq k_n\subseteq\cdots$ an ascending sequence of intermediate fields of $K/k$ such that $k_n/k$ is normal, $[k_n:k]<\infty$ and $\bigcup_{n\ge 0} k_n=K$. We will show by using representation theory of finite groups that the non-$p$-part $h_n(p')$ of the class number of $k_n$ converges $p$-adically as $n\rightarrow\infty$, and the limit is independent to the choice of $k_n$'s. Also, in the case where $K/k$ is the cyclotomic $\mathbb{Z}_p$-extension over an abelian number field $k$, we will take an analytic approach and obtain certain enigmatic relationships between the $p$-adic limits of vaious arithmetic invariants along $K/k$, namely, the class number, the ratio of $p$-adic regulator and the square root of the discriminant, and the order of the algebraic $K_2$-group of the ring of integers.

On the $p$-divisibility of even $K$-groups of the ring of integers of a cyclotomic field

On even $K$-groups over $p$-adic Lie extensions of global function fields

On the structure of even $K$-groups of rings of algebraic integers

On a bijection between a finite group to a non-cyclic group with divisibility of element orders

Comparing direct limit and inverse limit of even $K$-groups in multiple $\mathbb{Z}_p$-extensions

On the structure of the Bloch--Kato Selmer groups of modular forms over anticyclotomic $\mathbf{Z}_p$-towers

On $p$-groups with a maximal elementary abelian normal subgroup of rank $k$

The finitude of tamely ramified pro-$p$ extensions of number fields with cyclic $p$-class groups

On the Solution Set of Additive and Multiplicative Congruences Modulo Primes

Finite p-Irregular Subgroups of PGL(2,k)

Functional degrees and arithmetic applications II: The Group-Theoretic Prime Ax-Katz Theorem

Reflection theorems and the p-Sylow subgroup of K2 OF for a number field F

On the $p$-adic limit of class numbers along a pro-$p$-extension

Strange divisibility in groups and rings

Exact bounds for even vanishing of $K_* (\mathbb{Z}/p^n)$

Comparing direct limit and inverse limit of even $K$-groups in non-commutative $p$-adic Lie extensions

The first level of $\mathbb{Z}_p$-extensions and compatibility of heuristics

Explicit $K_2$ of some quotient rings of $\mathbb{Z}[G]$, $G$ an elementary abelian $p$-group

Separability of Schur rings over abelian groups of odd order

The integral Hodge polygon for $p$-divisible groups with endomorphism structure