arXiv:1302.0219v2 [math.GN] 29 Jan 2014

some new classes of topological spaces and
annihilator ideals
A. Taherifar
Departement of Mathematics, Yasouj University, Yasouj, Iran
ataherifar@mail.yu.ac.ir
Dedicated to Professor William Wistar Comfort

Abstract. By a characterization of semiprime SA-rings by Birkenmeier, Ghirati
and Taherifar in [4, Theorem 4.4], and by the topological characterization of C(X)
as a Baer-ring by Stone and Nakano in [11, Theorem 3.25], it is easy to see that
C(X) is an SA-ring (resp., IN -ring) if and only if X is an extremally disconnected
space. This result motivates the following questions: Question (1): What is X if for
any two ideals I and J of C(X) which are generated by two subsets of idempotents,
Ann(I) + Ann(J) = Ann(I ∩ J)? Question (2): When does for any ideal I of
C(X) exists a subset S of idempotents such that Ann(I) = Ann(S)? Along the
line of answering these questions we introduce two classes of topological spaces.
We call X an EF (resp., EZ)-space if disjoint unions of clopen sets are completely
separated (resp., every regular closed subset is the closure of a union of clopen
subsets). Topological properties of EF (resp., EZ)-spaces are investigated. As a
consequence, a completely regular Hausdorff space X is an Fα -space in the sense of
Comfort and Negrepontis for each infinite cardinal α if and only if X is an EF and
EZ-space. Among other things, for a reduced ring R (resp., J(R) = 0) we show
that Spec(R) (resp., M ax(R)) is an EZ-space if and only if for every ideal I of R
there exists a subset S of idempotents of R such that Ann(I) = Ann(S).
AMS Subject Classification Primary: 54G05, 54C40. Secondary: 13A15.
Keywords: Fα -space, Extremally disconnected space, Zero-dimensional space, EF space, EZ-space, Reduced ring.

1

Preliminaries

A space X is extremally disconnected (resp., basically disconnected) if the closure of
every open subset is clopen in X (resp., if the closure of any cozeroset is open). It
is well known that X is an extremally disconnected space if and only if any two
disjoint open subsets of X are completely separated if and only if every open subset
of X is C ∗ -embedded. In an extremally disconnected space all dense subsets are
1

2

A. Taherifar

C ∗ -embedded. The reader is referred to [7, 1.H], [8] and [17]. A topological space
is said to be zero-dimensional if it is a non-empty T1 -space with a base consisting
of clopen sets. Zero-dimensional spaces were defined by Sierpinski in [15]. All zerodimensional spaces are completely regular. A zero-dimensional space need not be
a normal space. The space βT = W ∗ × N ∗ where T is the Tychonoff plank is an
example of non-normal zero-dimensional space (see [7, Example 16.18]). A space
X is totally disconnected if and only if the components in X are the singletons.
Equivalently, X is totally disconnected if and only if the only non-empty connected
subsets of X are the one-point sets. The following implications characterize the
relationship among the notions defined above: X is extremally disconnected and T3
⇒ X is zero-dimensional ⇒ X is totally disconnected. None of the implications
can be reversed and counterexamples exist even in the class of metric spaces. For
terminology and notations, the reader is referred to [6] and [7].
All rings are assumed to be commutative with identity. By a reduced ring, we
mean a ring without nonzero nilpotent elements. For each subset S of a ring R,
Ann(S) = {r ∈ R : rs = 0, ∀s ∈ S}. A ring R is called a SA (resp., IN)-ring if for
any two ideals I, J of R, Ann(I) + Ann(J) = Ann(K), for some ideal K of R (resp.,
Ann(I) + Ann(J) = Ann(I ∩ J)) (see [4]). We denote the Jacobson radical of R by
J(R). For terminology and notations, the reader is referred to [9].
Throughout this paper, we denote by C(X), the ring of all real-valued continuous
functions on a completely regular Hausdorff space X, and C ∗ (X) is its subring of
bounded functions. A completely regular Hausdorff space X is an F -space if its
cozerosets are C ∗ -embedded. Equivalently, X is an F -space if finitely generated
ideals of C(X) are principal. For terminology and notations, the reader is referred
to [7].
For the proof of the following lemma see [6, Corollary 3.6.5].
Lemma 1.1. If A is a clopen subset of a topological space X, then clβX A is a clopen
subset of βX.
For the proof of the following theorems see [7, 1.17] and [7, 1.15].
Theorem 1.2. A subset S of X is C ∗ -embedded in X if and only if any two
completely separated sets in S are completely separated in X.
Theorem 1.3. Two sets are completely separated if and only if they are contained
in disjoint zero-sets. Moreover, completely separated sets have disjoint zero-setneighborhoods.

2

EF -space

We call a topological
S spaceSX an EF-space if for
S any two
S collections U and V of clopen
subsets of X with U ∩ V = ∅, we have U and V are completely separated.
The class of EF -space contains the class of spaces which are sums of connected
spaces, all spaces for which the closure of any union of clopen subsets is open (hence
all extremally disconnected spaces) and all spaces which any union of clopen subsets

3

Some new classes of topological spaces and annihilator ideals

is C ∗ -embedded. If we take X as the sum of R (with usual topology) and N, then
X is an EF -space which is neither connected nor extremally disconnected. A zerodimensional space need not be an EF -space. In fact, it is straightforward to check
that if X is a zero-dimensional space, then X is an EF -space if and only if it is
extremally disconnected. In this section, we prove that for any two ideals I and J
of C(X), which are generated by two subsets of idempotents, Ann(I) + Ann(J) =
Ann(I ∩ J) (Question 1) if and only if X is an EF -space if and only if βX is an
EF -space.
Lemma 2.1. Let X be a normal space. The following statements are equivalent.
(a) X is an EF -space.
(b) For any twoScollections
S U and V of clopen subsets of X with
we have cl( U ) ∩ cl( V) = ∅.

S

U∩

S

V = ∅,

Proof. (a) ⇔ (b) This follows from the definition of EF -space and the fact that
in a normal space disjoint closed subsets are completely separated.

