Iséki spaces of semirings

The aim of this paper is to study Iséki spaces of distinguished classes of ideals of a semiring endowed with a topology. We show that every Iséki space is quasi-compact whenever the semiring is Noetherian. We characterize Iséki spaces for which every non-empty irreducible closed subset has a unique generic point. Furthermore, we provide a sufficient condition for the connectedness of Iséki spaces and show that the strongly connectedness of an Iséki space implies the existence of non-trivial idempotent elements of semirings.


Introduction
Since the introduction of semirings by Vandiver [31], it is natural to compare and extend results from rings to semirings.One may think that semirings can always to be extended to rings, but Vandiver [32] gave examples of semirings which can not be embedded in rings.Moreover, semirings arise naturally when we consider the set of endomorphisms of a commutative additive semigroup.
As for rings, various classes of ideals have been topologized with hull-kernel topology (also known as Stone topology or Jacobson topology, or Zariski topology) and the corresponding spaces have been studied intensively.It all started with Stone [29], imposing hull-kernel topology on maximal ideals of a Boolean ring.The same have been done on rings of continuous functions and commutative normed rings by Gelfand and Kolmogoroff [12] (see also [9,28]) and by Gelfand and Šilov [13] respectively, whereas for the algebra of all continuous complex-valued functions, Loomis [25] considered the same topology on maximal ideals.Jacobson [23] (see also [24]) considered that topology on the set of primitive ideals of an arbitrary ring and Grothendieck [11] used it on prime ideals of a commutative ring to construct affine schemes.The hull-kernel topology on minimal prime ideals of a commutative ring have been studied by Henriksen and Jerison [16] (see also Hochster [18]).In a more recent paper, Azizi [1] endowed it on strongly irreducible ideals of a commutative ring.
As far as semirings are concerned, Iséki [22] considered various algebraic properties of distinguished classes of ideals and studied hull-kernel topology on strongly irreducible ideals.In [20], Iséki and Miyanaga studied the same on maximal ideals of a semiring, whereas Iséki [21] studied that topology on prime ideals and have called them structure spaces.In the context of (m, n)-semirings, Hila, Kar, Kuka and Naka [17] studied structure spaces of n-ary prime k-ideals, n-ary prime full k-ideals, n-ary prime ideals, maximal ideals, and strongly irreducible ideals.
Note that we can not endow a hull-kernel topology on an arbitrary class of ideals of a ring or of a semiring.McKnight [26, Section 2.2, p. 11] characterized such classes of ideals for rings and the same characterization holds good for semirings.The closest topology which is of the hull-kernel-type is coarse lower topology and it can be imposed on any class of ideals.Moreover, this topology coincide with hull-kernel topology whenever the class of ideals is 'good' enough.An attempt has been made in Dube and Goswami [7] to study this spaces (called ideal spaces) of all topologized classes of ideals of a commutative ring.
Although the book [14] by GŁazek covers references on semirings at the encyclopedic level, but to best of author's knowledge, a study of all classes of topologized ideals of a semiring has never been considered before.Our purpose of this paper is to generalize the notion of ideal spaces of commutative rings to Iséki spaces (in honour of Kiyoshi Iséki) of semirings.We shall use definitions and results, whenever applicable for semirings, from Dube and Goswami [7] (and also from Finocchiaro, Goswami, and Spirito [8]) without explicitly referring to them.

Preliminaries
Recall from Golan [10] that a semiring is a system (S, +, 0, •, 1) such that (S, +, 0) is a commutative monoid, (S, •, 1) is a monoid, 0r = 0 = r 0 for all r ∈ S, and • distributes over + both from the left and from the right sides.A semiring S is called commutative if rr = r r for all r , r ∈ S. All our semirings are assumed to be commutative.A semiring homomorphism φ : S → S is a map such that (i) φ(a + b) = φ(a) + φ(b), (ii) φ(ab) = φ(a)φ(b), and φ(1) = 1 for all a, b ∈ S. A semiring homomorphism φ is called an isomorphism if φ is also a bijection on the underlying sets.
An ideal S of a semiring S is a nonempty proper subset of S satisfying the conditions: (i) a + b ∈ a and (ii) ra ∈ a for all a, b ∈ a and r ∈ S. If {a λ } λ∈ is a family of ideals of a semiring S, then λ∈ a λ is also an ideal of S. The sum of a family {a λ } λ∈ of ideals of a semiring S is defined by which is also an ideal of S. If a and b are two ideals of S, then their product ab is the ideal generated by the set {a • b | a ∈ a, b ∈ b}.As it has been pointed out by Brown and McCoy [5] that it does not matter whether the product ab of ideals a and b is defined to be the set of all finite sums a λ b λ (a λ ∈ a, b λ ∈ b), or the smallest ideal of S containing all products a λ b λ , or merely the set of all these products.For rings, Behrens [3] has used the second of these definitions, whereas Amitsur [2] has applied the third.
The radical √ a of an ideal a of a semiring S is defined by It is easy to verify that a ⊆ √ a and √ a is also an ideal of S.An ideal a is called a radical ideal if a = √ a.An ideal p of a semiring S is called prime if ab ∈ p implies a ∈ p or b ∈ p for all a, b ∈ S. Likewise in rings, radicals of semirings also have the following important representation.
Proposition 2.1 [27] If a is an ideal of a semiring S, then An ideal m of a semiring S is said to be maximal if m is not properly contained in any other ideals of S. Slowikowski and Zawadowski [30, Theorem 2] proved the following Proposition 2.2 Every ideal of a semiring S is a subset of at least one maximal ideal of S.
Furthermore, by Nasehpour [27], we have the following

