ON FEEBLY COMPACT SEMITOPOLOGICAL SYMMETRIC INVERSE
SEMIGROUPS OF A BOUNDED FINITE RANK

arXiv:1708.02064v2 [] 30 Jan 2018

OLEG GUTIK
Abstract. We study feebly compact shift-continuous T1 -topologies on the symmetric inverse semigroup
Iλn of finite transformations of the rank 6 n. For any positive integer n > 2 and any infinite cardinal
λ a Hausdorff countably pracompact non-compact shift-continuous topology on Iλn is constructed. We
show that for an arbitrary positive integer n and an arbitrary infinite cardinal λ for a T1 -topology τ
on Iλn the following conditions are equivalent: (i) τ is countably pracompact; (ii) τ is feebly compact;
(iii) τ is d-feebly compact; (iv) (Iλn , τ ) is H-closed; (v) (Iλn , τ ) is Nd -compact for the discrete countable
space Nd ; (vi) (Iλn , τ ) is R-compact; (vii) (Iλn , τ ) is infra H-closed. Also we prove that for an arbitrary
positive integer n and an arbitrary infinite cardinal λ every shift-continuous semiregular feebly compact
T1 -topology τ on Iλn is compact.

We follow the terminology of [6, 7, 8, 26, 27]. If X is a topological space and A ⊆ X, then by clX (A)
and intX (A) we denote the topological closure and interior of A in X, respectively. By |A| we denote
the cardinality of a set A, by A△B the symmetric difference of sets A and B, by N the set of positive
integers, and by ω the first infinite cardinal.
A semigroup S is called inverse if every a in S possesses an unique inverse a−1 , i.e. if there exists an
unique element a−1 in S such that
aa−1 a = a

a−1 aa−1 = a−1 .

and

A map which associates to any element of an inverse semigroup its inverse is called the inversion.
A topological (inverse) semigroup is a topological space together with a continuous semigroup operation (and an inversion, respectively). Obviously, the inversion defined on a topological inverse semigroup
is a homeomorphism. If S is a semigroup (an inverse semigroup) and τ is a topology on S such that
(S, τ ) is a topological (inverse) semigroup, then we shall call τ a semigroup (inverse) topology on S.
A semitopological semigroup is a topological space together with a separately continuous semigroup
operation. If S is a semigroup (an inverse semigroup) and τ is a topology on S such that (S, τ ) is a
semitopological semigroup (with continuous inversion), then we shall call τ a shift-continuous (inverse)
topology on S.
If S is a semigroup, then by E(S) we denote the subset of all idempotents of S. On the set of
idempotents E(S) there exists a natural partial order: e 6 f if and only if ef = f e = e. A semilattice
is a commutative semigroup of idempotents. A topological (semitopological) semilattice is a topological
space together with a continuous (separately continuous) semilattice operation. If S is a semilattice
and τ is a topology on S such that (S, τ ) is a topological semilattice, then we shall call τ a semilattice
topology on S.
Every inverse semigroup S admits a partial order:
a4b

if and only if there exists

e ∈ E(S) such that a = eb.

We shall say that 4 is the natural partial order on S.
Let λ be an arbitrary non-zero cardinal. A map α from a subset D of λ into λ is called a partial
transformation of λ. In this case the set D is called the domain of α and is denoted by dom α. The
image of an element x ∈ dom α under α is denoted by xα Also, the set {x ∈ λ : yα = x for some y ∈ Y }
is called the range of α and is denoted by ran α. The cardinality of ran α is called the rank of α and is
Date: January 31, 2018.
2010 Mathematics Subject Classification. Primary 22A15, 54D45, 54H10; Secondary 54A10, 54D30, 54D40.
Key words and phrases. Semigroup, inverse semigroup, semitopological semigroup, compact, countably compact, countably pracompact, feebly compact, H-closed, infra H-closed, X-compact, semiregular space.
1

2

OLEG GUTIK

denoted by rank α. For convenience we denote by ∅ the empty transformation, a partial mapping with
dom ∅ = ran ∅ = ∅.
Let Iλ denote the set of all partial one-to-one transformations of λ together with the following
semigroup operation:
x(αβ) = (xα)β

if x ∈ dom(αβ) = {y ∈ dom α : yα ∈ dom β},

for α, β ∈ Iλ .

The semigroup Iλ is called the symmetric inverse semigroup over the cardinal λ (see [7]). The symmetric
inverse semigroup was introduced by V. V. Wagner [29] and it plays a major role in the theory of
semigroups.
Put Iλn = {α ∈ Iλ : rank α 6 n}, for n = 1, 2, 3, . . .. Obviously, Iλn (n = 1, 2, 3, . . .) are inverse
semigroups, Iλn is an ideal of Iλ , for each n = 1, 2, 3, . . .. The semigroup Iλn is called the symmetric
inverse semigroup of finite transformations of the rank 6 n. By


x1 x2 · · · xn
y1 y2 · · · yn
we denote a partial one-to-one transformation which maps x1 onto y1 , x2 onto y2 , . . ., and xn onto yn .
Obviously, in such case we have xi 6= xj and yi 6= yj for i 6= j (i, j = 1, 2, 3, . . . , n). The empty partial
map ∅ : λ ⇀ λ is denoted by 0. It is obvious that 0 is zero of the semigroup Iλn .
Let λ be a non-zero cardinal. On the set Bλ = (λ ×λ) ∪{0}, where 0 ∈
/ λ ×λ, we define the semigroup
operation “ · ” as follows

(a, d), if b = c;
(a, b) · (c, d) =
0,
if b 6= c,