Proposition 2.2. For a topological space X consider the following statements:
(a) Any union of clopen subsets of X is C ∗ -embedded.
(b) The closure of any union of clopen subsets of X is an open subset.
(c) X is an EF -space.
(d) Disjoint unions of clopen subsets have disjoint closures
(e) If O1 and O2 are disjoint open subsets with O1 a union of clopen sets, then
their closures are disjoint.
Then (a) ⇒ (c) ⇒ (d) and (b) ⇔ (e) ⇒ (c).
S
Proof.
(a)
⇒
(c)
Let
U
and
V
be
two
collections
of
clopen
subsets
and
U∩
S
S
S
VS= ∅. SDefine f (x) = 1 for x ∈ U and f (x) = 0 for x ∈ V. Then f ∈
C ∗ ( U ∪ S V). By hypothesis,Sthere exists g ∈ C ∗ (X) such that g|(S U ∪S V) = f .
Therefore U ⊆ Z(1 − g) and V ⊆ Z(g), i.e, they are completely separated.
(c) ⇒ (d) Trivial.
(b) ⇔ (e) This follows from [11, Proposition 3.29].
S
(e)
⇒
(c)
Assume
that
U
and
V
are
two
collections
of
clopen
subsets
and
U∩
S
S
S
S
S
V = ∅. Then cl(S U ) ∩ cl( V)
=
∅.
Because
cl(
U
)
and
cl(
V)
are
clopen
S
S
S
subsets. Hence cl( U ) and cl( V) are disjoint zero sets, so U and V are
completely separated.

In the following example, we see that (a) does not imply (b) in general. This
example was suggested to the author by A. Dow.
Example 2.3. Let N denote the integers and let p be an ultra-filter on N. Consider
X = N ∪ {p} ∪ [0, 1]. Now take the quotient space of X in which the point p is
identified with 0 in [0, 1]. Then, we can see that any union of clopen subsets is C ∗ embedded. On the other hand N is the union of clopen sets but its closure includes
0 from [0, 1] and so is not clopen.

4

A. Taherifar

Proposition 2.4. If the closure of any union of clopen subsets is open and any
union of clopen subsets is C ∗ -embedded in its closure, then any union of clopen
subsets of X is C ∗ -embedded in X.
Proof. Let
S U be a collection of clopen subsets and A and B be completely
separated in U . By Theorems 1.2 and 1.3, it is enough to prove that they
S are
contained in disjoint zero-sets in X. By hypothesis, there are g1 , g2 ∈ C ∗ (cl( U ))
such that A ⊆ Z(g1 ), B ⊆ Z(g2 ) and Z(g1 ) ∩ Z(g2 ) =S∅. Again by hypothesis, there
exists an idempotent element f ∈ C ∗ (X) such that cl( U )) = coz(f ). Now we define
h1 (x) = 0, for all x ∈
/ coz(f ) and h1 (x) = (g1 f )(x), for all x ∈ coz(f ). Also, define
h2 (x) = 1, for all x ∈
/ coz(f ) and h2 (x) = (g2 f )(x), for all x ∈ coz(f ). Then we have
h1 , h2 ∈ C ∗ (X), A ⊆ Z(g1 ) ⊆ Z(h1 ), B ⊆ Z(g2 ) ⊆ Z(h2 ) and Z(h1 ) ∩ Z(h2 ) = ∅. 
In [5], Comfort and Negrepontis restrict their attention to the class of zerodimensional space. For a space X and open subset G of X, G is of type < α if G is
the union of < α closed-and-open subsets of X. Then, in the sense of [5], a space X
is an Fα -space if every open subset of X of type < α is C ∗ -embedded in X [5, pp.
350, 343]. So, by Proposition 2.2 we have the following result.
Corollary 2.5. If X is an Fα -space in the sense of [5] for each infinite cardinal α,
then X is an EF -space.
Example 2.6. A closed subset of an EF -space need not be an EF -space. To see
this, let X = βN \ N as a closed subspace of the EF -space βN. Then by [7, 6S], the
sets A′ = clβN A\N form a base for the open sets in βN\N. So X is a zero-dimensional
space. On the other hand by [7, 6W, 3], X is not extremally disconnected. Hence,
X is not an EF -space.
The following example shows that a P -space and hence a basically disconnected
space need not be an EF -space.
Example 2.7. [7, 4. N] Let X be an uncountable space in which all points are
isolated points except for a distinguished point s. A neighborhood of s is any set
containing s whose complement is countable, so any set containing s is closed. It is
easily seen that X is a P -space. So X is basically disconnected. Now, consider two
disjoint uncountable subsets U, V ⊆ X \ {s}. Then we have s ∈ clU ∩ clV . So X is
not an EF -space.
Theorem 2.8. A space X is an EF -space if and only if βX is an EF -space.
Proof. Let {Aα : α ∈ S} and {Aγ : γ ∈ K} be two collections of clopen subsets
of βX and
S
S
( α∈S Aα ) ∩ ( γ∈K Aγ ) = ∅.
Then we have
S
S
( α∈S Aα ∩ X) ∩ ( γ∈K Aγ ∩ X) = ∅.
By hypothesis, there are disjoint zero-sets Z1 and Z2 in Z[X] such that;

Some new classes of topological spaces and annihilator ideals

5

S
S
( α∈S Aα ) ∩ X ⊆ Z1 and ( γ∈K Aγ ) ∩ X ⊆ Z2 .
Therefore we have,
S
S
S
α∈S Aα ⊆ clβX ( α∈S Aα ) = clβX (( α∈S Aα ) ∩ X) ⊆ clβX Z1 ,
S

γ∈K

S
S
Aγ ⊆ clβX ( β∈K Aγ ) = clβX (( γ∈K Aγ ) ∩ X) ⊆ clβX Z2 .

