Skip to main content

Full text of "Every simple compact semiring is finite"

See other formats


arXiv: 1509.01133v2 [math.RA] 23 Sep 2015 


EVERY SIMPLE COMPACT SEMIRING IS FINITE 


FRIEDRICH MARTIN SCHNEIDER AND JENS ZUMBRAGEL 

Abstract. A Hausdorff topological semiring is called simple if every non-zero continuous 
homomorphism into another Hausdorff topological semiring is injective. Classical work by 
Anzai and Kaplansky implies that any simple compact ring is finite. We generalize this result 
by proving that every simple compact semiring is finite, i.e., every infinite compact semiring 
admits a proper non-trivial quotient. 


1. Introduction 

In this note we study simple Hausdorff topological semirings, i.e., those where every non¬ 
zero continuous homomorphism into another Hausdorff topological semiring is injective. A 
compact Hausdorff topological semiring is simple if and only if its only closed congruences 
are the trivial ones. The structure of simple compact rings is well understood: a classical 
result due to Kaplansky [Kap47] states that every simple compact Hausdorff topological ring 
is finite and thus - by the Wedderburn-Artin theorem - isomorphic to a matrix ring M„(F) 
over some finite field F. In particular, it follows that any compact field is finite. We note that 
Kaplansky’s result may as well be deduced from earlier work of Anzai [Anz43], who proved 
that every compact Hausdorff topological ring with non-trivial multiplication is disconnected 
and that moreover every compact Hausdorff topological ring without left (or right) total zero 
divisors is profinite, i.e., representable as a projective limit of finite discrete rings. Of course, 
a generalization of the mentioned results by Anzai cannot be expected for general compact 
semirings: in fact, there are numerous examples of non-zero connected compact semirings with 
multiplicative unit, which in particular cannot be profinite. However, in the present paper, we 
extend Kaplansky’s result and show that any simple compact Hausdorff topological semiring 
is finite (Theorem 4.6). Hence, the classification of finite simple semirings applies, which has 
been established in [Zum08]. 


2. Semirings 

In this section we briefly recall several elementary concepts concerning semirings. For a 
start let us fix some general terminology. We assume the reader to be familiar with classical 
algebraic structures or algebras, such as semigroups, monoids, groups, and rings, as well 
as the related concepts of subalgebras, homomorphisms, and product algebras. If A is any 
algebra, then a congruence on A is an equivalence relation on A constituting a subalgebra of 
the product algebra A x A. 

Let i? be a semiring, i.e., an algebra {R,+,-,0) satisfying the following conditions: 

— (i?, -b, 0) is a commutative monoid and {R, •) is a semigroup, 

— x-{ii + z) = x- y + x- z and {x + y) ■ z = x ■ z + y ■ z for all x,y, z € R, 

— 0'X = x- 0 = 0for every x G R. 

Date: 24th September 2015. 

1 




2 


FRIEDRICH MARTIN SCHNEIDER AND JENS ZUMBRAGEL 


A subsemiring of i? is a subset A C R such that A is a submonoid of the additive monoid 
of R and a subsemigroup of the multiplicative semigroup of R. Similarly, a homomorphism 
from R into another semiring S' is a map h: R ^ S such that h is both a homomorphism 
from the additive monoid of R to that of S and from the multiplicative semigroup of R to 
that of S. Clearly, an equivalence relation 0 on i? is a congruence on R if and only if 0 is a 
congruence on the additive monoid of R and the multiplicative semigroup of R. As usual, an 
ideal of ii is a submonoid A of the additive monoid of R such that RA U AR C A. Moreover, 
a subset A C i? is called subtractive if the following holds: 

Vx G i?Va G A; x + a G A x G A. 

Subtractive ideals are closely related to the following congruences due to Bourne [Bou51], as 
the subsequent basic lemma reveals. 

Lemma 2.1 ([Bou51]). Let R be a semiring and let A he an ideal of R. Then 

KA'-= {{x,y) & Ryi R\ 3a, b ^ A: x + a = y + b} 