and (a, b) · 0 = 0 · (a, b) = 0 · 0 = 0 for a, b, c, d ∈ λ. The semigroup Bλ is called the semigroup of
λ × λ-matrix units (see [7]). Obviously, for any cardinal λ > 0, the semigroup of λ × λ-matrix units Bλ
is isomorphic to Iλ1 .
A subset A of a topological space X is called regular open if intX (clX (A)) = A.
We recall that a topological space X is said to be
• functionally Hausdorff if for every pair of distinct points x1 , x2 ∈ X there exists a continuous
function f : X → [0, 1] such that f (x1 ) = 0 and f (x2 ) = 1;
• semiregular if X has a base consisting of regular open subsets;
• quasiregular if for any non-empty open set U ⊂ X there exists a non-empty open set V ⊂ U
such that clX (V ) ⊆ U;
• compact if each open cover of X has a finite subcover;
• sequentially compact if each sequence {xi }i∈N of X has a convergent subsequence in X;
• countably compact if each open countable cover of X has a finite subcover;
• H-closed if X is a closed subspace of every Hausdorff topological space in which it is contained;
• infra H-closed provided that any continuous image of X into any first countable Hausdorff space
is closed (see [20]);
• countably compact at a subset A ⊆ X if every infinite subset B ⊆ A has an accumulation point
x in X;
• countably pracompact if there exists a dense subset A in X such that X is countably compact
at A;
• feebly compact if each locally finite open cover of X is finite;
• d-feebly compact (or DFCC ) if every discrete family of open subsets in X is finite (see [24]);
• pseudocompact if X is Tychonoff and each continuous real-valued function on X is bounded;
• Y -compact for some topological space Y , if f (X) is compact, for any continuous map f : X → Y .
According to Theorem 3.10.22 of [8], a Tychonoff topological space X is feebly compact if and only
if X is pseudocompact. Also, a Hausdorff topological space X is feebly compact if and only if every
locally finite family of non-empty open subsets of X is finite. Every compact space and every sequentially
compact space are countably compact, every countably compact space is countably pracompact, every

ON FEEBLY COMPACT SEMITOPOLOGICAL SYMMETRIC INVERSE SEMIGROUPS OF ...

3

countably pracompact space is feebly compact (see [3]), every H-closed space is feebly compact too (see
[15]). Also, every space feebly compact is infra H-closed by Proposition 2 and Theorem 3 of [20].
Topological properties of an infinite (semi)topological semigroup λ × λ-matrix units were studied in
[12, 13, 14]. In [13] it was shown that on the infinite semitopological semigroup λ × λ-matrix units Bλ
there exists a unique Hausdorff topology τc such that (Bλ , τc ) is a compact semitopological semigroup
and it was also shown that every pseudocompact Hausdorff shift-continuous topology τ on Bλ is compact.
Also, in [13] it was proved that every non-zero element of a Hausdorff semitopological semigroup λ × λmatrix units Bλ is an isolated point in the topological space Bλ . In [12] it was shown that the infinite
semigroup λ × λ-matrix units Bλ cannot be embedded into a compact Hausdorff topological semigroup,
every Hausdorff topological inverse semigroup S that contains Bλ as a subsemigroup, contains Bλ as
a closed subsemigroup, i.e., Bλ is algebraically complete in the class of Hausdorff topological inverse
semigroups. This result in [11] was extended onto so called inverse semigroups with tight ideal series and,
as a corollary, onto the semigroup Iλn . Also, in [16] it was proved that for every positive integer n the
semigroup Iλn is algebraically h-complete in the class of Hausdorff topological inverse semigroups, i.e.,
every homomorphic image of Iλn is algebraically complete in the class of Hausdorff topological inverse
semigroups. In the paper [17] this result was extended onto the class of Hausdorff semitopological inverse
semigroups and it was shown therein that for an infinite cardinal λ the semigroup Iλn admits a unique
Hausdorff topology τc such that (Iλn , τc ) is a compact semitopological semigroup. Also, it was proved
in [17] that every countably compact Hausdorff shift-continuous topology τ on Bλ is compact. In [14]
it was shown that a topological semigroup of finite partial bijections Iλn with a compact subsemigroup
of idempotents is absolutely H-closed (i.e., every homomorphic image of Iλn is algebraically complete
in the class of Hausdorff topological semigroups) and any countably compact topological semigroup
does not contain Iλn as a subsemigroup for infinite cardinal λ. In [14] there were given sufficient
conditions onto a topological semigroup Iλ1 to be non-H-closed. Also in [10] it was proved that an
infinite semitopological semigroup of λ × λ-matrix units Bλ is H-closed in the class of semitopological
semigroups if and only if the space Bλ is compact.
For an arbitrary positive integer n and an arbitrary non-zero cardinal λ we put
expn λ = {A ⊆ λ : |A| 6 n} .
It is obvious that for any positive integer n and any non-zero cardinal λ the set expn λ with the binary
operation ∩ is a semilattice. Later in this paper by expn λ we shall denote the semilattice (expn λ, ∩). It
is easy to see that expn λ is isomorphic to the subsemigroup of idempotents (the band) of the semigroup
Iλn for any positive integer n. We observe that for every positive integer n the band of the semigroup
Iλn is isomorphic to the semilattice expn λ by the mapping E(Iλn ) ∋ ε 7→ dom ε.
In the paper [18] feebly compact shift-continuous topologies τ on the semilattice expn λ were studied,
and all compact semilattice topologies on expn λ were described. In [18] it was whown that for an arbitrary positive integer n and an arbitrary infinite cardinal λ for a T1 -topology τ on expn λ the following
conditions are equivalent: (i) (expn λ, τ ) is a compact topological semilattice; (ii) (expn λ, τ ) is a countably compact topological semilattice; (iii) (expn λ, τ ) is a feebly compact topological semilattice; (iv)
(expn λ, τ ) is a compact semitopological semilattice; (v) (expn λ, τ ) is a countably compact semitopological semilattice. Also, in [18] there was constructed a countably pracompact H-closed quasiregular
non-semiregular topology τfc2 such that (exp2 λ, τfc2 ) is a semitopological semilattice with the discontinuous semilattice operation and it was proved that for an arbitrary positive integer n and an arbitrary
infinite cardinal λ a semiregular feebly compact semitopological semilattice expn λ is a compact topological semilattice. In [19] it was shown that for an arbitrary positive integer n and an arbitrary infinite
cardinal λ for a T1 -topology τ on expn λ the following conditions are equivalent: (i) τ is countably
pracompact; (ii) τ is feebly compact; (iii) τ is d-feebly compact; (iv) (expn λ, τ ) is an H-closed space.
This paper is a continuation of [11, 13, 16, 17]. We study feebly compact shift-continuous T1 -topologies
on the semigroup Iλn . For any positive integer n > 2 and any infinite cardinal λ a Hausdorff countably
pracompact non-compact shift-continuous topology on Iλn is constructed. We show that for an arbitrary
positive integer n and an arbitrary infinite cardinal λ for a T1 -topology τ on Iλn the following conditions

4

OLEG GUTIK