On the other hand Z1 ∩ Z2 = ∅ implies that clβX Z1 ∩ clS
normality of
βX Z2 = ∅. By S
βX, clβX Z1 and clβX Z2 are completely separated, i.e, α∈S Aα and γ∈K Aγ are
completely separated.
Conversely, assume that {Aα : α ∈ S}, {Aγ : γ ∈ K} are two collections of
clopen subsets of X and
S
S
( α∈S Aα ) ∩ ( γ∈K Aγ ) = ∅.
By Lemma 1.1, for each α ∈ S and γ ∈ K, clβX Aα and clβX Aγ are clopen subsets
of βX, so
S
S
( α∈S clβX Aα ) ∩ ( γ∈K clβX Aγ ) = ∅.
S
S
This together with our hypothesis implies
that S
α∈S clβX Aα and
γ∈K clβX Aγ are
S
completely separated in βX. Hence α∈S Aα and γ∈K Aγ are completely separated
in X.

In the next theorem we will answer Question 1. This result is an algebraic
characterization of a completely regular Hausdorff EF -space. First we need the
following lemma.
Lemma 2.9. Let R be a reduced ring. The following statements are equivalent.
(a) For any two orthogonal ideals I and J of R, Ann(I) + Ann(J) = R.
(b) For any two ideals I and J of R, Ann(I) + Ann(J) = Ann(I ∩ J).
Proof. (a) ⇒ (b). We always have Ann(I) + Ann(J) ⊆ Ann(I ∩ J). Now
suppose that x ∈ Ann(I ∩ J) = Ann(IJ). Then xIJ = 0. So by (a) we have,
Ann(xI) + Ann(J) = R.
This shows that 1 = a + b, where a ∈ Ann(xI) and b ∈ Ann(J). Therefore x = xa +
xb, where xa ∈ Ann(I) and xb ∈ Ann(J) that is; Ann(I ∩ J) ⊆ Ann(I) + Ann(J).
(b) ⇒ (a). If IJ = 0, then by hypothesis, we have
Ann(I) + Ann(J) = Ann(I ∩ J) = Ann(IJ) = R.
Note that, for any subset S of C(X),

S

COZ(S) =

S

f ∈S


coz(f ).

Theorem 2.10. Let X be a completely regular Hausdorff space. The following
statements are equivalent.
(a) The space X is an EF -space.

6

A. Taherifar

(b) For any two ideals I and J of C(X) which are generated by two subsets of
idempotents of C(X), Ann(I) + Ann(J) = Ann(I ∩ J).
(c) For any two ideals I and J of C ∗ (X) which are generated by two subsets of
idempotent elements of C ∗ (X), Ann(I) + Ann(J) = Ann(I ∩ J).
Proof. (a) ⇒ (b) Assume that I and J are ideals of C(X) generated by two
subsets S1 and S2 of idempotents. By Lemma 2.9, we can let IJ = 0 and it is
enough to prove that Ann(I) + Ann(J) = C(X). Now IJ = 0 implies that
S
S
S
S
( COZ(I)) ∩ ( COZ(J)) = ( COZ(S1 )) ∩ ( COZ(S2 )) = ∅.
So there are disjoint zero-sets Z(f1 ) and Z(f2 ) such that;
S
S
S
S
COZ(I) = COZ(S1 ) ⊆ Z(f1 ) and COZ(J) = COZ(S2 ) ⊆ Z(f2 ).
Therefore f1 ∈ Ann(I), f2 ∈ Ann(J) and Z(f12 + f22 ) = ∅. Hence f12 + f22 is a unit
element in Ann(I) + Ann(J), S
i.e, Ann(I) +SAnn(J) = C(X).
(b) ⇒ (a) Suppose that ( α∈S Aα ) ∩ ( β∈K Aβ ) = ∅, where for each α ∈ S,
β ∈ K, Aα and Aβ are clopen subsets of X. It is easily seen that for each α ∈ S and
β ∈ K, there are idempotent elements eα and eβ in C(X) such that Aα = coz(eα )
and Aβ = coz(eβ ). Hence
S
S
( α∈S coz(eα )) ∩ ( β∈K coz(eβ )) = ∅.
Now assume that I =< {eα : α ∈ S} > and J =< {eβ : β ∈ K} >. Then we can
see that IJ = 0. By hypothesis and Lemma 2.9, Ann(I) + Ann(J) = C(X). Hence
there are f ∈ Ann(I) and g ∈ Ann(J) such that 1 = f + g. Therefore we have,
S
S
S
COZ(I) ⊆ Z(f ),
α∈S coz(eα ) =
α∈S Aα =
and
S

β∈K

Aβ =

S

β∈K

coz(eβ ) =

S

COZ(J) ⊆ Z(g).

On the other hand Z(f ) ∩ Z(g) = ∅. Hence X is an EF -space.
(c) ⇔ (a) This is a consequence of (a) ⇔ (b), Theorem 2.8 and the fact that
∗
C (X) is isomorphic to C(βX).

Recall that, for a subset A of X, we have MA = {f ∈ C(X) : A ⊆ Z(f )}.
Lemma 2.11.

(a) For every subset S of C(X) we have, Ann(S) = M(S COZ[S]).

(b) For subsets A, B of X we have, clX A = clX B if and only if MA = MB .
Proof.
(a) Let f ∈ Ann(S). Then f g = 0, for all g ∈ S. This implies
S
that Coz[S]
⊆ Z(f ), i.e, f ∈ M(S Coz[S]) . Now f ∈ M(S Coz[S]), implies that,
S
Coz(g) ⊆ Coz[S] ⊆ Z(f ) for each g ∈ S, so f ∈ Ann(S).
(b) If clX A = clX B, then it is easily seen that MA = MclX A = MclX B = MB .
Now suppose that MA = MB and x ∈ clX A. Then MA = MclX A ⊆ Mx . If x ∈
/ clX B,
then by completely regularity of X, there exists f ∈ C(X) such that x ∈
/ Z(f ) and
B ⊆ Z(f ), i.e, f ∈ MB \ Mx , a contradiction. Hence clX A ⊆ clX B. Similarly, we

Some new classes of topological spaces and annihilator ideals

7

can prove that clX B ⊆ clX A.

