# nLab topological ring

### Context

#### Topology

topology

algebraic topology

## Examples

#### Higher algebra

higher algebra

universal algebra

# Contents

## Definition

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

a topological space $R$ equipped with the structure of a ring on its underlying set, such that addition and multiplication are continuous functions. Of course this makes $R$ a uniform space.

A topological field is a topological ring $K$ whose underlying ring is in fact a field and such that reciprocation $(-)^{-1}: K \setminus \{0\} \to K \setminus \{0\}$ is continuous. This latter condition is the same as demanding that the subspace topology on $K \setminus \{0\}$ induced by the embedding $K \setminus \{0\} \hookrightarrow K$ coincide with the subspace topology induced by the embedding $K \setminus \{0\} \to K \times K: x \mapsto (x, x^{-1})$. More at topological field.

###### Remark

In a topological ring, the closure of $\{0\}$ is an ideal. It follows that for a topological field $F$, either $0$ is a closed point (so that $F$ is $T_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 $R$ is a topological ring $S$ together with a topological ring map $R \to S$ that makes $S$ an $R$-algebra at the underlying set level (a topological associative algebra).

## Examples

Revised on August 19, 2015 15:01:00 by Todd Trimble (67.81.95.215)