---
title: Hemiring-Valued Pseudonormed Rings
url: https://www.emergentmind.com/topics/hemiring-valued-pseudonormed-rings
type: topic
---

# Hemiring-Valued Pseudonormed Rings

Searching arXiv for the cited paper and closely related work to ground the article.
{"query":"id:2508.01471 OR \"Hemiring-valued pseudonormed rings\""}
Hemiring-valued pseudonormed rings are rings equipped with a size function taking values not in $\mathbb{R}_{\ge 0}$ but in an ordered hemiring, so that nonnegativity, definiteness, subadditivity, and submultiplicativity are formulated internally to the hemiring order. In the form developed in “Hemiring-valued pseudonormed rings” [2508.01471], the notion extends the framework of “Magma-valued metric spaces” [2204.06838], generalizes Albert’s theorem on normability of finite-dimensional algebras, and connects normed-ring methods with valuation-theoretic examples. The paper also develops analytic consequences in ordered rings and fields, including a Cauchy Condensation Test for Cauchy complete fields and a ratio test for ring-valued normed groups [2508.01471].

## 1. Ordered hemirings and the definition of pseudonorm

An ordered hemiring is a structure
$$
(H,+,\cdot,0,\le)
$$
such that $(H,+,0,\le)$ is a commutative ordered monoid, $(H,\cdot)$ is a semigroup, multiplication is monotone with respect to nonnegative elements on both sides, multiplication distributes over addition from both sides, and $0$ is absorbing: $0h=h0=0$ for all $h\in H$ [2508.01471]. A hemiring is commutative if its multiplication is commutative. The paper also uses the notion of a strictly ordered hemiring $(H,<)$, meaning an ordered hemiring together with a strict order compatible with addition and with left and right multiplication by positive elements. If $\le$ is total and $(H,<)$ is an ordered hemiring, then $H$ is entire:
$$
ab=0_H \implies a=0_H \text{ or } b=0_H.
$$
This provides the ordered algebraic target in which all norm inequalities are interpreted [2508.01471].

Given a ring $R$ and an ordered hemiring $(H,\le)$, an $H$-pseudonormed ring is a ring $R$ together with a function
$$
\|\cdot\|:R\to H
$$
such that, for all $r,s\in R$,
$$
\|r\|\ge 0_H,\qquad \|r\|=0_H \iff r=0_R,
$$
$$
\|r-s\| \le \|r\| + \|s\|,
$$
$$
\|rs\| \le \|r\|\,\|s\|.
$$
If equality holds multiplicatively for all $r,s$, so that $\|rs\|=\|r\|\|s\|$, then $R$ is called an $H$-normed ring and $\|\cdot\|$ its $H$-norm [2508.01471]. Despite the term “pseudonorm,” the paper imposes the nondegeneracy axiom $\|r\|=0_H\iff r=0_R$, which is typical of a norm; the term “pseudo” reflects that the codomain is a general hemiring rather than necessarily $\mathbb{R}_{\ge 0}$ [2508.01471].

No additional homogeneity axiom is imposed when $R$ is an algebra over a base field or semiring. In the finite-dimensional existence theorem, the pseudonorm on the algebra is instead built by summing the pseudonorms of coordinates in a chosen basis [2508.01471].

## 2. Metric interpretation and relation to classical norms and valuations

An $H$-pseudonorm induces an $H$-valued distance by
$$
d(x,y)=\|x-y\|,
$$
and subadditivity yields the triangle inequality
$$
d(x,z)\le d(x,y)+d(y,z).
$$
This places hemiring-valued pseudonormed rings inside the broader framework of magma-valued metric spaces introduced in [2204.06838], where convergence, Cauchy sequences, and completeness are studied for metrics valued in ordered unital magmas. In that earlier framework, density of the value object is the key hypothesis ensuring uniqueness of limits, the implication “convergent $\Rightarrow$ Cauchy,” and the subsequence criterion for Cauchy convergence [2204.06838].