From [10], a commutative ring R with identity is Baer if the annihilator of every
nonempty subset of R is generated by an idempotent. The next result is proved in
[1]. Now we give a new proof using Lemma 2.11.
Theorem 2.12. [1, Theorem 3.5] C(X) is a Baer ring if and only if X is an
extremally disconnected space.
Proof. Let A be an open subset of X. S
Then by completely regularity of X,
there exists a subset S of C(X) such that A = COZ[S]. By hypothesis, there is an
idempotent e ∈ C(X) such that Ann(S) = Ann(e). By Lemma 2.11, M(S COZ[S]) =
Mcoz(e) . Hence
S
clA = cl( COZ[S]) = cl(coz(e)) = coz(e) is open.
S
Conversely, suppose that S is a subset of C(X). Then by hypothesis,
cl( COZ[S])
S
is open. So there exists an idempotent e ∈ C(X) such that cl( COZ[S]) = coz(e).
Again by Lemma 2.11, we have, Ann(S) = M(S COZ[S]) = Mcoz(e) = Ann(e).

Recall that a commutative ring R is an SA-ring (resp., IN-ring) if for any two
ideals I and J of R, Ann(I) + Ann(J) = Ann(K), for some ideal K of R (resp.,
Ann(I) + Ann(J) = Ann(I ∩ J)), (see [4]).
Corollary 2.13. The following statements are equivalent.
(a) X is an extremally disconnected space.
(b) C(X) is an IN -ring.
(c) C(X) is an SA-ring.
(d) The space of prime ideals of C(X) is an extremely disconnected space.
Proof. This is a consequence of [4, Corollary, 4.5], and Theorem 2.12.
S
In [16], Swardson introduced an α-open subset as a set of the form A = U ,
where U is a collection of cozero-sets of X with |U | < α. She Also defined an Fα space X to be a Tychonoff space in which every α-open subset of X is C ∗ -embedded
in X. She proved that a space X is an Fα -space if and only if any two disjoint
α-open subsets of X are completely separated in X (see [16, Theorem 2.3]).
Theorem 2.14. A Tychonoff space X is an Fα -space in the sense of [16] if and only
if for any two α-generated ideals I and J of C(X), Ann(I) + Ann(J) = Ann(I ∩ J).
Proof. By [16, Theorem 2.3], the proof is similar to that of Theorem 2.10. 
Recall that, we mean of ω1 -generated ideal is a countably generated ideal. We
also note that if I = (f1 , ..., fn , ...) is a countably generated ideal in C(X), then
P
|fn |
ann(I) = ann(f), where f = ∞
i=1 2n (|fn |+1) .
Corollary 2.15. A topological space X is an F -space if and only if for any two
f, g ∈ C(X), Ann(f ) + Ann(g) = Ann(f g).

8

A. Taherifar

Proof. (⇒) Let f g = 0. Then coz(f ) ∩ coz(g) = ∅. By hypothesis, there are
f1 , f2 ∈ C(X) such that coz(f ) ⊆ z(f1 ), coz(g) ⊆ z(f2 ) and z(f1 ) ∩ z(f2 ) = ∅ so
f1 ∈ Ann(f ), f2 ∈ Ann(g) and f12 + f22 is a unit element in Ann(f ) + Ann(g). Thus
Ann(f ) + Ann(g) = C(X). By this equality and Lemma 2.9, we have
Ann(f )+Ann(g) = Ann(< f >)+Ann(< g >) = Ann(< f > ∩ < g >) = Ann(f g).
(⇐) Clearly X is an Fω1 -space in the sense of [16] if and only if X is an F-space.
Now let I be a ω1 -generated ideal. By the above comment, there exists f ∈ C(X)
such that Ann(I) = Ann(f ). By Theorem 2.14, X is an F -space.

Corollary 2.16. [16, Proposition, 2.2] A completely regular Hausdorff space X is
an extremely disconnected space if and only if X is an Fα -space in the sense of [16]
for each infinite cardinal α .
Proof. This is a consequence of Corollary 2.13 and Theorem 2.14.

3

EZ-spaces

We call a topological space X an EZ-space if for every open subset A of X there
S exists
a collection {Aα : α ∈ S} of clopen subsets of X such that clX A = clX ( α∈S Aα ),
equivalently, every regular closed subset is the closure of a union of clopen sets. In
this section, it is proved that a completely regular Hausdorff space X is an EZ-space
if and only if for any ideal I of C(X) there exists a subset S of idempotents of C(X)
such that Ann(I) = Ann(S) (Question 2) if and only if for any f ∈ C(X) there
exists a subset S of idempotents of C(X) such that Ann(f ) = Ann(S) if and only
if βX is an EZ-space. As a consequence, a completely regular Hausdorff space X
is an EF and EZ-space if and only if X is an extremally disconnected space if and
only if X is an Fα -space for each infinite cardinal α in the sense of [16] if and only
if X is an Fα -space for each infinite cardinal α in the sense of [5].
Recall that a collection B of open sets in a topological space X is called a πbase if every open set of X contains a member of B. Thus, a clopen π-base is one
consisting of clopen sets. The reader is referred to [2], [3], [6], [11], [13] and [18].
In Proposition 3.10, we find equivalent conditions for when a space with a clopen
π-base is an EF -space.
Proposition 3.1.

(a) Every extremally disconnected space is an EZ-space.

(b) If X has a clopen π-base, then X is an EZ-space.
(c) Every T1 -space with a dense set of isolated points is an EZ-space.
(d) Every open subset of an EZ-space is an EZ-space.
Proof. (a) is obvious.
(b) Let B be an open subset of X. Set OSas the collection of clopen S
subsets
of X contained in clX B. We claim that clS
X ( O) = clX B. Clearly clX ( O) ⊆
clX B. Suppose there is an x ∈ clX B \ cl( O). Since clX B is regular closed set

Some new classes of topological spaces and annihilator ideals

9