are equivalent: (i) τ is countably pracompact; (ii) τ is feebly compact; (iii) τ is d-feebly compact; (iv)
(Iλn , τ ) is H-closed; (v) (Iλn , τ ) is Nd -compact for the discrete countable space Nd ; (vi) (Iλn , τ ) is Rcompact; (vii) (Iλn , τ ) is infra H-closed. Also we prove that for an arbitrary positive integer n and an
arbitrary infinite cardinal λ every shift-continuous semiregular feebly compact T1 -topology τ on Iλn is
compact.
Later we shall assume that n is an arbitrary positive integer.
For every element α of the semigroup Iλn we put


↑l α = β ∈ Iλn : αα−1 β = α
and
↑r α = β ∈ Iλn : βα−1α = α .

Then Proposition 5 of [17] implies that ↑l α = ↑r α and by Lemma 6 of [23, Section 1.4] we have that
α 4 β if and only if β ∈ ↑l α for α, β ∈ Iλn . Hence we put ↑4 α = ↑l α = ↑r α for any α ∈ Iλn .
The definition of the semigroup operation of Iλn implies the following trivial lemma.
Lemma 1. Let n be an arbitrary positive integer and λ be any cardinal. Then for any elements α and
β of the semigroup Iλn the sets αIλn β and
↓4 α = {γ ∈ Iλn : γ 4 α}
are finite.
Proof. For any elements α and β of Iλn we have that
αIλn β = αIλn ∩ Iλn β = {γ ∈ Iλn : dom γ ⊆ dom α and ran γ ⊆ ran β} .
Since the sets dom α and ran β are finite, αIλn β is finite, as well.
For every γ ∈ ↓4 α the definition of the natural partial order 4 on the semigroup Iλn (see [23,
Chapter 1]) implies that the finite partial map γ is a restriction of the finite partial map α onto the set
A = dom α ∩ dom ε, where ε is an idempotent of Iλn such that γ = εα. This implies that the set ↓4 α
is finite.

Lemma 2. Let n be an arbitrary positive integer, λ be any infinite cardinal and τ be a shift-continuous
T1 -topology on semigroup Iλn . Then for every element α of the semigroup Iλn the set ↑4 α is open-andclosed in (Iλn , τ ), the space (Iλn , τ ) is functionally Hausdorff and hence it is quasi-regular.
Proof. Fix an arbitrary α ∈ Iλn . Then α ∈ αIλn α and
αIλn α = αIλn ∩ Iλn α = αα−1 Iλn ∩ Iλn α−1 α = αα−1 Iλn α−1 α,
because Iλn is an inverse semigroup. Since the topology τ is T1 , Lemma 1 implies that the set (αIλn α) \
{α} is closed in (Iλn , τ ). By the separate continuity of the semigroup operation in (Iλn , τ ) we have that
there exists an open neighbourhood U(α) of the point α in (Iλn , τ ) such that
αα−1 · U(α) · α−1 α ⊆ Iλn \ ((αIλn ∪ Iλn α) \ {α}) .
The last inclusion implies that U(α) ⊆ ↑α. Again, since the semigroup operation in (Iλn , τ ) is separately
continuous the set ↑4 α is open in (Iλn , τ ) as a full preimage of U(α) and the set ↑4 α is closed in (Iλn , τ )
as a full preimage of the singleton set {α}.
Fix arbitrary distinct elements α and β of the semigroup Iλn . Then either α and β are comparable or
not with respect to the natural partial order on Iλn . If α 4 β or α and β are incomparable in (Iλn , 4)
then it is obvious that the map g : Iλn → [0, 1] defined by the formula

1, if γ ∈ ↑4 β;
(γ)f =
0, if γ ∈
/ ↑4 β
is continuous. We observe that quasi-regularity of (Iλn , τ ) follows from the fact that every non-empty
open subset U of (Iλn , τ ) contains a maximal element δ with respect to the natural partial order 4 on
Iλn such that ↑4 α is an open-and-closed subset of (Iλn , τ ) and hence, since τ is a T1 -topology, {α} ⊆ U
is an open-and-closed subset of (Iλn , τ ).

A topological space X is called

ON FEEBLY COMPACT SEMITOPOLOGICAL SYMMETRIC INVERSE SEMIGROUPS OF ...

5

• totally disconnected if the connected components in X are singleton sets;
• scattered if X does not contain non-empty dense in itself subset, which is equivalent that every
non-empty subset of X has an isolated point in itself.
Lemma 2 implies the following corollary:
Corollary 3. Let n be an arbitrary positive integer, λ be any infinite cardinal and τ be a shift-continuous
T1 -topology on the semigroup Iλn . Then (Iλn , τ ) is a totally disconnected scattered space.
A partial order ≤ on a topological space X is called closed if the relation ≤ is a closed subset of
X × X in the product topology. In this case (X, ≤) is called a pospace [9].
Lemma 2 and Proposition VI-1.4 from [9] imply the following corollary:
Corollary 4. Let n be an arbitrary positive integer, λ be any infinite cardinal and τ be a shift-continuous
T1 -topology on semigroup Iλn . Then (Iλn , τ, 4) is a pospace
The following example shows that the statement of Lemma 2 does not hold in the case when (Iλn , τ )
is a T0 -space.
Example 5. For an arbitrary positive integer n and an arbitrary infinite cardinal λ we define a topology
τ0 on Iλn in the following way:
(i) all non-zero elements of the semigroup Iλn are isolated points in (Iλn , τ0 ); and
(ii) Iλn is the unique open neighbourhood of zero in (Iλn , τ0 ).
Simple verifications show that the semigroup operation and inversion on (Iλn , τ0 ) are continuous.
We need the following example from [17].
Example 6 ([17]). Fix an arbitrary positive integer n. The following family

Bc = Uα (α1 , . . . , αk ) = ↑4 α \ (↑4 α1 ∪ · · · ∪ ↑4 αk ) :
αi ∈ ↑4 α \ {α}, α, αi ∈ Iλn , i = 1, . . . , k

