nLab
topological ring

Context

Topology

topology (point-set topology, point-free topology)

see also differential topology, algebraic topology, functional analysis and topological homotopy theory

Introduction

Basic concepts

Universal constructions

Extra stuff, structure, properties

Examples

Basic statements

Theorems

Analysis Theorems

topological homotopy theory

Higher algebra

Contents

Definition

A topological ring is a ring internal to Top, a ring object in Top:

a topological space RR equipped with the structure of a ring on its underlying set, such that addition ++ and multiplication \cdot are continuous functions.

Remarks:

Remark

In a topological ring, the closure of {0}\{0\} is an ideal. It follows that for a topological field FF, either 00 is a closed point (so that FF is T 1T_1 and therefore completely regular Hausdorff, by standard arguments in the theory of uniform spaces), or is a codiscrete space.

A topological algebra over a topological ring RR is a topological ring SS together with a topological ring map RSR \to S that makes SS an RR-algebra at the underlying set level (a topological associative algebra).

Examples

References

Lecture notes include

See also