Classical normed structures appear as special cases. If $(R,\le)$ is an ordered ring and one sets
$$
|x|=\max\{x,-x\},
$$
then $d(x,y)=|x-y|$ gives an $R$-metric space in the generalized sense used in the paper [2508.01471]. With $H=(\mathbb{R}_{\ge 0},+,\cdot,0)$ and the usual order, an $H$-pseudonorm is just an ordinary nonnegative real-valued norm satisfying the triangle inequality and a submultiplicative inequality [2508.01471].

Valuation-theoretic examples are equally central. Let $(G,\cdot,1,<)$ be a totally ordered group, and let $G_0=G\cup\{0\}$ with $0\cdot g=g\cdot 0=0$, $0<g$ for all $g\in G$, addition defined by $\max$, and multiplication given by the group law extended by $0$. Then $(G_0,\max,\cdot)$ is a division semiring, and a valuation
$$
\|\cdot\|:R\to G_0
$$
satisfies
$$
\|xy\|=\|x\|\,\|y\|,\qquad \|x+y\|\le \max\{\|x\|,\|y\|\}.
$$
Thus valuation rings and non-Archimedean normed structures fit exactly into the hemiring-valued norm framework [2508.01471].

A related but distinct line of work appears in “Pseudo-absolute values: foundations” [2411.03905]. There, a pseudo-absolute value on a field is a map to $[0,+\infty]$ satisfying subadditivity and a “safe” multiplicativity condition outside the exceptional pair $\{0,+\infty\}$. The paper explicitly observes that this framework naturally adapts to a hemiring-valued pseudonormed ring viewpoint, with finiteness subring and kernel ideal defined from the values of the pseudonorm [2411.03905].

## 3. Finite-dimensional algebras and the generalization of Albert’s theorem

A central theorem states that if $\le$ is a total ordering on $H$, $(H,+,\cdot,0,<)$ is a totally ordered commutative hemiring, and $F$ is a field equipped with an $H$-pseudonorm $|\cdot|:F\to H$, then every finite-dimensional $F$-algebra $R$ admits the structure of an $H$-pseudonormed ring [2508.01471]. This is the paper’s generalization of Albert’s classical result that every finite-dimensional algebra can be normed.

The construction is explicit. If $(e_i)_{i=1}^n$ is an $F$-basis of $R$ and
$$
a=\sum_{i=1}^n a_i e_i,
$$
the pseudonorm is defined by
$$
\|a\|:=\sum_{i=1}^n |a_i|.
$$
Nonnegativity, definiteness, and subadditivity are immediate from the corresponding properties on $F$ [2508.01471]. To control multiplication, one writes
$$
e_i e_j=\sum_{k=1}^n \gamma_{ijk}e_k,\qquad \gamma_{ijk}\in F,
$$
and sets
$$
M=\max\{|\gamma_{ijk}|\}.
$$
Then for
$$
a=\sum a_i e_i,\qquad b=\sum b_j e_j,
$$
one obtains
$$
\|ab\|
=\sum_{k=1}^n\left|\sum_{i,j} a_i b_j \gamma_{ijk}\right|
\le nM \sum_{i,j} |a_i|\,|b_j|
= nM\,\|a\|\,\|b\|.
$$
After rescaling by the factor $nM$, namely
$$
\|a\|'=nM\,\|a\|,
$$
one has
$$
\|ab\|'\le \|a\|'\,\|b\|',
$$
so $R$ becomes an $H$-pseudonormed ring [2508.01471].

The role of the hemiring hypotheses is explicit in the construction. Commutativity of $H$ is used to control the product $nM\,\|a\|\,\|b\|$ and to scale uniformly, while total order is used to make maxima and comparison estimates meaningful. No completeness assumption is needed [2508.01471]. When $H=(\mathbb{R}_{\ge 0},+,\cdot,0)$ with the usual order and $|\cdot|$ is the ordinary absolute value, the argument recovers the standard proof that every finite-dimensional algebra over a normed field is pseudonormable, extending Albert’s theorem for real algebras to the hemiring-valued setting [2508.01471].