determines a base of the topology τc on Iλn . By Proposition 10 from [17], (Iλn , τc ) is a Hausdorff
compact semitopological semigroup with continuous inversion.
By Theorem 7 from [17], for an arbitrary infinite cardinal λ and any positive integer n every countably
compact Hausdorff semitopological semigroup Iλn is topologically isomorphic to (Iλn , τc ). By Corollary 3 the topological space (Iλn , τc ) is scattered. Since every countably compact scattered T3 -space is
sequentially compact (see [28, Theorem 5.7]), (Iλn , τc ) is a sequentially compact space.
Next we summarise the above results in the following theorem.
Theorem 7. Let n be an arbitrary positive integer, λ be any infinite cardinal and τ be a T1 -shift
continuous topology on the semigroup Iλn . Then the following conditions are equivalent:
(i) τ is compact;
(ii) τ = τc ;
(iii) τ is countably compact;
(iv) τ is sequentially compact.
Since every feebly compact Hausdorff topology on the semigroup Iλ1 is compact, it is natural to ask:
Does there exist a shift-continuous Hausdorff non-compact feebly compact topology τ on the semigroup
Iλn for n > 2?
The following example shows that for any infinite cardinal λ and any positive integer n > 2 there
exists a Hausdorff feebly compact topology τ on the semigroup Iλn such that (Iλn , τ ) is a non-compact
semitopological semigroup.
Example 8. Let λ be any infinite cardinal and τc2 = τc be the topology on the semigroup Iλ2 which
is defined in Example 6. We construct a stronger topology τfc2 on Iλ2 then τc2 in the following way. By
π : λ → Iλ2 : a 7→ εa we denote the map which assigns to any element a ∈ λ the identity partial map

6

OLEG GUTIK

εa : {a} → {a}. Fix an arbitrary infinite subset A of λ. For every non-zero element x ∈ Iλ2 we assume
that the base Bfc2 (x) of the topology τfc2 at the point x coincides with the base of the topology τc2 at x,
and

Bfc2 (0) = UB (0) = U(0) \ ((B)π ∪ {α1 , . . . , αs }) : U(0) ∈ Bc2 (0), α1, . . . , αs ∈ Iλ2 \ {0}
and B ⊆ λ such that |A△B| < ∞}

form a base of the topology τfc2 at zero 0 of the semigroup Iλ2 . Simple verifications show that the family
{Bfc2 (x) : x ∈ Iλ2 } satisfies conditions (BP1)–(BP4) of [8], and hence τfc2 is a Hausdorff topology on
Iλ2 .
Proposition 9. Let λ be an arbitrary infinite cardinal. Then (Iλ2 , τfc2 ) is a countably pracompact
semitopological semigroup with continuous inversion.
Proof. It is obvious that the inversion in (Iλ2 , τfc2 ) is continuous and later we shall show that all translations in (Iλ2 , τfc2 ) are continuous maps. We consider the following possible cases.
(1) 0 · 0 = 0. For every basic open neighbourhood UB (0) of zero in (Iλ2 , τfc2 ) we have that
UB (0) · 0 = 0 · UB (0) = {0} ⊂ Uπ (0).
(2) α · 0 = 0. For all basic open neighbourhoods UB (0) and Uα (β1 , . . . , βk ) of zero and an element
α 6= 0 in (Iλ2 , τfc2 ), respectively, we have that
Uα (β1 , . . . , βk ) · 0 = {0} ⊂ UB (0).
Iλ2

Let VB (0) =
\ (↑4 α1 ∪ · · · ∪ ↑4 αk ∪ (B)π) be an arbitrary basic neighbourhood of zero in (Iλ2 , τfc2 ).
Without loss of generality we may assume that
rank α1 = . . . = rank αk = 1 6 rank α.
Put

Cl = γ ∈ Iλ2 : rank γ = 1 such that αγ = αi for some i = 1, . . . , k
or αγ ∈ E(Iλ2 ) \ {0} .

The definition of the
semigroup
Iλ2 implies that the set Cl is finite. Then we have that α·WB (0) ⊆ VB (0)

S
↑4 γ : γ ∈ Cl .
for WB (0) = Iλ2 \
(3) 0 ·α = 0. For all basic open neighbourhoods UB (0) and Uα (β1 , . . . , βk ) of zero and an element
α 6= 0 in (Iλ2 , τfc2 ), respectively, we have that
0 ·Uα (β1 , . . . , βk ) = {0} ⊂ UB (0).
Iλ2

Let VB (0) =
\ (↑4 α1 ∪ · · · ∪ ↑4 αk ∪ (B)π) be an arbitrary basic neighbourhood of zero in (Iλ2 , τfc2 ).
Without loss of generality we may assume that
rank α1 = . . . = rank αk = 1 6 rank α.
Put

Cr = γ ∈ Iλ2 : rank γ = 1 such that γα = αi for some i = 1, . . . , k
or γα ∈ E(Iλ2 ) \ {0} .

The definition of the
Iλ2 implies that the set Cr is finite. Then we have that WB (0)·α ⊆ VB (0)

S semigroup
2
↑4 γ : γ ∈ Cr .
for WB (0) = Iλ \
(4) α · β = γ 6= 0 and rank α = rank β = rank γ, i.e., ran α = dom β. Then for any open neighbourhoods Uα (α1 , . . . , αk ), Uβ (β1 , . . . , βn ), Uγ (γ1 , . . . , γm ) of the points α, β and γ in (Iλ2 , τfc2 ), respectively,
we have that
Uα (α1 , . . . , αk ) · β = α · Uβ (β1 , . . . , βn ) = {γ} ⊆ Uγ (γ1 , . . . , γm).
(5) α · β = γ 6= 0 and rank α = rank γ = 1 and rank β = 2, i.e., ran α $ dom β. Then for any open
neighbourhoods Uβ (β1 , . . . , βn ) and Uγ (γ1 , . . . , γm ) of the points β and γ in (Iλ2 , τfc2 ), respectively, we
have that
α · Uβ (β1 , . . . , βn ) = {γ} ⊆ Uγ (γ1 , . . . , γm).

ON FEEBLY COMPACT SEMITOPOLOGICAL SYMMETRIC INVERSE SEMIGROUPS OF ...

7

Let Uγ (γ1 , . . . , γk ) be an arbitrary open neighbourhood of the point γ in (Iλ2 , τfc2 ) for some γ1 , . . . , γk ∈
↑4 γ, i.e., rank γ1 = . . . = rank γk = 2. Put

Q = δ ∈ ↑4 α : δβ ∈ {γ1 , . . . , γk } .

The definition of the semigroup Iλ2 implies that the set Q is finite. Then we have that

Uα (Q) · β ⊆ Uγ (γ1 , . . . , γk )

