On universal norms in \(\mathbb{Z}_ p\)-extensions (Q1805354)

The author axiomatizes certain properties of the \(p\)-completion of the group of \(p\)-units of a number field \(F\), relating to: 1) existence of a norm map, 2) Galois descent, 3) rank on \(\mathbb{Z}_p\)-extensions, and 4) Galois descent modulo torsion. He considers the functor of universal norms associated to a \(\mathbb{Z}_p\)- extension and computes its rank modulo torsion over the Iwasawa algebra. The level of generality allows application to obtain results for units of \textit{L. V. Kuz'min} [Math. USSR, Izv. 6, No. 2, 263-321 (1973); translation from Izv. Akad. Nauk SSSR, Ser. Mat. 36, 267-327 (1972; Zbl 0231.12013)]\ and \textit{E. de Shalit} [Algebraic number theory in honor of K. Iwasawa, Adv. Stud. Pure Math. 17, 83-88 (1989; Zbl 0731.11060)]\ and extends also to the \(p\)-completion of \(K_3\). Several complements conclude the article, including a connection with the \(p\)-adic conjecture of Gross [cf. \textit{J.-F. Jaulent}, Journées arithmétiques Luminy, Astérisque 198-200, 187-208 (1991; Zbl 0756.11033)].