## 4. Dense and shrinkable hemirings

The analysis developed around hemiring-valued pseudonorms depends on additional order-theoretic hypotheses on the value object. An ordered hemiring $H$ is called shrinkable if, for every positive $\alpha,M\in H$, there exist positive elements $\alpha_l,\alpha_r\in H$ such that
$$
M\alpha_r<\alpha,\qquad \alpha_l M<\alpha.
$$
An ordered hemiring $(H,+,\cdot,<)$ is called dense if for every $\alpha>0$ there exist $\beta>0,\gamma>0$ with
$$
\beta+\gamma<\alpha.
$$
Intuitively, density is an $\epsilon$-splitting property, while shrinkability allows positive elements to be made small on either side under multiplication [2508.01471].

A basic structural result is that every dense ordered division semiring is shrinkable. If $D$ is an ordered division semiring, $\alpha>0$, and $M>0$, density provides $\beta>0$ with $\beta<\alpha$, and one sets
$$
\alpha_r=M^{-1}\beta,\qquad \alpha_l=\beta M^{-1}.
$$
Then
$$
M\alpha_r=\beta<\alpha,\qquad \alpha_lM=\beta<\alpha,
$$
which is precisely shrinkability [2508.01471].

The paper records several examples. If $(G,\cdot)$ is a totally ordered group and $G_0=G\cup\{0\}$ is equipped with addition by $\max$ and multiplication by the group operation extended with $0$ absorbing, then $(G_0,\max,\cdot)$ is a division semiring and is shrinkable. DeMarr division rings are shrinkable. If $F$ is an ordered field, then its nonnegative cone $F^{\ge 0}$ is a totally ordered semifield, and for any $\epsilon>0$ one can take $\beta=\gamma=\tfrac{2\epsilon}{5}$ to see density, hence shrinkability. For a prime $p$, the ring $\mathbb{Z}[1/p]$ is dense and shrinkable [2508.01471].

By contrast, the natural-number hemiring $(\mathbb{N},+,\cdot)$ with its usual order is not dense, since there are no positive $\beta,\gamma$ with $\beta+\gamma<1$, and it is not a division semiring. Consequently it is not shrinkable under the paper’s definition [2508.01471]. This addresses a common misconception: the theory is not designed for arbitrary ordered hemirings, and the main limit and series results do not hold uniformly without density and, in several places, shrinkability.

## 5. Completeness, condensation, and ratio tests

The analytic part of the theory is developed in ordered rings and ring-valued normed groups. For an ordered ring $(R,<)$ with total order, a sequence $(x_n)$ is Cauchy if for every $\epsilon>0$ there exists $N$ such that for all $m,n\ge N$,
$$
|x_n-x_m|<\epsilon,
$$
where
$$
|x|=\max\{x,-x\}.
$$
The ring is Cauchy complete if every Cauchy sequence converges in $R$ [2508.01471].

Under density and Cauchy completeness, the paper proves a full Cauchy Condensation Test. If $(R,<)$ is a dense and Cauchy complete ordered ring with $1$ and $(x_n)$ is positive and decreasing, then
$$
\sum_{i=1}^{+\infty} x_i \text{ converges in } R
\quad\Longleftrightarrow\quad
\sum_{i=0}^{+\infty} 2^i x_{2^i} \text{ converges in } R.
$$
The same statement holds for totally ordered, Cauchy complete fields [2508.01471]. The proof follows the classical argument but uses density to split $\epsilon$ as $\beta+\gamma$ and completeness to pass from Cauchy control to convergence. The paper also proves a squeeze test for series in the same setting: if $x_n\le y_n\le z_n$ eventually and both $\sum x_n$ and $\sum z_n$ converge, then $\sum y_n$ converges [2508.01471].