Proposition 2.3 Every maximal ideal of a semiring is a prime ideal.
A proper ideal a of a semiring S is called primary (see Golan [10]) if x y ∈ a implies either x ∈ a or y n ∈ a for some n ∈ N. By Iséki [22], an ideal s is called strongly irreducible Any one of the classes of ideals of a semiring S considered above will be called a spectrum of S and we shall denote it by σ S .We shall assume that S / ∈ σ S for all spectra of S.

Iséki spaces
Suppose S is a semiring.The ideal topology (also known as coarse lower topology Dickmann, Schwartz, and Tressal [6, A.8, p. 589] or lower topology Gierz et al. [15, Definition O−5.4,p. 43]) on a spectrum σ S of S will be the topology for which the sets of the type (where a runs among the ideals of S) form a subbasis of closed sets.A spectrum σ S of a semiring S endowed with an ideal topology is called an Iséki space, and we denote the Iséki space also by σ S .The following results are easy to prove.

Proposition 3.1
The subbasic closed subsets of an Iséki space have the following properties.
(i) The map ↑ : Ideal(S) → P(σ S ) defined in ( 4) is order-reversing, where Ideal(S) denotes the set of all ideals of the semiring S and P(σ S ) is the power set of the spectrum σ S .Furthermore, o ↑ = S and S ↑ = ∅, where o is the zero ideal of S.
(iv) For every ideal a of S, a ↑ ⊇ ( √ a) ↑ , where √ a is as defined in (2).
A. Goswami (v) A spectrum σ S is a radical ideal if and only if a ↑ = ( √ a) ↑ for every ideal a in S.
It is evident from (4) that if x = x for any two x, x ∈ σ S , then x ↑ = x ↑ .Therefore, we have Proposition 3.2 Every Iséki space σ S is a T 0 -space.
Recall that a topological space is called quasi-compact if every open cover of it has a finite subcover, or equivalently, the space satisfies the finite intersection property.In this definition of quasi-compactness, we do not assume the space is T 2 .Quasi-compactness of prime, maximal, and strongly irreducible ideals endowed with hull-kernel topology (= coarse lower topology) have respectively been shown in Iséki [21], Iséki and Miyanaga [20], and Iséki [22].The following result gives a sufficient condition for quasi-compactness of all Iséki spaces.The proof relies on the application of Alexander subbase theorem.Theorem 3.3 If a semiring S has an identity and if a spectrum σ S of S contains all maximal ideals of S, then σ S is a quasi-compact space.
Proof Suppose {K λ } λ∈ is a family of subbasic closed sets of σ S with λ∈ K λ = ∅.This implies K λ = x ↑ λ for some ideals x λ of S, and where the sum is defined in (1), and the first equality follows from Proposition 3.1 (iii).If λ∈ x λ = S, then we must have a maximal ideal m of S (see Proposition 2.2) such that λ∈ x λ ⊆ m.Moreover, for all λ ∈ .Therefore m ∈ x ↑ λ = K λ for all λ ∈ , a contradiction of our assumption.Hence λ∈ x λ = S, and the identity 1 ∈ λ∈ x λ .This implies the existence of a finite subset {λ 1 , . . ., λ n } of such that 1 = n i=1 x λ i (where x λ i ∈ x λ i ), and hence R = n i=1 x λ i , which establishes the finite intersection property.Therefore, σ S is quasi-compact by Alexander's subbase theorem.
Notice that in Theorem 3.3 the containment of all maximal ideals to an arbitrary spectrum σ S is a sufficient condition for quasi-compactness of the Iséki space σ S .For the spectrum of finitely generated ideals of a semiring, for instants, it is also a necessary condition.