S
x ∈ clX intX clX B, so that intX clX B ∩ (X \ clX ( O)) is nonempty.
By hypothesis,
S
there is a nonempty clopen subset in intX clX B
∩
(X
\
cl
(
O)).
However,
such a
X
S
clopen set is contained in clX B and (X \ clX ( O)), a contradiction.
(c) A T1 -space with a dense set of isolated points has a clopen π-base and hence
is an EZ-space.
(d) Assume that Y is an open subset of X. Then by hypothesis, for any open
subset A of Y , there
S exists a collection {Aα : α ∈ S} of clopen subsets of X such
that clX (A) = clX ( α∈S Aα ). Now Y is open in X, so
S
S
clY (A) = clX (A) ∩ Y = clX ( α∈S Aα ) ∩ Y = clY ( α∈S Aα ∩ Y ).

Lemma 3.2. Let X be a regular space. Then X is an EZ-space if and only if X
has a clopen π-base.
Proof. By Proposition 3.1, the necessity is evident. Suppose X is an EZ-space
and let O be any nonempty open subset of X. Choose x ∈ O and by regularity choose
an open neighborhood of x, say T , such that x ∈ T ⊆ clT ⊆ O. By hypothesis,
clT = clU where U is a union of clopen subsets. Then any nonempty clopen subset
of U is also a nonempty clopen subset of O. Therefore, X has a clopen π-base. 
By Lemma 3.2, [13, Proposition 18] and [13, Corollary 19], we have X has clopen
π-base if and only if βX has a clopen π-base.
The following example shows that the regularity hypothesis, in Lemma 3.2 is not
superfluous and hence an EZ-space need not have a clopen π-base.
Example 3.3. Let X = R with the topology T ={(a, ∞) : a ∈ R} ∪ {∅, R}. Then X
is a non-regular space and any nonempty open subset is dense, so X is an EZ-space.
On the other hand X does not a clopen π-base.
Example 3.3 motivates the following question: Does there exist a Hausdorff EZspace with no clopen π-base?
Recall that from [3], a DC-space is a Tychonoff space X such that for each
f ∈ C(X) there exists a family of open subsets {Ui : i ∈ I}, the union of which is
dense in X, such that f , restricted to each Ui is constant. By [2, Lemma 2.5], and
Proposition 3.1 any separable DC-space is an EZ-space.
L
Proposition 3.4. Let X = α∈S Xα . Then X is an EZ-space if and only if each
Xα is an EZ-space.
Proof. (⇒) Each Xα is open in X. By Proposition 3.1 (d), each Xα is an
EZ-space.
(⇐) Suppose that A is an open subset in X. Then A ∩ Xα is open in Xα .
Therefore, for each α ∈ S, there exists a collection {Aβα : β ∈ Sα } of clopen subsets
S
of Xα such that clXα (A ∩ Xα ) = clXα ( β∈Sα Aβα ). Now it is easy to see that clX A =
S
S

clX α∈S ( β∈Sα Aβα ), i.e, X is an EZ-space.
Proposition 3.5. Every dense subset of an EZ-space is an EZ-space.

10

A. Taherifar

Proof. Let Y be a dense subset of a topological space X and A be an open
subset of Y . Then there exists an open subset G of X such that A = G ∩ Y . By
hypothesis, there
exists a collection {Aα : α ∈ S} of clopen subsets of X such that
S
clX G = clX ( α∈S Aα ). On
clX (G ∩ Y ) = clX G. So we have,
S the other hand clX A =S
clY A = clX A ∩ Y = clX ( α∈S Aα ∩ Y ) ∩ Y = clY ( α∈S Aα ∩ Y ).

A completely regular Hausdorff EZ-space need not even be a totally disconnected
space. The following example, (i.e., (a)) was presented by Brian Scott for another
purpose. Also, by Proposition 3.5, we have another example of an EZ-space which
is not a zero-dimensional space.
Example 3.6.

(a) For n ∈ Z+ let
Dn = {(

2k + 1 1
, n ) : k = 0, . . . , 2n−1 − 1},
2n
2

S
and let D = n∈Z+ Dn . Now suppose that X = D ∪ {(a, 0) : a ∈ [0, 1]} as a
subspace of R2 with the usual topology. Then D is a countable dense subset
of isolated points in X. By Proposition 3.1 (c), X is an EZ-space. On the
other hand X is not totally disconnected and hence X is not zero-dimensional.
(b) By Dowker’s Example [6, Example, 6.2.20], we have a zero-dimensional space
Y for which βY is not zero-dimensional. On the other hand, by Proposition
3.5, βY is an EZ-space.
A closed subset of an EZ-space need not be an EZ-space. Because Y = [0, 1] as
a closed subset of X in the above example (i.e., (a)), is not an EZ-space.
In the following theorem we answer Question 2; it is an algebraic characterization
of a completely regular Hausdorff EZ-space (i.e., a space with a clopen π-base).
Theorem 3.7. Let X be a completely regular Hausdorff space. The following
statements are equivalent.
(a) X is an EZ-space (i.e., X has a clopen π-base).
(b) For every ideal I of C(X), there exists a subset S of idempotent elements of
C(X) such that Ann(I) = Ann(S).
(c) For every f ∈ C(X), there exists a subset S of idempotent elements of C(X)
such that Ann(f ) = Ann(S).
(d) For every cozero-set H of X there exists
a collection {Hα : α ∈ S} of clopen
S
subsets of X such that clX H = clX ( α∈S Hα ).
S
Proof. (a) ⇒ (b) For an ideal I of C(X) consider, A =
COZ[I]. Then
by hypothesis, there
exists
a
collection
{A
:
α
∈
S}
of
clopen
subsets
of X such
α
S
that clX A = clX ( α∈S Aα ). It is easily seen that for each α ∈ S, there exists an
idempotent eα such that Aα = coz(eα ). Now suppose that S = {eα : α ∈ S}. Then
by Lemma 2.11, we have,
Ann(I) = MS COZ[I] = MS COZ[S] = Ann(S).

11

Some new classes of topological spaces and annihilator ideals