In the fourth section, the paper generalizes Bernoulli’s inequality to ordered semirings. For elements $x_i$ with $x_i\ge 0$ and $1+x_i\ge 0$,
$$
\prod_{i=1}^n (1+x_i)\ge 1+\sum_{i=1}^n x_i,
$$
and in particular, for $x\ge 0$,
$$
(1+x)^n\ge 1+nx.
$$
This estimate is then used in a ratio test for ring-valued normed groups [2508.01471].

The ratio test is stated as follows. Let $(R,<)$ be an ordered commutative ring with $1$ that is dense and shrinkable. Suppose $r\in R$ satisfies that $1-r$ is invertible and $(r^n)\to 0$ in $R$. Let $(G,+)$ be a Cauchy complete $R$-normed abelian group and let $(x_n)_{n=0}^{+\infty}\subset G$ satisfy
$$
\|x_{n+1}\|\le r\,\|x_n\|\qquad\text{for all }n.
$$
Then the series
$$
\sum_{n=0}^{+\infty} x_n
$$
converges in $G$ [2508.01471]. The paper notes both the classical case, with $R=\mathbb{R}$ and $G$ a Banach space, and a non-Archimedean ordered-field case with $F=\widetilde{\mathbb{Z}(X)}$ as illustrative examples [2508.01471].

## 6. Context, scope, and limitations

Hemiring-valued pseudonormed rings were already introduced in “Magma-valued metric spaces” [2204.06838], where they were presented as a generalization of pseudonormed rings and valuation domains. That paper also established the surrounding convergence theory for magma-valued metrics, including the density-based implications needed later for normed groups, rings, and series. The 2025 paper develops this line further by organizing the algebraic theory around ordered hemirings, proving the finite-dimensional algebra theorem, and adding shrinkability, condensation, and ratio-test results [2508.01471].

The framework sits naturally beside the theory of pseudo-absolute values on fields. In [2411.03905], one views $[0,+\infty]$ as a commutative hemiring with an additional top element $+\infty$, and a pseudo-absolute value is a map
$$
p:K\to [0,+\infty]
$$
satisfying
$$
p(0)=0,\qquad p(1)=1,
$$
subadditivity, and multiplicativity outside the excluded pair $\{0,+\infty\}$. For such a map one defines
$$
A_p=\{a\in A: p(a)\neq +\infty\},\qquad
m_p=\{a\in A_p: p(a)=0\},
$$
and in the field case $A_p$ is a valuation ring, $m_p$ is its maximal ideal, and $p$ induces an ordinary absolute value on the residue field [2411.03905]. The paper explicitly identifies this as a hemiring viewpoint.

Several limitations are explicit in the literature. The key analysis-type results for hemiring-valued normed rings and groups require density in order to split $\epsilon$ and derive Cauchy control, and require shrinkability in several multiplicative limit arguments. For the multiplication-of-limits theorem on sequences, the value ring is also assumed to be a join-semilattice. Completeness is needed whenever Cauchy estimates are converted into actual convergence [2508.01471]. Likewise, the pseudo-absolute-value framework develops local and global analytic spaces primarily at the level of compact Hausdorff topological spaces; a full analytic structure sheaf on the general spaces is not attached beyond the model approach, and extending the field-based results to general rings requires additional algebraic hypotheses [2411.03905].

Within these constraints, hemiring-valued pseudonormed rings provide a single formalism encompassing ordinary norms, valuation norms with ultrametric behavior, and value structures such as totally ordered semifields and idempotent-style semirings arising from ordered groups. The resulting theory is algebraic in definition but analytic in consequence: it supports metric notions, convergence and completeness, extension of pseudonorms to finite-dimensional algebras, and classical tests for infinite series in settings that go beyond the real numbers [2508.01471].

Source: https://www.emergentmind.com/topics/hemiring-valued-pseudonormed-rings