Proposition 3.6 If the Iséki space σ S of finitely generated proper ideals is quasi-compact then σ S contains all maximal ideals of S.
Proof Suppose m is a maximal ideal of the semiring S such that m is not finitely generated.Let us consider the collection of closed subspaces: We claim that C = ∅.If not, let y ∈ C. Then b is finitely generated and m ⊆ y.Since m is not a finitely generated ideal, we must have y m, and that implies y = S, which contradicts the fact that σ S consists of proper ideals.But clearly C has the finite intersection property and hence σ S is not quasi-compact.
If S is a Noetherian semiring, then we have the following result which may considered as a semiring-theoretic version of the corresponding result proved in Finocchiaro, Goswami, and Spirito, [8] for rings.

Theorem 3.7 If S is a Noetherian semiring then every Iséki space σ S is quasi-compact.
Proof Consider a collection {σ S ∩ x ↑ λ } λ∈ of subbasic closed sets of σ S with the finite intersection property.By assumption, the ideal y = λ∈ x λ is finitely generated, say y = (α 1 , . . ., α n ).For every 1 ≤ j ≤ n, there exists a finite subset j of such that α j ∈ λ∈ j x λ .Thus, if := n j=1 j , it immediately follows that y = λ∈ x λ .Hence we have since is finite and {σ S ∩ x ↑ λ } λ∈ has the finite intersection property.Then the conclusion follows by the Alexander Subbasis Theorem.