(b) ⇒ (a) Let A be an open subset of X. We know that in a completely regular
space X, COZ[X]
S is a base for open subsets. So there exists a subset K of C(X)
such that A = COZ[K]. Now suppose that I is the ideal generated by K in C(X).
Then by hypothesis, there exists a subset S of idempotent elements of C(X) such
that MA = Ann(I)
= Ann(S) = MS COZ[S]. Therefore by Lemma 2.11, we have
S
clX (A) = clX ( COZ[S]).
(b) ⇒ (c) For any f ∈ C(X), we have Ann(f ) = Ann(< f >). By hypothesis,
there exists a subset S of idempotents such that Ann(< f >) = Ann(S). Hence
Ann(f ) = Ann(S).
T
(c) ⇒ (b) Let I be an ideal of C(X). Then Ann(I) = f ∈I Ann(f ). By hypothesis, for each f ∈ I there exists a subset Sf of idempotent such that Ann(f ) =
Ann(Sf ). Therefore
T
S
Ann(I) = f ∈I Ann(Sf ) = Ann( f ∈I Sf ).
(c) ⇔ (d) This is similar to that of (a) ⇔ (b) step by step.

In [11], M. Knox and W. Wm. McGovern define X to be a qsz-space if for
any f ∈ C(X)+ thereSexists a countable sequence Kn of clopen subsets X such
that clX coz(f ) = clX n∈N Kn . So, by the above theorem, we have the following
corollary.
Corollary 3.8. [11, Proposition 3.9] If X is a qsz-space, then X is an EZ-space.
Recall that, a subspace Y of a space X is z-embedded in X if for every zeroset Z in Y there is a zero-set H in X such that Z = H ∩ Y , equivalently, for
every cozeroset of Y there is a cozeroset of X which traces to it. For example, a
C ∗ -embedded subspace is clearly z-embedded (see [12]).
Corollary 3.9. If X is a completely regular Hausdorff EZ-space, then every zembedded subspace is an EZ-space.
Proof. Let Y be a z-embedded subspace of an EZ-space X and H a cozero-set in
Y . By hypothesis and Theorem 3.7, there exists a cozero-set C in X and aScollection
{Aα : α ∈ S} of clopen subsets of X such that H = C ∩Y and clX C = clX ( α∈S Aα ).
Therefore
S
clY H = clY (C ∩ Y ) = clX C ∩ Y = clY ( α∈S Aα ∩ Y ).

Proposition 3.10. Let X be an EZ-space. Then the following statements are
equivalent.
(a) X is an EF -space.
(b) If USand V are
S two collections of clopen subsets of X with
cl( U ) ∩ cl( V) = ∅.

S

U∩

S

V = ∅, then

(c) The closure of any union of clopen subsets of X is an open subset.

12

A. Taherifar

(d) X is an extremally disconnected space.
(e) Any union of clopen subsets of X is C ∗ -embedded.
Proof. By Proposition 2.2 and definitions, it is clear that (d) ⇒ (e) ⇒ (a) ⇒ (b).
(b) ⇒ (c) Let U be a collection of clopen subsets and let B be an open subset of
X which is disjoint from
S any element of U . By [11, Proposition 3.29], it is enough
to prove that clB ∩ cl( U ) S
= ∅. By hypothesis, there
S exists a collection O of clopen
subsets such that clB = cl( O). We have B ∩ ( U ) = ∅, so
S
S
S
clB ∩ ( U ) = cl( O) ∩ U = ∅.
S
S
This shows that O ∩ U = ∅. Now hypothesis implies that,
S
S
S
clB ∩ cl( U ) = cl( O) ∩ cl( U ) = ∅.
(c) ⇒ (d) By hypothesis, for anySopen subset B there exists a collection O of
clopen subsets such that clB = cl( O). Now, by hypothesis, clB is open, i.e, X is
extremally disconnected.

It is well known that if X is zero-dimensional and an Fα -space for each infinite
cardinal α in the sense of [16], then X is an Fα -space for each infinite cardinal α, in
the sense of [5]. In the next result we see that the two concepts of Fα -space coincide
for each infinite cardinal α
Corollary 3.11. Let X be a completely regular Hausdorff space. The following
statements are equivalent.
(a) X is an extremally disconnected space.
(b) X is EF and EZ-space.
(c) X is an Fα -space in the sense of [16] for each infinite cardinal α.
(d) X is an Fα -space in the sense of [5] for each infinite cardinal α .
(e) The closure of any union of clopen subsets is open and X is an EZ-space.
Proof. (a) ⇔ (c) Follows from Corollary 2.16.
(a) ⇒ (b) By Propositions 2.2 and 3.1, any extremely disconnected space is EF
and EZ.
(b) ⇒ (a) Let X be EF and EZ-space. Then by Proposition 3.10, X is an
extremally disconnected space.
(a) ⇒ (d) Every extremally disconnected T3 -space is zero-dimensional. On the
other hand any open subset of an extremally disconnected space is C ∗ -embedded
so any union of clopen subsets is C ∗ -embedded. Therefore X is an Fα -space in the
sense of [5] for each infinite cardinal α.
(d) ⇒ (a) If X is an Fα -space in the sense of [5] for each infinite cardinal α, then
by Corollary 2.5, X is an EF -space. On the other hand X is zero-dimensional so is
an EZ-space. Hence by Proposition 3.10, X is an extremally disconnected space.
(a) ⇒ (e) This is obvious.
(e) ⇒ (a) Let A be an open subset. Then by hypothesis,
there exists a collection
S
{Aα : α ∈ S} of clopen subsets such that clA = cl( α∈S Aα ). Again by hypothesis,
clA is open, i.e, X is an extremally disconnected space.


Some new classes of topological spaces and annihilator ideals

4

13

Spec(R) as an EZ-space