for Uα (Q) = ↑4 α \ δ ∈ ↑4 α : δ ∈ Q .
(6) α · β = γ 6= 0 and rank β = rank γ = 1 and rank α = 2, i.e., dom β $ ran α. In this case the proof
of separate continuity of the semigroup operation on (Iλ2 , τfc2 ) is dual to case (5).
(7) α · β = γ 6= 0, rank γ = 1 and rank α = rank β = 2. Then α and β are isolated points in (Iλ2 , τfc2 )
and hence
α · β = γ ⊆ Uγ (γ1 , . . . , γk ),
for any basic open neighbourhood Uγ (γ1 , . . . , γk ) of γ in (Iλ2 , τfc2 ).
(8) α · β = 0. Then dom β ∩ ran α = ∅ and hence
Uα (α1 , . . . , αk ) · β = α · Uβ (β1 , . . . , βn ) = {0} ⊂ UB (0),
for any basic open neighbourhoods Uα (α1 , . . . , αk ), Uβ (β1 , . . . , βn ) and UB (0) of α, β and zero 0 in
(Iλ2 , τfc2 ), respectivelly.
Thus we have shown that the translations in (Iλ2 , τfc2 ) are continuous maps.
Also, the definition of the topology τfc2 on Iλ2 implies that the set Iλ2 \ Iλ1 is dense in (Iλ2 , τfc2 ) and
every infinite subset of Iλ2 Iλ1 has an accumulation point in (Iλ2 , τfc2 ), and hence the space (Iλ2 , τfc2 ) is
countably pracompact.

Proposition 10. Let n be an arbitrary positive integer and λ be an arbitrary infinite cardinal. Then for
every d-feebly compact shift-continuous T1 -topology τ on Iλn the subset Iλn \ Iλn−1 is dense in (Iλn , τ ).
Proof. Since every quasi-regular d-feebly compact space is feebly compact (see [19, Theorem 2]), by
Lemma 2 the topology τ is feebly compact.
Suppose to the contrary that there exists a feebly compact shift-continuous T1 -topology τ on Iλn
in (Iλn , τ ). Then there exists a point α ∈ Iλn−1 of the space (Iλn , τ )
such that Iλn \ Iλn−1 is not dense

n−1
. This implies that there exists an open neighbourhood U(α) of α in
such that α ∈
/ clIλn Iλn \ Iλ

n
n
(Iλ , τ ) such that U(α) ∩ Iλ \ Iλn−1 = ∅. Lemma 2 implies that ↑4 α is an open-and-closed subset
of (Iλn , τ ) and hence by Theorem 14 of [4], ↑4 α is feebly compact. This implies that without loos of
generality we may assume that U(α) ⊆ ↑4 x ∩ Iλn−1 . By the definition of the semigroup Iλn we have
that there exists a point β ∈ U(α) such that ↑4 β ∩ U(α) = {β}. Again, by Lemma 2 we have that
↑4 β is an open-and-closed subset of (Iλn , τ ) and hence by Theorem 14 of [4], ↑4 β is feebly compact.
Moreover, our choice implies that β is an isolated point in the subspace ↑4 β of (Iλn , τ ).
Suppose that


x1 · · · xk
β=
,
y1 · · · yk
for some finite subsets {x1 , · · · , xk } and {y1 , · · · , yk } of distinct points from λ. Then the above arguments imply that k < n. Put p = n − k. Next we fix an arbitrary infinite sequence {ai }i∈N of distinct
elements of the set λ \ ({x1 , · · · , xk } ∪ {y1 , · · · , yk }).
For arbitrary positive integer j we put


x1 · · · xk ap(j−1)+1 · · · apj
.
βj =
y1 · · · yk ap(j−1)+1 · · · apj

Then βj ∈ Iλn for any positive integer j. Moreover, we have that βj ∈ Iλn \ Iλn−1 and βj ∈ ↑4 β for
any positive integer j.

8

OLEG GUTIK

We claim that the set ↑4 γ ∩ {βj : j ∈ N} is finite for any γ ∈ ↑4 β \ {β}. Indeed, if the set ↑4 γ ∩
{βj : j ∈ N} is infinite for some γ ∈ ↑4 β \ {β} then dom γ contains infinitely many points of the set
{ai : i ∈ N}, which contradicts that γ ∈ Iλn .
By Lemma 2 for every γ ∈ Iλn the set ↑4 γ is open in (Iλn , τ ). Then since β is an isolated point in
↑4 β, our claim implies that the infinite family of isolated points U = {{bj } : j ∈ N} is locally finite in
↑4 β, which contradicts that the subspace ↑4 β of (Iλn , τ ) is feebly compact. The obtained contradiction
implies the statement of the proposition.