Corollary 3.8 If S is a Noetherian semiring then every Iséki space σ S is Noetherian.
Next we consider the separation axiom of sobriety.Recall that a topological space X is called sober if every non-empty irreducible closed subset K of X is of the form: K = Cl({x}), the closure of an unique singleton set {x}.The following result characterizes sober Iséki spaces of a semiring.Theorem 3.9 An Iséki space σ S is sober if and only if for every non-empty irreducible subbasic closed subset of a ↑ of σ S .
Proof If σ S is a sober space and a ↑ is a non-empty irreducible subbasic closed subset of σ S , then a ↑ = Cl({b}) = b ↑ for some b ∈ σ S , and we have Conversely, suppose the condition (5) holds for every non-empty irreducible subset of σ S .
Let K be an irreducible closed subset of σ S .Then for some ideals x ji of S. Since K is irreducible, for every i ∈ there exists an ideal x ji of x ↑ ji and thus, if y = i∈ x ji , then we have By assumption, Like Alexander subbase theorem, there is no characterization of connectedness in terms of subbasic closed sets.Nevertheless, we wish to present a disconnectivity result of Iséki spaces of a semiring that bears resemblance to the fact that if spectrum of prime ideals (of a commutative ring with identity) endowed with Zariski topology is disconnected, then the ring has a proper idempotent element (see Bourbaki [4], Section 4.3, Corollary 2).
We say a closed subbase S of a topological space X strongly disconnects X if there exist two non-empty subsets A, B of S such that X = A ∪ B and A ∩ B = ∅.It is clear that if some closed subbase strongly disconnects a topological space, then the space is disconnected.Also, if a space is disconnected, then some closed subbase (for instance the collection of all its closed subspaces) strongly disconnects it.Proposition 3.11 Suppose S is a semiring with multiplicative identity 1 and S has zero Jacobson radical.Let σ S be a spectrum of S containing all maximal ideals of S. If the subbase S of the Iséki space σ S strongly disconnects σ S , then S has a non-trivial idempotent element.
Proof Let x and y be ideals of S such that we therefore have (x + y) ↑ = ∅ and hence x + y = S because σ S contains all maximal ideals of S. On the other hand, which then implies that xy is contained in every maximal ideal of S, and is therefore the zero ideal since S has zero Jacobson radical.Note that the condition (iii) implies that neither x nor y is the entire semiring S.So the equality x + y = S furnishes non-zero elements x ∈ x and y ∈ y such that x + y = 1.Since x y = 0 as x y ∈ xy = o, we therefore have x = x(x + y) = x 2 + x y = x 2 , showing that x is a non-zero idempotent element in S. Since x = S, x = 1, and hence x is a non-trivial idempotent element of S. Theorem 3.13 below gives a sufficient condition for an Iséki space to be connected and to prove that result we first need the following Lemma 3.12 In every Iséki space σ S , the subbasic closed sets of the form: {y ↑ | y ∈ y ↑ } are irreducible.
Proof It is sufficient to show that y ↑ = Cl(y) whenever y ∈ y ↑ .Since Cl(y) is the smallest closed set containing x, and since y ↑ is a closed set containing y, obviously then Cl(y) ⊆ y ↑ .For the reverse inclusion, if Cl(y) = σ S , then This proves that y ↑ = Cl(y).Suppose that Cl(y) = σ S .Since Cl(y) is a closed set, there exists an index set, , such that, for each λ ∈ , there is a positive integer x λ and ideals x λ1 , . . ., x λn λ of S such that Since Cl(y) = σ S , we can assume that x λ i =1 x ↑ λi is non-empty for each λ.Therefore, y ∈ ↑ λi for each λ, and hence y ↑ ⊆ x λ i=1 x ↑ λi , that is, y ↑ ⊆ Cl(y) as desired.
Theorem 3.13 If a spectrum σ S of a semiring S contains the zero ideal, then the Iséki space σ S is connected.
Proof Since σ S = o ↑ and irreducibility implies connectedness, the claim now follows from Lemma 3.12.
Corollary 3. 14 Iséki spaces of proper, finitely generated, principal ideals of a semiring are connected.
Iséki and Miyanaga [20, Theorem 2] has shown that the spectrum of maximal ideals with the Stone topology (= coarse lower topology) is a T 1 -space.Furthermore, Iséki [21, Theorem 3] proved that every prime ideal is maximal, if and only if the topological space is a T 1 -space.Surprisingly, Iséki space of maximal ideals of a semiring also characterizes T 1 -space as we shall see in the following Theorem 3.15 An Iséki space σ S is T 1 if and only if the spectrum σ S is the set of all maximal ideals of S.
Proof Suppose σ S is a T 1 -space and let a ∈ σ S .Then a ∈ a ↑ , and so, by Theorem 3.12, Cl({a}) = a ↑ .Let m be a maximal ideal of S with a ⊆ m.Then m ∈ a ↑ = Cl({a}) = {a}, where the last equality follows from the hypothesis.Therefore m = a, showing that σ S is contained in the set of all maximal ideals of S. Conversely, m ↑ = {m} for every maximal ideal m of S, so that m ∈ m ↑ , and hence, by Theorem 3.12, Cl({m}) = {m}, showing that the Iséki space σ S is a T 1 -space.Corollary 3. 16 Let S be a Noetherian ring.If σ S is a discrete space then S is Artinian.Remark 3.17 Note that in an (m, n)-semiring, maximal ideals endowed with two special topologies generated respectively by x and x (see [17,Theorem 4.2 and Theorem 4.3]) satisfy T 2 and T 1 separation axioms.
We now discuss about continuous maps between Iséki spaces of semirings.Observe that although inverse image of an ideal under a semiring homomorphism is an ideal, but the same may not hold for an arbitrary spectra σ S .To resolve this problem, we need to impose that property on a spectrum.We say a spectrum σ S satisfies the contraction property if for any semiring homomorphism φ : S → S , the inverse image φ −1 (x ) is in σ S , whenever x is in σ S .Since the sets {x ↑ | x is an ideal of S} only form a (closed) subbasis, all our arguments need to be at this level rather than just closed sets.Proof To show (i), let x be an ideal of S and x ↑ be a subbasic closed set of the ideal space σ S .Then and hence the map φ * continuous.For (ii), observe that Ker(φ) ⊆ φ −1 (x ) follows from the fact that o ⊆ x for all x ∈ σ S .It can thus been seen that φ * (x ) ∈ Ker(φ) ↑ , and hence Im(φ * ) = Ker(φ) ↑ .If x ∈ σ S , then φ(φ * (x )) = φ(φ −1 (x )) = x .Thus φ * is injective.To show that φ * is closed, first we observe that for any subbasic closed subset a ↑ of σ S , we have a closed subset of σ S .Since by (i), φ * is continuous, we have the desired claim.Finally to prove (iii), first we wish to show: Cl(φ * (x ↑ )) = φ −1 (x ↑ ) for all ideals x of S .For that, let s ∈ φ * (x ↑ ).This implies φ(s) ∈ x ↑ , and that means x ⊆ φ(s).Therefore, s ∈ φ −1 (x ↑ ).
Note that for the spectrum of prime ideals, the inclusion condition in (iii) is replaced by an equality.If φ is the quotient map S → S/x, then we have the following

Corollary 3 . 10
y⊆s s∈σ Ss ∈ σ S , and thus K = Cl The Iséki spaces of proper ideals, prime ideals, and strongly irreducible ideals are sober.

Proposition 3 . 18
Let σ S be a spectrum satisfying the contraction property.Let φ : S → S be a semiring homomorphism and x ∈ σ S .(i)The induced map φ * : σ S → σ S defined by φ * (x ) = φ −1 (x ) is continuous.(ii)If φ is surjective, then the Iséki space σ S is homeomorphic to the closed subspace Ker(φ) ↑ of the Iséki space σ S .(iii) The subset φ * (σ S ) is dense in σ S if and only if Ker(φ) ⊆ s∈σ S s.