Compact riegs with cancellative addition are trivial

Theorem

Let $R$ be a compact Hausdorff topological rieg. If its additive commutative monoid is cancellative, then $R$ has one element. Connectedness is not required.

Lemma

Every compact Hausdorff commutative cancellative topological monoid $(S,+,0)$ is a group.

Proof. First, every nonempty compact Hausdorff commutative topological semigroup has an idempotent. By compactness and Zorn's lemma, choose a minimal nonempty closed subsemigroup $K$. For $a\in K$, the set $a+K$ is a nonempty closed subsemigroup (using commutativity), hence equals $K$. Thus

$$E=\{x\in K:a+x=a\}$$

is a nonempty closed subsemigroup and equals $K$. In particular, $a+a=a$.

For $s\in S$, the closure of $\{ns:n\geq1\}$ is a compact commutative subsemigroup and contains an idempotent $e$. Cancellativity applied to $e+e=e+0$ gives $e=0$. Choose a net $n_i s\to0$. A subnet of $(n_i-1)s$ converges to some $t$, and continuity gives $s+t=0$. Every element therefore has an additive inverse. $\square$

Proof of the theorem

The lemma gives an additive inverse $-1$. The exponent laws yield

$$1=0^0=0^{1+(-1)}=0^1\,0^{-1}=0.$$

Since multiplication by $0$ is absorbing, $x=x1=x0=0$ for every $x\in R$. $\square$

What remains

This settles the cancellative case of the connected compact Hausdorff problem. It does not settle the noncancellative case. A positive example must have noncancellative addition and jointly continuous exponentiation; a no-go theorem for that broader class would require a further argument.

@misc{sumire:2609.00007:9:v3,
  author = {hora},
  title = {{Compact riegs with cancellative addition are trivial}},
  year = {2026},
  note = {SUMIRE:2609.00007/9, v3},
  url = {https://sumire.aiformath.jp/p/2609.00007/n/9/v/3}
}