Remark 11. The following three examples of topological semigroups of matrix units (Bλ , τmv ), (Bλ , τmh )
and (Bλ , τmi ) from [12] imply that the converse to Proposition 10 is not true for any infinite cardinal λ.
Later by Nd and R we denote the sets of positive integers with the discrete topology and the real
numbers with the usual topology.
Theorem 12. Let n be an arbitrary positive integer and λ be an arbitrary infinite cardinal. Then for
every shift-continuous T1 -topology τ on the semigroup Iλn the following statements are equivalent:
(i) τ is countably pracompact;
(ii) τ is feebly compact;
(iii) τ is d-feebly compact;
(iv) (Iλn , τ ) is H-closed;
(v) (Iλn , τ ) is Nd -compact;
(vi) (Iλn , τ ) is R-compact;
(vii) (Iλn , τ ) is infra H-closed.
Proof. Implications (i) ⇒ (ii) and (ii) ⇒ (iii) are trivial.
(iii) ⇒ (ii) Suppose that a space (Iλn , τ ) is d-feebly compact. By Lemma 2 it is quasi-regular.
Then by Theorem 1 of [19] every quasiregular d-feebly compact space is feebly compact and hence so
is (Iλn , τ ).
(ii) ⇒ (i) Suppose that a space (Iλn , τ ) is feebly compact. By Lemma 2 the topological space (Iλn , τ )
is Hausdorff. Then by Lemma 1 of [19] every Hausdorff feebly compact space with a dense discrete
subspace is countably pracompact (also see Lemma 4.5 of [5] or Proposition 1 from [2] for Tychonoff
spaces) and hence so is (Iλn , τ ).
Implication (iv) ⇒ (ii) follows from Proposition 4 of [15].
(ii) ⇒ (iv) We shall show by induction that if τ is a shift-continuous feebly compact T1 -topology on
the semigroup Iλn then the subspace ↑4 α of (Iλn , τ ) is H-closed for any α ∈ Iλn .
It is obvious that for any α ∈ Iλn with rank α = n the set ↑4 α = {α} is singleton, and since (Iλn , τ )
is a T1 -space, ↑4 α is H-closed.
Fix an arbitrary α ∈ Iλn with rank α = n − 1. By Lemma 2, ↑4 α is an open-and-closed subset of
(Iλn , τ ) and hence by Theorem 14 from [4] the space ↑4 α is feebly compact. Since by Lemma 2 every
point β of ↑4 α with rank α = n is isolated in (Iλn , τ ), the feeble compactness of ↑4 α implies that α is
a non-isolated point of (Iλn , τ ) and the space ↑4 α is compact. This implies that ↑4 α is H-closed.
Next we shall prove the following statement: if for some positive integer k < n for any α ∈ Iλn with
rank α 6 k the subspace ↑4 α is H-closed then ↑4 β is H-closed for any β ∈ Iλn with rank β = k − 1.
Suppose to the contrary that there exists a shift-continuous feebly compact T1 -topology τ on the
semigroup Iλn such that for some positive integer k < n for any α ∈ Iλn with rank α = k the subspace
↑4 α is H-closed and ↑4 β is not an H-closed space for some β ∈ Iλn with rank β = k − 1. Then there
exists a Hausdorff topological space X which contains the space ↑4 β as a dense proper subspace. We
observe that by Lemma 2 and Theorem 14 of [4] the space ↑4 β is feebly compact.
Fix an arbitrary x ∈ X \ ↑4 β. The Hausdorffness of X implies that there exist open neighbourhoods
UX (x) and UX (β) of the points x and β in X, respectively, such that UX (x) ∩ UX (β) = ∅. Then the
assumption of induction implies that without loss of generality we may assume that there do not exist
finitely many α1 , . . . , αm ∈ ↑4 β with rank α1 = . . . = rank αm = k such that
UX (x) ∩ ↑4 β ⊆ ↑4 α1 ∪ · · · ∪ ↑4 αm .

ON FEEBLY COMPACT SEMITOPOLOGICAL SYMMETRIC INVERSE SEMIGROUPS OF ...

9

Fix an arbitrary α1 ∈ ↑4 β such that rank α1 = k and ↑4 α1 ∩ UX (x) 6= ∅. Proposition 1.3.1 of [8],
Lemma 2 and Proposition 10 imply that there exists γ1 ∈ Iλn \ Iλn−1 such that γ1 ∈ ↑4 α1 ∩ UX (x).
Next, by induction using Proposition 1.3.1 of [8], Lemma 2 and Proposition 10 we construct sequences
{αi }i∈N and {γi }i∈N of distinct points of the set ↑4 β such that the following conditions hold:

(a) rank αi+1 = k and ↑4 αi+1 \ ↑4 α1 ∪ · · · ∪ ↑4 αi ∩ UX (x) 6= ∅; and
(b) γi+1 ∈ Iλn \ Iλn−1 and γi+1 ∈ ↑4 αi+1 \ ↑4 α1 ∪ · · · ∪ ↑4 αi ∩ UX (x),
for all positive integers i > 1.
Then Lemma 1 implies that the infinite family of non-empty open subsets U = {{γi } : i ∈ N} is
locally finite, which contradicts the feeble compactness of ↑4 β. The obtained contradiction implies the
statement of induction which completes the proof of the statement that the space (Iλn , τ ) is H-closed.
(iv) ⇒ (v) By Katětov’s Theorem every continuous image of an H-closed topological space into a
Hausdorff space is H-closed (see [8, 3.15.5 (b)] or [22]). Hence the image f (Iλn ) is H-closed for every
continuous map f : (Iλn , τ ) → Nd , which implies that f (Iλn ) is compact (see [8, 3.15.5 (a)]).
(v) ⇒ (ii) Suppose to the contrary that there exists a Hausdorff shift-continuous Nd -compact topology
τ on Iλn which is not feebly compact. Then there exists an infinite locally finite family U = {Ui } of
open non-empty subsets of (Iλn , τ ). Without loss of generality we may assume that the family U = {Ui }
is countable., i.e., U = {Ui : i ∈ N}. Then the definition of the semigroup Iλn and Lemma 2 imply
that for every Ui ∈ U there exists αi ∈ Ui such that ↑4 αi ∩ Ui = {αi } and hence U ∗ = {{αi } : i ∈ N}
is a family of isolated points of (Iλn , τ ). Since the family U is locally finite, without loss of generality
we may assume that αi 6= αj for distinct i, j ∈ N. We claim that the family U ∗ is locally finite.
Indeed, if we assume the contrary then there exists α ∈ Iλn such that every open neighbourhood of α
contains infinitely many elements of the family U ∗ . This implies that the family U is not locally
S finite,
∗
n
a contradiction. Since (Iλ , τ ) is a T1 -space and the family U is locally finite, we have that U ∗ is
a closed subset in (Iλn , τ ) and hence the map f : (Iλn , τ ) → Nd defined by the formula

S
1,
if β ∈ Iλn \ U ∗ ;
f (β) =
i + 1, if β = αi for some i ∈ N,