is a congruence on R. Furthermore, A is subtractive if and only if A = [0]^^. 

Let us turn our attention towards naturally ordered semirings. To this end, let (M,+,0) 
be a commutative monoid. Notice that the relation given by 

x<y 3z £ M: x + z = y {x,y G M) 

is a preorder, i.e., < is reflexive and transitive. We say that M is naturally ordered if the 
preorder < is anti-symmetric, which means that (M, <) is a partially ordered set with least 
element 0. Now let i? be a semiring and consider the preorder < defined as above with regard 
to the additive monoid of R. It is straightforward to check that 

Vx, x',y,y' G R: x < x', y <y' => 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 <p is injective. □ 

Note that a Hausdorff topological ring R is simple if and only if {0} and R are the only 
closed ideals of R. We recall the following classical result due to Kaplansky [Kap47]. 

Theorem 4.2 ([Kap47]). Every simple compact Hausdorff topological ring is finite. 

We remark that one may deduce Kaplansky’s result from the fact that any compact Haus¬ 
dorff topological ring with non-trivial multiplication is disconnected, which was proven earlier 
by Anzai [Anz43]. Even though there are many examples of non-trivial connected compact 
Hausdorff topological semirings, it is natural to ask whether Theorem 4.2 extends to semi¬ 
rings. We provide an affirmative answer to this question in Theorem 4.6, which constitutes 
the main result of the present note. 

As a first step, we give the following necessary condition for a compact Hausdorff topo¬ 
logical semiring to be simple, which follows immediately from Lemma 2.1, Lemma 3.2, and 
Proposition 4.1. 

Corollary 4.3. If R is a simple compact Hausdorff topological semiring, then {0} and R are 
the only closed subtractive ideals of R. 

The next result provides a key observation towards the desired Theorem 4.6. 

Proposition 4.4. If R is a simple compact Hausdorff topological semiring, then R is a finite 
ring or a naturally ordered semiring. 

Proof. It is easy to check that the equivalence relation 6 '■= {{x,y) G R x R \ x < y, y < x} 
is a congruence on R. Furthermore, Lemma 3.3 implies that 6 is closed in R x R. As R is 
simple. Proposition 4.1 asserts that 9 = A/j or 9 = R x R. In the first case, R is naturally 
ordered. In the second case, (x, 0) G 0 and hence 0 G i? -|- x for all x G i?, which means 
that the additive monoid of i? is a group. Consequently, ii is a ring and therefore i? is a 
topological ring by Proposition 3.1, which is finite according to Theorem 4.2. □ 

The previous result reduces the task of showing that all simple compact semirings are finite 
to studying naturally ordered ones. As an additional preparatory step we state the following 
result, which could also be proven in a more general context, cf. [SZ15, Thm. 4.4, Proof]. 

Lemma 4.5. Let R be a compact Hausdorff topological semiring. If 9 is an open equivalence 
relation on R, then there exists an open congruence 9 q on R such that 9o C 9. 

Proof. Consider the continuous map 4*: R^ ^ R^ defined by 

<I>(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: <h(r, s, t, x, y) G 6^} 

is a congruence on R contained in 6, where we regard as a subset of R^ in the obvious way. 
We argue that 9o is open in i? x i?. To see this, let {x,y) G Oq- Then x {(x,y)}) C 0^. 

As R^ is compact and 6^ is open in R^, there is an open subset U C Rx R such that (x, y) G U 
and X U) C 0^. Thus, (x,y) GU C9q. This proves that 9q is open in i? x i?. □ 

Now everything is prepared to prove the aforementioned main result. 

Theorem 4.6. Every simple compact Hausdorff topological semiring is finite. 

Proof. Let i? be a simple compact Hausdorff topological semiring. By Proposition 4.4, we 
may assume that R is naturally ordered and thus bounded due to Corollary 3.5. 

We first treat the case where RR = {0}. Let a G R and consider the equivalence relation 

Pa ■= {(x, y)GRxR\x = y or x, y > 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