This article has multiple issues. Please help improve it or discuss these issues on the talk page . (Learn how and when to remove these messages) This article relies largely or entirely on a single source . Please help improve this article by introducing citations to additional sources. Find sources:  "Power-bounded element"  –  news · newspapers · books · scholar · JSTOR (March 2025) This article includes a list of general references, but it lacks sufficient corresponding inline citations . Please help to improve this article by introducing more precise citations.(March 2025) ( Learn how and when to remove this message ) ( Learn how and when to remove this message )

A power-bounded element is an element of a topological ring whose powers are bounded. These elements are used in the theory of adic spaces.

Contents

• Definition
• Examples
• Literature
• References

Definition

Let ${\displaystyle A}$ be a topological ring. A subset ${\displaystyle T\subset A}$ is called bounded, if, for every neighbourhood ${\displaystyle U}$ of zero, there exists an open neighbourhood ${\displaystyle V}$ of zero such that ${\displaystyle T\cdot V:=\{t\cdot v\mid t\in T,v\in V\}\subset U}$ holds. An element ${\displaystyle a\in A}$ is called power-bounded, if the set ${\displaystyle \{a^{n}\mid n\in \mathbb {N} \}}$ is bounded. ^[1]

Examples

• An element ${\displaystyle x\in \mathbb {R} }$ is power-bounded if and only if ${\displaystyle |x|\leq 1}$ hold.
• More generally, if ${\displaystyle A}$ is a topological commutative ring whose topology is induced by an absolute value, then an element ${\displaystyle x\in A}$ is power-bounded if and only if ${\displaystyle |x|\leq 1}$ holds. If the absolute value is non-Archimedean, the power-bounded elements form a subring, denoted by ${\displaystyle A^{\circ }}$. This follows from the ultrametric inequality.
• The ring of power-bounded elements in ${\displaystyle \mathbb {Q} _{p}}$ is ${\displaystyle \mathbb {Q} _{p}^{\circ }=\mathbb {Z} _{p}}$.
• Every topological nilpotent element is power-bounded. ^[2]

Literature

• Morel: Adic spaces

• Wedhorn: Adic spaces

References