is continuous. This contradicts that the space (Iλn , τ ) is Nd -compact.
The proofs of implications (iv) ⇒ (vi) and (vi) ⇒ (ii) are same as the proofs of (iv) ⇒ (v) and
(v) ⇒ (ii), respectively.
Implication (ii) ⇒ (vii) follows from Proposition 2 and Theorem 3 of [20].
(vii) ⇒ (ii) Suppose to the contrary that there exists a Hausdorff shift-continuous infra H-closed
topology τ on Iλn which is not feebly compact. Then similarly as in the proof of implication (v) ⇒ (ii)
we choice a locally finite family U ∗ = {{αi } : i ∈ N} of isolated points of (Iλn , τ ). Then the map
f : (Iλn , τ ) → R defined by the formula
S
(
1,
if β ∈ Iλn \ U ∗ ;
1
f (β) =
, if β = αi for some i ∈ N,
i+1
is continuous. This contradicts that the space (Iλn , τ ) is infra H-closed.

Remark 13. By Theorem 5 from [20] conditions (ii) and (vii) of Theorem 12 are equivalent for any
Tychonoff space X.
It is not, however, the case that feebly compact and infra H-closed are equivalent in general. In
[21] Herrlich, beginning with a T1 -space Y , constructs a regular space X such that the only continuous
functions from X into Y are constant. His construction involves the cardinality of Y , but only as the
cardinality of collections of open sets whose intersections are singletons. Thus only the most trivial
modifications are needed in his argument to produce a regular Hausdorff infra H-closed space. It is also
easily shown that the space constructed in this manner is not feebly compact.
Any regular lightly compact space must be a Baire space [25, Lemma 3], and thus it is of interest
to note that the space constructed in [21] can be shown to be the countable union of nowhere dense
subsets using essentially the same argument as can be used to show it is not feebly compact.

10

OLEG GUTIK

Later we need the following technical lemma.
Lemma 14. Let n be an arbitrary positive integer and λ be an arbitrary infinite cardinal. Let τ be
a feebly compact shift-continuous T1 -topology on the semigroup Iλn . Then for every α ∈ Iλn and any
open neighbourhood U(α) of α in (Iλn , τ ) there exist finitely many α1 , . . . , αk ∈ ↑4 α \ {α} such that
Iλn \ Iλn−1 ∩ ↑4 α ⊆ U(α) ∪ ↑4 α1 ∪ · · · ∪ ↑4 αk .
Proof. Suppose to the contrary that there exists a feebly compact shift-continuous T1 -topology on the
semigroup Iλn which satisfies the following property: some element α of the semigroup Iλn has an open
neighbourhood U(α) of α in (Iλn , τ ) such that
Iλn \ Iλn−1 ∩ ↑4 α * U(α) ∪ ↑4 α1 ∪ · · · ∪ ↑4 αk ,
for any finitely many α1 , . . . , αk ∈ ↑4 α \ {α}. We observe that Lemma 2 implies that without loss of
generality we may assume that U(α) ⊆ ↑4 α.
Fix such an element α of Iλn and its open neighbourhood U(α) with the above determined property.
Then our assumption implies that there exists α1 ∈ ↑4 α \ U(α) such that the set
Iλn \ Iλn−1 ∩ ↑4 α1 \ U(α)
is infinite and fix an arbitrary γ1 ∈ Iλn \ Iλn−1 ∩ ↑4 α1 \ U(α). Next, by induction using our assumption
we construct sequences {αi }i∈N and {γi }i∈N of the distinct points of the set ↑4 α such that the following
conditions hold:

(a) αi+1 ∈ ↑4 α \ U(α) ∪ ↑4 α1 ∪ · · · ∪ ↑4 αi and the set

Iλn \ Iλn−1 ∩ ↑4 α ∩ ↑4 α1+1 \ U(α) ∪ ↑4 α1 ∪ · · · ∪ ↑4 αi

is infinite;

(b) γi+1 ∈ Iλn \ Iλn−1 ∩ ↑4 α ∩ ↑4 α1 \ U(α) ∪ ↑4 α1 ∪ · · · ∪ ↑4 αi ,
for all positive integers i.
By Lemma 2 and Theorem 14 of [4] the space ↑4 α is feebly compact. Then Lemma 1 implies that
the infinite family of non-empty open subsets U = {{γi } : i ∈ N} is locally finite, which contradicts
the feeble compactness of ↑4 α. The obtained contradiction implies the statement of the lemma.

Theorem 15. Let n be an arbitrary positive integer and λ be an arbitrary infinite cardinal. Then every
shift-continuous semiregular feebly compact T1 -topology τ on Iλn is compact.
Proof. We shall prove the statement of the theorem by induction. First we observe that for every element
α of a semiregular feebly compact T1 -semitopological semigroup (Iλn , τ ) with rank α = n − 1, n the set
↑4 α is compact. Indeed, by Lemma 2 for every β ∈ Iλn the set ↑4 β is open-and-closed in (Iλn , τ ), and
hence we have that Iλn \ Iλn−1 is an open discrete subspace of (Iλn , τ ) and using Theorem 14 of [4] we
obtain that ↑4 α is feebly compact, which implies that the space ↑4 α is compact.
Next we shall prove a more stronger step of induction: if for every element α of a semiregular feebly
compact T1 -semitopological semigroup (Iλn , τ ) with rank α > l 6 n the set ↑4 α is compact, then ↑4 β is
compact for every β ∈ Iλn with rank α = l.
Suppose to the contrary that there exists a semiregular feebly compact T1 -semitopological semigroup
(Iλn , τ ) such that for some positive integer l 6 n the set ↑4 α is compact for every α ∈ Iλn with
rank α > l, but there exists β ∈ Iλn with rank β = l such that the set ↑4 β is not compact.
First we observe that our assumption that the set ↑4 α is compact and Corollary 3.1.14 of [8] imply
that the following family

Bc (α) = Uα (α1 , . . . , αk ) = ↑4 α \ (↑4 α1 ∪ · · · ∪ ↑4 αk ) : αi ∈ ↑4 α \ {α}, i = 1, . . . , k
is a base of topology at the point α of (Iλn , τ ) for every α ∈ Iλn with rank α > l.
Then the Alexander Subbase Theorem (see [1, Theorem 1] or [8, p. 221, 3.12.2(a)]) and Lemma 2
imply that there exists a base B of the topology τ on Iλn with the following properties:
S
(i) B = {B(γ) : γ ∈ Iλn } and for every γ ∈ Iλn the family B(γ) is a base at the point γ;

ON FEEBLY COMPACT SEMITOPOLOGICAL SYMMETRIC INVERSE SEMIGROUPS OF ...

11

(ii) U(γ) ⊆ ↑4 γ for any U(γ) ∈ B(γ);
(iii) B(γ) = Bc (γ) for every γ ∈ Iλn with rank γ > l;
(iv) there exists a cover U of the set ↑4 β by members of the base B which has not a finite subcover.
We claim that the subspace ↑4 β of (Iλn , τ ) contains an infinite closed discrete subspace X. Indeed,
let U0 be a subfamily of U such that
 [
U0 .
{β} ∪ ↑4 β ∩ Iλn \ Iλn−1 ⊆

Since the set ↑4 β is not compact and ↑4 γ is compact for any γ ∈ ↑4 β \ {β}, without loss of generality
we may assume that there exists k > rank β such that the following conditions hold:
S
(a) there
exist
infinitely
many
elements
ζ
∈
↑
β
with
rank
ζ
=
k
such
that
ζ
∈
/
U0 ;
4
S
(b) ς ∈ U0 for all ς ∈ ↑4 β with rank ς < k.
It is obvious that the set
[

[
X = ↑4 β \
U0 \
↑4 ς : rank ς > k

is requested.
Fix an arbitrary regular open neighbourhood U(β) of the point β in (Iλn , τ ) such that U(β) ∩ X = ∅.
By Lemma 14 there exist finitely many β1 , . . . , βs ∈ ↑4 β such that
Iλn \ Iλn−1 ∩ ↑4 β ⊆ U(β) ∪ ↑4 β1 ∪ · · · ∪ ↑4 βs .

It is obvious that the set X \ (↑4 β1 ∪ · · · ∪ ↑4 βs ) is infinite. For every
δ ∈ X the set ↑4 δ is compact and

open, and moreover by Lemma 1 the set ↑4 δ \ ↑4 β1 ∪ · · · ∪ ↑4 βs contains infinitely many points of the
neighbourhood U(β). This implies that intIλn clIλn (U(β)) ∩ X 6= ∅, which contradicts the assumption
that U(0) ∩ X = ∅. The obtained contradiction implies that the subspace ↑4 β of (Iλn , τ ) is compact,
which completes the proof of the theorem.

Acknowledgements. The author acknowledges Taras Banakh and the referee for useful important comments and suggestions.
References
[1] J. W. Alexander, Ordered sets, complexes and the problem of compactification, Proc. Natl. Acad. Sci. USA 25 (1939),
296–298.
[2] A. V. Arhangel’skii, On spaces with point-countable base, Topological spaces and their mappings, Riga, 1985, P. 3–7
(in Russian).
[3] A. V. Arkhangel’skii, Topological function spaces, Kluwer Publ., Dordrecht, 1992.
[4] R. W. Bagley, E. H. Connell, and J. D. McKnight, Jr., On properties characterizing pseudo-compact spaces, Proc.
Amer. Math. Soc. 9 (1958), no. 3, 500–506.
[5] S. Bardyla and O. Gutik, On a semitopological polycyclic monoid, Algebra Discrete Math. 21 (2016), no. 2, 163–183.
[6] J. H. Carruth, J. A. Hildebrant, and R. J. Koch, The theory of topological semigroups, Vols. I and II, Marcell Dekker,
Inc., New York and Basel, 1983 and 1986.
[7] A. H. Clifford and G. B. Preston, The algebraic theory of semigroups, Vols. I and II, Amer. Math. Soc. Surveys 7,
Providence, R.I., 1961 and 1967.
[8] R. Engelking, General topology, 2nd ed., Heldermann, Berlin, 1989.
[9] G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. W. Mislove, and D. S. Scott, Continuous lattices and domains,
Cambridge Univ. Press, Cambridge, 2003.

12

OLEG GUTIK

[10] O. Gutik, On closures in semitopological inverse semigroups with continuous inversion, Algebra Discrete Math. 18
(2014), no. 1, 59-85.
[11] O. Gutik, J. Lawson, and D. Repovš, Semigroup closures of finite rank symmetric inverse semigroups, Semigroup
Forum 78 (2009), no. 2, 326–336.
[12] O. V. Gutik and K. P. Pavlyk, On topological semigroups of matrix units, Semigroup Forum 71 (2005), no. 3, 389–400.
[13] O. V. Gutik and K. P. Pavlyk, Topological semigroups of matrix units, Algebra Discrete Math. (2005), no. 3, 1–17.
[14] O. Gutik, K. Pavlyk, and A. Reiter, Topological semigroups of matrix units and countably compact Brandt λ0 extensions, Mat. Stud. 32 (2009), no. 2, 115–131.
[15] O. V. Gutik and O. V. Ravsky, Pseudocompactness, products and topological Brandt λ0 –extensions of semitopological
monoids, Math. Methods and Phys.-Mech. Fields 58 (2015), no. 2, 20–37; reprinted version: J. Math. Sc. 223 (2017),
no. 1, 18–38.
[16] O. V. Gutik and A. R. Reiter, Symmetric inverse topological semigroups of finite rank 6 n, Math. Methods and
Phys.-Mech. Fields 52 (2009), no. 3, 7–14; reprinted version: J. Math. Sc. 171 (2010), no. 4, 425–432.
[17] O. Gutik and A. Reiter, On semitopological symmetric inverse semigroups of a bounded finite rank, Visnyk Lviv
Univ. Ser. Mech. Math. 72 (2010), 94–106 (in Ukrainian).
[18] O. Gutik and O. Sobol, On feebly compact topologies on the semilattice expn λ, Mat. Stud. 46 (2016), no. 1, 29–43.
[19] O. Gutik and O. Sobol, On feebly compact shift-continuous topologies on the semilattice expn λ, Visnyk Lviv Univ.
Ser. Mech. Math. 82 (2016), 128–136.
[20] D. W. Hajek and A. R. Todd, Compact spaces and infra H-closed spaces, Proc. Amer. Math. Soc. 48 (1975), no. 2,
479–482.
[21] H. Herrlich, Wann sind alle stetigen Abbildungen in Y konstant?, Math. Z. 90 (1965), 152–154.
[22] M. Katětov, Über H-abgeschlossene und bikompakte Räume, Čas. Mat. Fys. 69 (1940), no. 2, 36–49.
[23] M. V. Lawson, Inverse semigroups. The theory of partial symmetries, World Scientific, Singapore, 1998.
[24] M. Matveev, A survey of star covering properties, Topology Atlas preprint, April 15, 1998.
[25] R. A. McCoy, A filter characterization of regular Baire spaces, Proc. Amer. Math. Soc. 40 (1973), 268–270.
[26] M. Petrich, Inverse semigroups, John Wiley & Sons, New York, 1984.
[27] W. Ruppert, Compact semitopological semigroups: an intrinsic theory, Lect. Notes Math., 1079, Springer, Berlin,
1984.
[28] J. E. Vaughan, Countably compact and sequentially compact spaces, Handbook of set-theoretic topology, K. Kunen
and J. E. Vaughan (eds.), North-Holland, Amsterdam, 1984, pp. 569–602.
[29] V. V. Wagner, Generalized groups, Dokl. Akad. Nauk SSSR 84 (1952), 1119–1122 (in Russian).
Faculty of Mathematics, National University of Lviv, Universytetska 1, Lviv, 79000, Ukraine
E-mail address: o gutik@lnu.edu.ua, ovgutik@yahoo.com

