nLab normed ring

Redirected from "normed rings".
Contents

Context

Algebra

Analysis

Contents

Idea

A normed ring is a ring compatibly equipped with a norm on the underlying abelian group.

If this is suitably complete with respect to the norm, then a normed ring is called a Banach ring. A normed ring which is a field is, naturally, called a normed field, and if the norm is multiplicative it is also called a valued field.

The Berkovich spectrum of a normed ring RR is the set of multiplicative seminorms on RR that are bounded by the norm on RR.

Definition

Definition

A normed commutative ring is a commutative ring RR equipped with a function

||:R 0 {\vert -\vert} \;\colon\; R \longrightarrow \mathbb{R}_{\geq 0}

to the non-negative real numbers such that for all f,gRf,g \in R

  1. |f|=0{\vert f \vert} = 0 precisely if f=0f = 0;

  2. |f|=|f|\vert -f\vert = \vert f \vert

  3. |f+g||f|+|g|{\vert f + g \vert} \leq {\vert f \vert}+ {\vert g \vert} (triangle identity)

  4. |fg||f||g|{\vert f \cdot g\vert} \leq {\vert f \vert\cdot {\vert g \vert}}.

(e.g Ozaki, Kashiwagi & Tsuboi 1953)

Remark

One might also define a normed ring to be a commutative monoid internal to the monoidal category NGrpNGrp of normed groups. If the morphisms in NGrpNGrp are taken to be the short group homomorphisms and the projective cross norm is used on the tensor product, then this reproduces the definition above. If (as is often seen) the morphisms are generalized to bounded group homomrophisms, then this generalizes the third clause in def. to

  • there is C >0C \in \mathbb{R}_{\gt 0} such that for all f,gRf,g \in R

    |fg|C|f||g| {\vert f \cdot g\vert} \leq C \cdot {\vert f \vert\cdot {\vert g \vert}}

see e.g. (Bassat-Kremnitzer 13, remark 6.32)

Examples

A normed field is of course in particular a normed ring.

Example

For RR a normed commutative ring, then for each nn \in \mathbb{N} the matrix algebra Mat n(R)Mat_n(R) becomes a normed ring with norm

|A|max 1i,jn(|A i,j|). {\vert A\vert} \coloneqq max_{1 \leq i,j \leq n}({\vert A_{i,j}\vert}) \,.

Notice that even if RR if the norm on RR is multiplicative (is an absolute value) that on Mat n(R)Mat_n(R) is not in general. If RR is a Banach ring, then so is Mat n(R)Mat_n(R).

(e.g. Jarden 11).

algebraic structuregroupringfieldvector spacealgebra
(submultiplicative) normnormed groupnormed ringnormed fieldnormed vector spacenormed algebra
multiplicative norm (absolute value/valuation)valued field
completenesscomplete normed groupBanach ringcomplete fieldBanach vector spaceBanach algebra

References

The notion of normed rings originates with:

Early further discussion:

  • Shigeo Ozaki, Sadao Kashiwagi, Teruo Tsuboi, Note on Normed Rings, Science Reports of the Tokyo Bunrika Daigaku, Section A 4 98/103 (1953) 277-282 [jstor:43700402]

See also:

For more see the references at Banach ring.

Last revised on March 3, 2024 at 09:08:01. See the history of this page for a list of all contributions to it.