In this section, for a reduced ring R, we prove that Spec(R) is an EZ-space if and
only if for every ideal I of R there exists a subset S of idempotents of R such that
Ann(I) = Ann(S) (a general case of Question 2) if and only if for any a ∈ R,
there exists a subset S of idempotent elements of R such that Ann(a) = Ann(S).
Also, for a ring R satisfying J(R) = 0, we show that M ax(R) is an EZ-space if and
only if for every ideal I of R there exists a subset S of idempotents of R such that
Ann(I) = Ann(S).
For a ∈ R, let supp(a) = {P ∈ Spec(R) : a ∈
/ P }. It is easy to see that
for any R, {supp(a) : a ∈ R} forms a basis of open sets for Spec(R) (i.e., the
space of prime ideals of R). This topology is called the Zariski topology. We use
V (I)(V (a))
T to denote the set of P ∈ Spec(R), such that I ⊆ P (a ∈ P ). Note that
V (I) = a∈I V (a) and V (a) = Spec(R) \ supp(a) (see [9]).
For an open subset A of Spec(R), let OA := {a ∈ R : A ⊆ V (a)}. Since for any
a, b ∈ R, V (a) ∩ V (b) ⊆ V (a − b) and for each r ∈ R, a ∈ T
OA , we have V (a) ⊆ V (ra),
thus OA is an ideal of R. It is easy to see that OA = P ∈A P and V (OA ) = clA,
where clA is the cluster points of A in Spec(R).
An ideal I of a commutative ring R is said to be an annihilator ideal provided
that Ann(Ann(I)) = I, equivalently, if Ann(I) ⊆ Ann(x), and x ∈ R, then x ∈ I.
We need the following lemma which consists of some well-known results.
Lemma 4.1. Let R be a reduced ring.
(a) For ideals I, J of R, Ann(I) ⊆ Ann(J) if and only if intV (I) ⊆ intV (J).
(b) For an open subset A of Spec(R), OA is an annihilator ideal.
(c) If I is an annihilator ideal of R, then there exists an open subset A of Spec(R)
such that I = OA .
(d) For open subsets A, B of Spec(R), OA = OB if and only if clA = clB.
(e) A ⊆ spec(R) is a clopen subset if and only if there is an idempotent e ∈ R
such that A = V (e) = supp(1 − e).
(f ) For any ideal I of R, Ann(I) = O(S supp(I)) .
Proof. (a) let I and J be two ideals of R and P ∈ intV (I). Then there is an
a ∈ R such that P ∈ supp(a) ⊆ V (I). Hence supp(Ia) = supp(I) ∩ supp(a) = ∅,
thus Ia = 0. This implies that a ∈ Ann(I) ⊆ Ann(J), so Ja = 0. Therefore
P ∈ supp(a) ⊆ intV (J). Conversely, let x ∈ Ann(I). Then Ix = 0. so supp(x) ⊆
intV (I) ⊆ intV (J). This shows that supp(Jx) = supp(x) ∩ supp(J) = ∅. Hence
Jx = 0, i.e, x ∈ Ann(J).
(b) Let Ann(OA ) ⊆ Ann(x). By (a),
A ⊆ intclA = intV (OA ) ⊆ intV (x) ⊆ V (x).

14

A. Taherifar

So x ∈ OA .
(c) Suppose that I is an annihilator ideal and A = intV (I). We claim that
I = OA . If a ∈ I, then intV (I) ⊆ V (a), i.e, a ∈ OA . Now let a ∈ OA . Then A =
intV (I) ⊆ intV (a), so Ann(I) ⊆ Ann(a). On the other hand I is an annihilator,
hence a ∈ I.
(d) We have OA = OB . This implies that V (OB ) = V (OA ), i.e., cl(B) = cl(A).
Conversely, clA = clB implies that OA = OclA = OclB = OB .
(e) Let A be a clopen subset, I = OA and J = OAc . Then A = clA = V (OA ) =
V (I) and Ac = V (OAc ) = V (J). Hence V (I + J) = V (I) ∩ V (J) = ∅, so there are
a ∈ I and b ∈ J such that 1 = a + b. But V (a) ∪ V (b) = Spec(R), thus we have
ab = 0, this implies that a = a2 and V (I) = V (a). The
S converse is evident.
(f ) If r ∈ Ann(I), then ra = 0, for all a ∈ I, so supp(I) ⊆ V (r), this shows
that r ∈ O(S supp(I)) . Now r ∈ O(S supp(I)) , implies that supp(a) ⊆ V (r), for all
a ∈ I, so supp(a) ∩ supp(r) = supp(ra) = ∅, i.e, ra = 0. Hence r ∈ Ann(I).

Theorem 4.2. Let R be a reduced ring. The following statements are equivalent.
(a) The space of prime ideals, Spec(R), is an EZ-space.
(b) For every ideal I of R, there exists a subset E of idempotents of R such that
Ann(I) = Ann(E).
(c) For every a ∈ R, there exists a subset S of idempotents of R such that
Ann(a) = Ann(S).
(d) ForSany a ∈ R, there exists a clopen subset S of Spec(R) such that cl(supp(a)) =
cl( supp(S)).
S
Proof. (a) ⇒ (b) Let I be an ideal of R. Then we have supp(I) is an open
subset of Spec(R). By
S hypothesis, there
S exists a collection {Aα : α ∈ S} of clopen
subsets such that cl( supp(I)) = cl( α∈S Aα ). By Lemma 4.1, for each α ∈ S
there exists an idempotent eα such that Aα = supp(eα ). Therefore,
S
S
cl( supp(I)) = cl( α∈S supp(eα )).
Again by Lemma 4.1, we have Ann(I) = Ann(E) where E = {eα : α ∈ S}.
(b) ⇒ (a) Let A
S be an open subset of Spec(R). Then there exists a subset K of
R such that A = supp[K]. Now suppose that I be the ideal generated by K in
R. Then by hypothesis and Lemma 4.1, there exists a subset E of idempotents of
R such that OAS= Ann(I) = Ann(E) = OS supp[E]. Therefore, Lemma 4.1 implies
that cl(A) = cl( supp[E]).
(b) ⇒ (c) This is evident.
T
(c) ⇒ (b) For an ideal I of R we have Ann(I) = a∈I Ann(a). By hypothesis,
for each a ∈ R there
T exists a subset Sa ofSidempotents such that Ann(a) = Ann(Sa ).
Hence Ann(I) = a∈I Ann(Sa ) = Ann( a∈I Sa ).
(c) ⇔ (d) By Lemma 4.1, Ann(a) = Ann(S) for some
S subset S of R if and only
S
if Osupp(a) = O supp(S) if and only if cl(supp(a)) = cl( supp(S)).

