x + y < x^ + xy < x'y'.
We say that R is naturally ordered if its additive monoid is naturally ordered. Such a semi¬
ring R is called bounded if the partially ordered set (i?, <) is bounded, in which case we denote
the greatest element by oo. One may easily deduce the following observations.
Lemma 2.2. Let R be a semiring and let a G R. Then the following hold:
(1) /a := {x G i? I X < a} is a subtractive set.
(2) la is a submonoid of {R, 0) if and only if a + a < a.
(3) If R is naturally ordered and bounded, then RR U RR C R if and only if ooaoo < a.
3. Topological semirings
Henceforth, our primary concern are topological algebras, i.e., algebras coming along with
a topology such that each of the operations of the algebra is continuous. We are particularly
interested in their closed congruences, that is, those congruences on a topological algebra A
which are closed in the product space A x A. In this regard, we study topological semirings,
i.e., semirings equipped with a topology so that both the addition and the multiplication are
continuous maps. The study of topological semirings was initiated by Bourne [Bou59; BouGO],
and a list of further references may be found in [Rob98].
As usual, by a topological ring we mean a ring equipped with a topology such that the
additive group is a topological group and the multiplicative semiring is a topological semiring.
Recall that any compact Hausdorff topological monoid that is a group is indeed a topological
group (see, e.g., [AT08]). This readily implies the following fact.
EVERY SIMPLE COMPACT SEMIRING IS FINITE
3
Proposition 3.1. Let R be a compact Hausdorff topological semiring. If R is a ring, then R
is a topological ring.
Let us make a simple remark concerning the Bourne congruence mentioned in Section 2.
Lemma 3.2. Let R be a compact Hausdorff topological semiring. If A a closed ideal of R,
then the congruence ka is closed in R x R.
Proof. Obviously, each of the two mappings \ : R? x ^ Rf, {x, y, a,b) i-A {x + a,y + b) and
tt: R? X ^ Rf, {x, y, a, b) i-A (x, y) is continuous. Since ii is a Hausdorff space, the set
= {ix,x) I X G i?} is closed in ii x ii. As R and hence A are compact, it follows that the
closed subset A“^(A/j) If R? x A^ is compact. Therefore ka = 7r(A“^(Ai^)) is compact and
thus closed in ii x ii. □
Next we observe that for compact semirings the preorder introduced in Section 2 interacts
nicely with the given topology.
Lemma 3.3. If R is a compact Hausdorff topological semiring, then < is closed in R x R.
Proof. The proof proceeds analogously to that of Lemma 3.2. Considering the continuous
mappings given hy (p: R^ ^ R?, (x, y, z) i-A (x + z, y) and tt: R^ ^ Rf, (x, y, z) i-A (x, y), we
conclude that < = 7r{(p~^{Aji)) is closed in ii x ii. □
As one might expect, compactness affects the order structure of a naturally ordered Haus¬
dorff topological semiring (see Corollary 3.5). In fact, this is due to a more general reason as
the following observation reveals.
Proposition 3.4. If (M, -|-, 0) is a naturally ordered commutative compact Hausdorff topo¬
logical monoid, then (M, <) is bounded.
Proof. For a finite subset F C M, denote hy Ap the closure of F' | F' C M finite, F C F'}
in the topological space M. Now A := {Ap | F C M finite} is a collection of closed non¬
empty subsets of M. Since Ap^yp^ C Ap^ D Ap^ for all finite subsets Fq, Fi C S, we conclude
that A has the finite intersection property. Thus, f]Af^ 0 hy compactness of M. Consider
any s G Then s G ^{x} ^md hence x < s for every x G M. This shows that s is the
greatest element of (M, <). □
Corollary 3.5. Any naturally ordered compact Hausdorff topological semiring is bounded.
4. Simple compact semirings
In this section we finally come to simple compact semirings. A Hausdorff topological al¬
gebra A is called simple if every non-constant continuous homomorphism from A into another
Hausdorff topological algebra of the same type is injective. We start with a simple reformu¬
lation of this property.
Proposition 4.1. Let A be a compact Hausdorff topological algebra. Then A is simple if and
only if Aa = {(a, a) | a G A} and Ax A are the only closed congruences on A.
Proof. {=^) Suppose that A is simple. Let 0 be a closed congruence on A. Then there is a
unique algebraic structure on the quotient set A/0 = {[a]^ | a G A} such that the quotient map
p: A ^ A/9, a i—>■ [aj^ becomes a homomorphism. We endow A/6 with the corresponding
quotient topology, i.e., the final topology generated by p. Since A is a compact Hausdorff
space and 6 is closed in A x A, the quotient space A/0 is a Hausdorff space (see [Bou66, §10.4,
4
FRIEDRICH MARTIN SCHNEIDER AND JENS ZUMBRAGEL
Prop. 8]). It follows that > {A/6)^, {ai,... ,an) i->- ([aijg,..., [onje) is a quotient map
for every n > 1 (see [Bou66, §10.2, Cor. 2]). From this and the fact that 99 is a continuous
homomorphism, we infer that any of the operations of the algebra A/9 is continuous. This
shows that A/6 is a Hausdorff topological algebra. Hence, simplicity of A asserts that (p is
injective or constant. Consequently, 0 = or 6 = A A.
Assume that /\a and A x A are the only closed congruences on A. Let B be any
Hausdorff topological algebra of the same type as A and let (^: A ^ H be a non-constant
continuous homomorphism. Since H is a Hausdorff space, is a closed congruence on B. As
(/9 is a continuous homomorphism, keiip = {{x,y) G A x A | ip{x) = (p{y)} = {(p x (p)~^{Ab)
is a closed congruence on A. By assumption, ker(/9 = A^ or ker(^ = A x A. Since ip is
non-constant, it follows that (r, s, t, X, y) := (rxs -|- t, rys + t, rx + t, ry + t, xs + t, ys + t, x + t, y + t).
REFERENCES
5
It is easy to check that the equivalence relation
6*0 ;= {(x, y) € R X R \ Vr, s,t G R: a},
which is easily seen to be a semiring congruence as RR = {0}. Furthermore, pa is closed by
Lemma 3.3. Hence, pa = A^j or pa = R x R due to simplicity of R, which means that a = oo
or a = 0. Therefore, R = {0, oo} is finite.
Henceforth suppose that RR {0}. We argue that oooo = oo. To this end, let a := oooo.
Then a + a < a and ooaoo < a, thus R is a subtractive closed ideal by Lemma 2.2 and
Lemma 3.3. As RR {0}, we have la {0}, and so the claim follows from Corollary 4.3.
Now let us consider the continuous mapping
if-.R^R, X !->■ 00X00.
Evidently, (/^(O) = 0 and we have seen that g^{oo) = oo. Consider any x G R and notice
that (/:>(x) + (/:>(x) < (/?(x) and oo(/7(x)oo < (p{x). Hence, I^p^x) is a subtractive ideal of R due
to Lemma 2.2. Besides, Lemma 3.3 asserts that is closed in R. Therefore Iip(x) = {0}
or ^ip{x) = .R by Corollary 4.3. In particular, the image (p{R) = {0, oo} is finite and thus
discrete. Consequently, 9 := ker is an open equivalence relation on R. By Lemma 4.5, there
exists an open congruence 6*o C 9. Since R/9q is a partition of R into open subsets and R
is compact, it follows that R/9q is finite. Moreover, as any open equivalence relation is also
closed. Proposition 4.1 necessitates that 9o = R x R or 9o = Ar. The first case implies that
0 = 99 ( 0 ) = (p{oo) = 00 and therefore R = {0}, while in the second case R = R/9o, which
shows that R is finite. □
Acknowledgments
The first author is supported by funding of the Excellence Initiative by the German Eederal
and State Governments. The second author has been funded by the Irish Research Gouncil
under grant no. ELEVATEPD/2013/82.
References
[Anz43l Hirotada Anzai. “On compact topological rings”. In: Proc. Imp. Acad. Tokyo 19
(1943), pp. 613-615.
[AT08] Alexander Arhangehskii and Mikhail Tkachenko. Topological groups and related
structures. Vol. 1. Atlantis Studies in Mathematics. Atlantis Press, Paris; World
Scientific Publishing Go. Pte. Ltd., Hackensack, NJ, 2008, pp. xiv+781.
6
REFERENCES
[Bou51] Samuel Bourne. “The Jacobson radical of a semiring”. In: Proc. Nat. Acad. Sci. U.
S. A. 37 (1951), pp. 163-170.
[Bou59] Samuel Bourne. “On compact semirings”. In; Froc. Japan Acad. 35 (1959), pp. 332-
334.
[Bou60] Samuel Bourne. “On locally compact halfrings”. In: Proc. Japan Acad. 36 (1960),
pp. 192-195.
[Bou66] Nicolas Bourbaki. Elements of mathematics. General topology. Part 1. Hermann,
Paris; Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont.,
1966, pp. vii-|-437.
[Kap47] Irving Kaplansky. “Topological rings”. In: Amer. J. Math. 69 (1947), pp. 153-183.
[Rob98] Desmond A. Robbie. “Compact semirings which are multiplicatively simple”. In:
Proceedings of the 13th Summer Conference on General Topology and its Applica¬
tions (Mexico City, 1998). Vol. 23. Summer. 1998, 293-307 (2000).
[SZ15] Friedrich M. Schneider and Jens Zumbragel. “Profinite algebras and affine bounded¬
ness”. Preprint, arXiv; 1506.00212. 2015.
[Zum08] Jens Zumbragel. “Classification of finite congruence-simple semirings with zero”.
In: J. Algebra Appl. 7.3 (2008), pp. 363-377.
F. M. Schneider, Institute of Algebra, TU Dresden, 01062 Dresden, Germany
J. Zumbragel, LACAL IC, EPFL, 1015 Lausanne, Switzerland