We denote by M ax(R) the space of maximal ideals of R. For a ∈ R, let D(a) =

Some new classes of topological spaces and annihilator ideals

15

{M ∈ M ax(R) : a ∈
/ M }. It is easy to see that for any R, {D(a) : a ∈ R} forms a
basis of open sets on M ax(R). This topology is called the Zariski topology. We use
M (I)(MT
(a)) to denote the set of M ∈ M ax(R), where I ⊆ M (a ∈ M ). Note that
M (I) = a∈I M (a) and M (a) = M ax(R) \ D(a) (see [9]).
For an open subset A of M ax(R), suppose that T
MA := {a ∈ R : A ⊆ M (a)}.
Then we can see that MA is an ideal of R, MA = M ∈A M and M (MA ) = clA,
where clA is the cluster points of A in M ax(R).
Lemma 4.3. Let R be a ring satisfying J(R) = 0.
(a) For ideals I, J of R, Ann(I) ⊆ Ann(J) if and only if intM (I) ⊆ intM (J).
(b) For an open subset A of M ax(R), MA is an annihilator ideal.
(c) If I is an annihilator ideal of R, then there exists an open subset A of M ax(R)
such that I = MA .
(d) For open subsets A, B of M ax(R), MA = MB if and only if clB = clA.
(e) A ⊆ M ax(R) is a clopen subset if and only if there is an idempotent e ∈ R
such that A = M (e) = D(1 − e).
(f ) For any ideal I of R, Ann(I) = M(S D(I)) .
Proof. The proof is similar to that of Lemma 4.1.



Theorem 4.4. Let R be a ring satisfying J(R) = 0. Then M ax(R) is an EZ-space
if and only if for any ideal I of R there exists a subset E of idempotents such that
Ann(I) = Ann(E).
Proof. The proof is similar to that of Theorem 4.2 (a) ⇔ (b).

Recall that a ring R is called potent if idempotents can be lifted (mod J(R)) and
every ideal I of R which is not contained in J(R) contains a non-zero idempotent
[14].
Corollary 4.5. Let R be a ring satisfying J(R) = 0. If R is potent, then for any
ideal I of R there exists a subset E of idempotents such that Ann(I) = Ann(E).
Proof. This is a consequence of [18, Proposition 4.4] and Theorem 4.4.



Remark 4.6. The converse of Corollary 4.5 need not be true. For example, let
R = Z. Then for any nonzero ideal I of R we have Ann(I) = Ann(E), where
E = {1} and J(R) = 0. But R is not a potent ring.
Corollary 4.7. Let X be a completely regular Hausdorff space. The following
statements are equivalent.
(a) X is an EZ-space.
(b) Spec(C(X)) is an EZ-space.
(c) M ax(C(X)) is an EZ-space.
Proof. This is a consequence of Theorems 3.7, 4.2 and 4.4.



16

A. Taherifar

Acknowledgement.
The author wishes to thank Dr. M. R. Koushesh for his encouragement and discussion on this paper. The author also is thankful to the referee for suggesting
many improvements; in particular, Proposition 3.1 (b) and Lemma 3.2 are due to
the referee.

References
[1] F. Azarpanah and O. A. S. Karamzadeh, Algebraic characterization of some
disconnected spaces, Italian. J. Pure Appl. Math. 12(2002), 155-168.
[2] A. Bella, A. W. Hager, J. Martinez, S. Woodward, H. Zhou, Speaker spaces and
their absolutes, I. Top. Appl. 72(1996), 259-271.
[3] A. Bella, J. Martinez, S. Woodward, Algebra and spaces of dense constancies,
Czechoslovak Math. J. 51(2001), 449-461.
[4] G. F. Birkenmeier, M. Ghirati and A. Taherifar, When is a sum of annihilator
ideals an annihilator ideal? To apear in Comm. Algebra. 2014.
[5] W. W. Comfort and S. Negrepontis, The Theory of Ultrafilters, Die
Grundlehren der Math. Wissenschaften, Band 211, Springer-Verlag, New YorkHeidelberg-Berlin, 1974.
[6] R. Engelking, General Topology, Sigma Series in Pure Mathematics, Vol. 6,
Heldermann Verlag, Berlin, 1989.
[7] L. Gillman and M. Jerison, Rings of Continuous Functions, Springer, 1976.
[8] E. Hewitt, A problem of set-theoretic topology, Duke Math. J. 10(1943), 309333.
[9] J. A. Huckaba, Commutative Rings with Zero Divisors, Marcel Dekker Inc.,
New York, 1988.
[10] L. Kaplansky, Rings of Operators, Mathematics Lecture Note series, W. A.
Benjamin, New York, 1968.
[11] M. L. Knox, and W. Wm. McGovern, Rigid extensions of l-groups of continuous
functions, Czechoslovak Math. J. 58(2008), 993-1014.
′

[12] M. Mandelker, F -spaces and z-emnedded subspaces, Pacific J. Math. 28, No.
3, 1969
[13] W. Wm. McGovern, Clean semiprime f -rings with bounded inversion, Comm.
Algebra. 31(2003), 3295-3304.
[14] W. K. Nicholson, Lifting idempotents and exchange rings, Trans. Amer. Math.
Soc. 229(1977), 269-278.

Some new classes of topological spaces and annihilator ideals

17

[15] W. Sierpinski, Sur les ensembles connexes et non connexes, Fund. Math.
2(1921), 81-95.
[16] M. A. Swardson, A generalization of F-space and some toplogical characterizations of GCH, Trans. Amer. Math. Soc. 279(1983), 661-675.
[17] M. H. Stone, Algebraic characterizations of special Boolean rings, Fund. Math.
29(1937), 223-302.
[18] K. Varadarajan, Clean, almost clean, potent commutative rings, J. Algebra
Appl. 6(2007), 671-685.

