Semigroup Forum (2014) 88:67–75
DOI 10.1007/s00233-013-9501-z
R E S E A R C H A RT I C L E
Semigroups whose endomorphisms are power functions
Ryszard Mazurek
Received: 21 February 2013 / Accepted: 4 May 2013 / Published online: 24 May 2013
© The Author(s) 2013. This article is published with open access at Springerlink.com
Abstract For any commutative semigroup S and any positive integer m, the power
function f : S → S defined by f (x) = x m is an endomorphism of S. In this paper we
characterize finite cyclic semigroups as those finite commutative semigroups whose
endomorphisms are power functions. We also prove that if S is a finite commutative
semigroup with 1 = 0, then every endomorphism of S preserving 1 and 0 is equal to a
power function if and only if either S is a finite cyclic group with zero adjoined or S is
a cyclic nilsemigroup with identity adjoined. Immediate consequences of the results
are, on the one hand, a characterization of commutative rings whose multiplicative
endomorphisms are power functions given by Greg Oman in the paper (Semigroup
Forum, 86 (2013), 272–278), and on the other hand, a partial solution of Problem 1
posed by Oman in the same paper.
Keywords Cyclic semigroup · Semigroup endomorphism · Power function · Ring
semigroup
1 Introduction
Let S be a commutative semigroup. A function f : S → S is called a power function
if there exists a positive integer m such that f (x) = x m for all x ∈ S. It is easily seen
that any power function is an endomorphism of the semigroup S.
In [4] Greg Oman studied commutative rings R with unity for which every endomorphism of the multiplicative semigroup (R, ·) is equal to a power function (see [4,
Communicated by László Márki.
R. Mazurek ()
Faculty of Computer Science, Bialystok University of Technology, Wiejska 45A, 15-351 Białystok,
Poland
e-mail: r.mazurek@pb.edu.pl
68
R. Mazurek
Introduction] for motivations for those studies). He proved in [4, Theorem 1] that every endomorphism of the semigroup (R, ·) is a power function if and only if the ring
R is a finite field. He also posed the natural problem [4, Problem 1] of characterizing
the commutative semigroups S (with or without 0 or 1) with the property that every
endomorphism of S is equal to a power function.
In this paper we solve the problem for finite semigroups. Namely, we prove that
among finite commutative semigroups, cyclic semigroups are exactly those semigroups whose endomorphisms are power functions (see Theorem 2.2), extending to
finite commutative semigroups a well-known characterization of finite cyclic groups
via power functions. We also prove that for any finite commutative semigroup S with
1 = 0, every endomorphism of S preserving 1 and 0 is equal to a power function if
and only if either S is a finite cyclic group with zero adjoined or S is a cyclic nilsemigroup with identity adjoined (see Theorem 3.1). As an immediate consequence of
the result we obtain Oman’s aforementioned characterization of commutative rings
whose multiplicative endomorphisms are power functions.
In this paper, in Sect. 2 semigroups are not assumed to have zero or identity,
whereas in Sect. 3 we consider semigroups with zero 0 and identity 1. The set of
positive integers is denoted by N. If S is a semigroup and t ∈ S, then t denotes the
subsemigroup of S generated by t, that is, t = {t n | n ∈ N}, and tS 1 denotes the right
ideal of S generated by t, that is, tS 1 = {t} ∪ tS, where tS = {ts | s ∈ S}. A semigroup
S is called a cyclic semigroup if S is generated by a single element, that is, S = t
for some t ∈ S. An element s of a semigroup S with zero 0 is said to be nilpotent if
s n = 0 for some n ∈ N, and a semigroup with zero is called a nilsemigroup if all its
elements are nilpotent. If T is a nonempty subset of a semigroup S and k ∈ N, then
T k denotes the set of all products t1 t2 · · · tk , where t1 , t2 , . . . , tk ∈ T .
2 A characterization of finite cyclic semigroups
As the following result shows, finite cyclic groups are precisely those abelian groups
whose endomorphisms are power functions.
Lemma 2.1 ([4, Lemma 1]) Let G be an abelian group. Then G is a finite cyclic
group if and only if every endomorphism f : G → G has the form f (x) = x m for
some positive integer m.
In Theorem 2.2 below we extend the above result to finite commutative semigroups, characterizing finite cyclic semigroups as those finite commutative semigroups whose endomorphisms are power functions. As we will see in Example 2.3,
this characterization is no longer true for infinite commutative semigroups.
Theorem 2.2 Let S be a finite commutative semigroup. Then S is a cyclic semigroup
if and only if every endomorphism of S is equal to a power function.
Proof To prove the “only if” part, assume that every endomorphism of S is equal to a
power function. Since the semigroup S is finite, there exists an idempotent e = e2 ∈ S.
Semigroups whose endomorphisms are power functions
69
Obviously, the function f : S → S defined by f (x) = e is an endomorphism of S.
Hence f is a power function and thus there exists n ∈ N such that
xn = e
for any x ∈ S.
(2.1)
Note that a consequence of (2.1) is the following property of S:
for any x ∈ S, x ∈ xS implies x ∈ eS.
(2.2)
Indeed, if x ∈ xS, then for some y ∈ S we have x = xy, so x = xy = (xy)y = xy 2 =
(xy)y 2 = xy 3 , and continuing in this way we obtain x = xy n . Hence (2.1) implies
x = xe ∈ eS, as desired.
It is clear from (2.1) that e is the only idempotent of S. Furthermore, e is an identity
of the subsemigroup eS of S and (2.1) shows that all elements of eS are invertible.
Hence eS is a group. Moreover, if f : eS → eS is any endomorphism of the group
eS, then the map f : S → S defined by f(x) = f (ex) is an endomorphism of the
semigroup S, and thus f is a power function on S. Hence f is a power function on
eS, which shows that all endomorphisms of the group eS are power functions. Thus
Lemma 2.1 implies that eS is a finite cyclic group. Therefore, if S = eS, then S is a
cyclic semigroup.
We are left with the case where eS S. We show that S 2 S in this case. First,
we claim that
for any x ∈ S 2 \ eS there exists y ∈ S \ eS such that xS 1 yS 1 .
(2.3)
Indeed, since x ∈ S 2 , for some y ∈ S we have x ∈ yS. Clearly xS 1 ⊆ yS 1 , and since
x∈
/ eS, also y ∈
/ eS. If y ∈ xS 1 , then from x ∈ yS it follows that x ∈ xS and (2.2)
implies x ∈ eS, a contradiction. Hence xS 1 yS 1 , which proves our claim (2.3).
Now, if S = S 2 , then starting from any element x ∈ S \ eS and using (2.3) repeatedly,
we get an infinite strictly increasing chain xS 1 x1 S 1 x2 S 1 . . . of subsets of S,
which contradicts S being finite. Hence S 2 S.
Since eS ⊆ S 2 S, it follows from (2.1) that there exists a smallest positive integer k such that a k ∈
/ eS and a k+1 ∈ eS for some a ∈ S \ S 2 . We will show that such
an element a generates S. We first show that the following function g : S → S is an
endomorphism of S:
k
if x = a
a
g(x) =
(2.4)
ex k if x = a.
Note that since a ∈
/ S 2 , for any x, y ∈ S we have xy = a and thus g(xy) = e(xy)k .
Hence to show that g is an endomorphism of S, it suffices to show that g(x)g(y) =
e(xy)k for any x, y ∈ S. Since 2k ≥ k + 1 and a k+1 ∈ eS, a 2k ∈ eS and thus a 2k =
ea 2k . Hence, if x = y = a, then g(x)g(y) = g(a)g(a) = a 2k = ea 2k = e(aa)k =
g(xy). The remaining cases (where x = a or y = a) are easy to verify.
Since g is an endomorphism of S, g is a power function and thus there exists m ∈ N
such that g(x) = x m for any x ∈ S. If k < m, then a k = g(a) = a m = a k a m−k ∈
a k S, and from (2.2) we obtain a k ∈ eS, a contradiction. If k > m, then a m = a k =
a m a k−m ∈ a m S, so a k = a m ∈ eS by (2.2), again a contradiction. Hence, it must be
70
R. Mazurek
that k = m and thus x k = g(x) for any x ∈ S. Now we infer from the definition of g
that x k ∈ eS for every x ∈ S \ {a}, and consequently it follows from our choice of k
that
S \ {a} ⊆ S 2 .
(2.5)
The observation (2.5) will help us to prove that the element a generates the semigroup S, i.e., S = a. We first show that
S \ eS ⊆ a.
(2.6)
Suppose towards a contradiction that there exists x ∈ S \ eS such that x ∈
/ a. Then
x = a and by (2.5) we have x = b1 b2 ∈ S 2 for some b1 , b2 ∈ S. Since x ∈
/ a, it
follows that b1 = a or b2 = a. Hence (2.5) implies that b1 ∈ S 2 or b2 ∈ S 2 , and
thus x ∈ S 3 . Consequently, x = c1 c2 c3 for some c1 , c2 , c3 ∈ S. Since x ∈
/ a, for
some i ∈ {1, 2, 3} we have ci = a, which, together with (2.5), implies that x ∈ S 4 .
Continuing in this manner, we see that x ∈ S d for any d ∈ N. Now take d = nc,
where n satisfies (2.1) and c is the cardinality of S. Then in any product y1 y2 · · · yd
of d elements of S, at least n of the elements y1 , y2 , . . . , yd have to be equal, and (2.1)
implies that y1 y2 · · · yd ∈ eS. Hence S d ⊆ eS, but this is impossible because x ∈ S d
and x ∈
/ eS. This contradiction establishes the containment (2.6).
We continue with the proof that S = a. Suppose, to derive a contradiction, that
S = a. Then (2.6) implies eS a. Since eS is a cyclic group, we can choose a
generator q of this group, and since eS a, it follows that q ∈
/ a. We claim that
for any positive integer j, a j = e implies q j = e.
(2.7)
To prove (2.7), assume that a j = e and consider the following function h : S → S:
x
if x ∈ a
h(x) =
x j +1 if x ∈
/ a.
Since S is commutative, to verify that h is an endomorphism of S, it suffices to
consider the following three cases. When considering these cases, let us remember
that x j = e for any x ∈ a (which is a consequence of a j = e) and that x = ex for
any x ∈
/ a (which is a consequence of (2.6)).
Case 1: x, y ∈ a. Then xy ∈ a, so h(xy) = xy = h(x)h(y).
Case 2: x ∈ a, y ∈
/ a. Then xy ∈
/ a. Indeed, otherwise xy = a i for some i ∈
p
N. Since x ∈ a, we have x = a for some p ∈ N and using that a j = e, we get
xa l = e for some l ∈ N. Hence ey = xa l y = (xy)a l = a i a l = a i+l . But y ∈
/ a and
thus y = ey. Hence we obtain y = a i+l ∈ a, and this contradiction shows that xy ∈
/
a. Thus h(xy) = (xy)j +1 = x j xy j +1 = exy j +1 = x(ey)j +1 = xy j +1 = h(x)h(y).
Case 3: x ∈
/ a, y ∈
/ a. If xy ∈ a, then (xy)j = e and since x = ex, we obtain
h(xy) = xy = exy = (xy)j xy = x j +1 y j +1 = h(x)h(y). If xy ∈
/ a, then h(xy) =
(xy)j +1 = x j +1 y j +1 = h(x)h(y).
We have shown that h is an endomorphism of S. Hence h is a power function, and
thus there exists m ∈ N such that h(x) = x m for any x ∈ S. If m ≥ 2, then a = h(a) =
a m ∈ aS and thus a ∈ eS by (2.2), a contradiction with our choice of a. Hence m = 1
and since q ∈
/ a, we obtain q j +1 = h(q) = q, which implies q j = e, proving (2.7).
Semigroups whose endomorphisms are power functions
71
We now come to the required contradiction. Let t be the smallest positive integer
such that a t = a r for some positive integer r < t, and let w = t − r. Then
G = a r , a r+1 , a r+2 , . . . , a r+w−1
is a group of order w. Since e is the unique idempotent of S, it follows that e is
the identity element of G and thus G is a subgroup of the group eS. Since e is the
identity element of G, we have a u = e for some u ∈ {r, r + 2, . . . , r + w − 1} and from
a t = a r it follows that also a u+w = e. Hence (2.7) implies that q u = e and q u+w = e,
and thus q w = q u+w q −u = e. Since q is a generator of the group eS, and q w = e,
and w is the order of the group G, it follows that eS = G. But obviously G ⊆ a, so
we obtain eS ⊆ a and this contradiction completes the proof of the “only if” part of
the theorem.
Now we prove the “if” part. Let S be a cyclic semigroup, let z be a generator of
S, and let f : S → S be any endomorphism of the semigroup S. Then f (z) = zm
for some positive integer m. Now, if x is any element of S, then x = zi for some
i ∈ N and thus f (x) = f (zi ) = f (z)i = (zm )i = (zi )m = x m . Hence f is a power
function.
As we have just proved in Theorem 2.2, every finite commutative semigroup S
whose endomorphisms are power functions must be cyclic, that is, S is generated by a
single element x subject to a defining relation of the form x i = x j with i = j ∈ N. The
example below shows that Theorem 2.2 cannot be extended to infinite commutative
semigroups.
Example 2.3 Let S be the multiplicative semigroup consisting of the numbers
22 , 23 , 24 , 25 , . . . ,
that is, S = {2n | n ∈ N, n ≥ 2}. Clearly, the semigroup S is not cyclic.
We show that every endomorphism of the semigroup S is equal to a power function. Let f : S → S be any endomorphism of S. Then f (22 ) = 2k and f (23 ) = 2n for
some k, n ∈ N. Since f (26 ) = f (22 )3 = 23k and f (26 ) = f (23 )2 = 22n , it follows
that 3k = 2n, and consequently k = 2m and n = 3m for some m ∈ N. Hence for any
i ∈ N we have f (22i ) = f (22 )i = (2k )i = (22m )i = (22i )m and thus f (x) = x m for
all numbers in S of the form 2t with t even. Furthermore f (23 ) = (23 )m and thus
for any i ∈ N we have f (23+2i ) = f (23 )f (22i ) = (23 )m (22i )m = (23+2i )m , which
shows that also f (x) = x m for all numbers in S of the form 2t with t odd. Hence f
is a power function.
3 A characterization of finite commutative semigroups with 1 = 0 whose
endomorphisms preserving 0 and 1 are power functions
As we mentioned in the Introduction, the main motivation for this paper was Oman’s
problem of characterizing the commutative semigroups (with or without 0 or 1)
whose endomorphisms are power functions. In Theorem 2.2 we solved the problem
72
R. Mazurek
for finite commutative semigroups S, with no assumptions about the existence 0 or 1
in S. It is also clear from the proof of Theorem 2.2 that if S is a finite commutative
semigroup, then
– if S has an identity 1, then all endomorphisms of S are power functions if and only
if S is a cyclic group;
– if S has a zero 0, then all endomorphisms of S are power functions if and only if S
is a cyclic nilsemigroup.
To give a complete solution of Oman’s problem for finite commutative semigroups,
in this section we consider the remaining case where the semigroups have both an
identity 1 and a zero 0. In fact, just commutative semigroups with 1 and 0 are closest
to the context of Oman’s paper [4], where multiplicative semigroups of commutative
rings with unity were studied (obviously, every such multiplicative semigroup has 1
and 0).
To state the main result of this section, which solves Oman’s problem for finite
commutative semigroups with 1 and 0, we introduce the following terminology. If S is
a semigroup with identity 1 and zero 0, then we say that an endomorphism f : S → S
of S preserves 0 and 1 if f satisfies the conditions f (0) = 0 and f (1) = 1. We say
that a semigroup S is a cyclic group with zero adjoined if S is the result of adjoining
a zero to a cyclic group. In other words, S is a cyclic group with zero adjoined if S
is a semigroup with zero 0 and S \ {0} is a cyclic group. A semigroup S is called a
cyclic nilsemigroup with identity adjoined if S is the result of adjoining an identity
to a cyclic nilsemigroup. Hence, a semigroup S is a cyclic nilsemigroup with identity
adjoined if S has an identity 1 and S \ {1} is a cyclic nilsemigroup.
Theorem 3.1 Let S be a finite commutative semigroup with 1 = 0. Then every endomorphism of S preserving 0 and 1 is equal to a power function if and only if either S
is a finite cyclic group with zero adjoined or S is a cyclic nilsemigroup with identity
adjoined.
Proof Throughout the proof U will denote the group of invertible elements of the
semigroup S.
To prove the “only if” part of the theorem, assume that every endomorphism of
S preserving 0 and 1 is equal to a power function. Let T = S \ U , i.e., T is the
subsemigroup of S consisting of all noninvertible elements of S. The function f :
S → S defined by
1 if x ∈ U,
f (x) =
0 if x ∈ T ,
is easily seen to be an endomorphism of S preserving 0 and 1, and thus there exists a
positive integer n such that
x n = 0 for any x ∈ T .
(3.1)
Hence, since T is finite and commutative, T d = {0} for some positive integer d (e.g.
for d = nc, where n satisfies (3.1) and c is the cardinality of T ).
Semigroups whose endomorphisms are power functions
73
If T = T 2 , then T = T 2 = T 3 = · · · = T d = {0} and thus S = U ∪ {0}. Furthermore, if f : U → U is an arbitrary endomorphism of the group U , then the map
f: S → S defined by f(x) = f (x) for x ∈ U and f(0) = 0, is an endomorphism of
the semigroup S preserving 0 and 1. Hence f is a power function of S, and consequently f is a power function of U . Thus every endomorphism of the group U is a
power function, so Lemma 2.1 implies that U is a finite cyclic group. Therefore, in
this case S = U ∪ {0} is a finite cyclic group with zero adjoined.
Now we consider the remaining case where T = T 2 , that is, T 2 T . Since x n = 0
for any x ∈ T , there exists a smallest positive integer k such that a k = 0 and a k+1 = 0
for some a ∈ T \ T 2 . For this a and any positive integer i we set a i U = {a i u : u ∈ U }.
We claim that
for any positive integers i, j, if a i = 0, a j = 0 and i = j, then a i U ∩ a j U = ∅.
(3.2)
To see this, assume that a i = 0, a j = 0 and i = j , but a i U ∩ a j U = ∅. Then a i u =
a j v for some u, v ∈ U . Without loss of generality we may assume that i < j . Then
a i = a j vu−1 = a i t with t = a j −i vu−1 , and an easy induction argument shows that
a i = a i t l for any l ∈ N. Since by (3.1) the element t is nilpotent, we obtain a i = 0
and this contradiction completes the proof of (3.2).
Set C = T \ aU and define g : S → S as follows:
⎧
⎨ 1 if x ∈ U,
g(x) = a k if x ∈ aU,
⎩
0 if x ∈ C = T \ aU.
It is clear that the sets U , aU and C = T \ aU are pairwise disjoint and S = U ∪
aU ∪ C, so g is well defined. It is also clear that g(1) = 1. To show that g is an
endomorphism of S, we first observe that
T 2 ⊆ C.
(3.3)
Indeed, if T 2 C, then since T 2 ⊆ T , there exist t1 , t2 ∈ T with t1 t2 ∈ aU , that is,
t1 t2 = au for some u ∈ U . Hence a = t1 (t2 u−1 ) ∈ T 2 , and this contradiction proves
(3.3). Note that (3.3) implies also that g(0) = 0.
We are now ready to show that g(xy) = g(x)g(y) for any x, y ∈ S. For this, since
S is commutative, it suffices to consider the following four cases.
Case 1: x, y ∈ T . Then xy ∈ C by (3.3), and thus g(xy) = 0. On the other hand,
from the definition of g it follows that g(x), g(y) ∈ {0, a k }, and since a k+1 = 0, we
obtain g(x)g(y) = 0 = g(xy) in this case.
Case 2: x, y ∈ U . Then xy ∈ U , so g(xy) = 1 = 1 · 1 = g(x)g(y).
Case 3: x ∈ U, y ∈ aU . Then xy ∈ aU , so g(xy) = a k = 1 · a k = g(x)g(y).
Case 4: x ∈ U, y ∈ C. Then xy ∈ C, so g(xy) = 0 = 1 · 0 = g(x)g(y).
As we have just shown, g is an endomorphism of S preserving 0 and 1, and thus
there exists a positive integer m such that g(x) = x m for every x ∈ S. In particular,
a k = g(a) = a m , and since a k = 0, (3.2) implies that k = m. Hence we conclude from
the definition of g that x k = 0 for every x ∈ C, and consequently it follows from our
74
R. Mazurek
choice of k that C ⊆ T 2 . Combining this with (3.3), we obtain T 2 = C = T \ aU and
thus
T \ T 2 = aU.
(3.4)
Now it is clear that
T p \ T p+1 ⊆ a p U
for any positive integer p.
(3.5)
In particular, T k+1 \ T k+2 ⊆ a k+1 U = {0} and thus T k+1 = T k+2 . Hence T k+1 = T l
for any l ∈ N such that l ≥ k + 1, and since T d = {0}, it follows that T k+1 = {0} =
a k+1 U . This and (3.5) show that
T 2 \ T 3 ⊆ a 2 U, T 3 \ T 4 ⊆ a 3 U, . . . , T k \ T k+1 ⊆ a k U, T k+1 = a k+1 U = {0}. (3.6)
Combining (3.6) with (3.4) we conclude that T = aU ∪ a 2 U ∪ a 3 U ∪ · · · ∪ a k U ∪
a k+1 U . Now we define the following function h on S:
1 if x ∈ U,
h(x) = i
a if x ∈ a i U for some positive integer i ≤ k + 1.
From (3.2) it follows that the sets U, aU, a 2 U, a 3 U, . . . , a k U, a k+1 U are pairwise
disjoint and thus h is well-defined. Since obviously h is an endomorphism of S preserving 0 and 1, there exists a positive integer m such that h(x) = x m for every x ∈ S.
In particular, a m = h(a) = a, so (3.2) implies that m = 1. Hence it follows from the
definition of h that U = {1}, and thus
S = U ∪ aU ∪ a 2 U ∪ · · · ∪ a k U ∪ a k+1 U = {1} ∪ a, a 2 , a 3 , . . . , a k , a k+1 ,
where a k+1 = 0. Therefore, S is a cyclic nilsemigroup with identity adjoined.
Now we prove the “if” part of the theorem. We first consider the case where the
semigroup S is a finite cyclic group with zero adjoined, that is, U = S \ {0} and the
group U is finite and cyclic. If f : S → S is an endomorphism of the semigroup S
preserving 0 and 1, then f (1) = 1 = 0, which implies that f (U ) ⊆ U . Hence the
restriction f¯ of f to U is an endomorphism of the group U , and thus it follows from
Lemma 2.1 that f¯ is a power function of U . Therefore, f is a power function of S,
as desired.
We are left with the case where S is a cyclic nilsemigroup with identity adjoined.
Then there exists a nilpotent element a ∈ S such that all elements of S \ {1} are of the
form a i , where i is a positive integer. Let f : S → S be an arbitrary endomorphism of
S preserving 0 and 1. Since a is nilpotent and f (0) = 0 = 1, it follows that f (a) = 1
and thus f (a) = a m for some positive integer m. Hence if x ∈ S \ {1}, then x = a i
for some i ∈ N, and thus
i
f (x) = f a i = f (a)i = a m = a i
Since furthermore f (1) = 1 = 1m , f is a power function.
m
= xm.
Recall that a semigroup (S, ·) is said to be a ring semigroup provided that there
exists an addition + on S such that (S, +, ·) is a ring. Such semigroups are well
Semigroups whose endomorphisms are power functions
75
studied in the literature. We refer the reader to [1–3] and [5] for sampling of what
is known on ring semigroups. In particular, it is well known that every cyclic ring
semigroup (with 1 = 0) is isomorphic to the multiplicative semigroup of a finite field,
i.e., to a multiplicative semigroup of the form Fpn , where p is a prime number and n is
a positive integer (e.g. see [1, Corollary 1.2]). It is also known that every commutative
ring semigroup (with 1 = 0) whose endomorphisms are power functions has to be
finite (see [4, Proposition 1]). Hence as an immediate consequence of Theorem 3.1
we obtain the following result of Oman.
Corollary 3.2 ([4, Theorem 2]) Let S be a commutative ring semigroup with 1 = 0.
Then every endomorphism of S preserving 0 and 1 is equal to a power function if and
only if S is a cyclic group with zero adjoined of order p n for some prime number p
and positive integer n.
By applying Corollary 3.2 to the multiplicative semigroup (R, ·) of a commutative
ring R we obtain the main result of [4].
Corollary 3.3 ([4, Theorem 1]) Let R be a commutative ring with unity 1 = 0. Then
every multiplicative endomorphism f : R → R has the form f (x) = x m for some
positive integer m if and only if R is a finite field.
Acknowledgements The author is grateful to Professor László Márki for his suggestion to consider
Oman’s problem also for semigroups without zero and identity, which has led to the results presented in
Sect. 2.
This research was supported by the Polish National Center of Science Grant No DEC-2011/03/B/ST1/
04893.
Open Access This article is distributed under the terms of the Creative Commons Attribution License
which permits any use, distribution, and reproduction in any medium, provided the original author(s) and
the source are credited.
References
1. Mazurek, R.: On semigroups admitting ring structure. Semigroup Forum 83(2), 335–342 (2011)
2. Oman, G.: Ring semigroups whose subsemigroups form a chain. Semigroup Forum 78(2), 374–377
(2009)
3. Oman, G.: Ring semigroups whose subsemigroups intersect. Semigroup Forum 79(2), 413–416 (2009)
4. Oman, G.: Rings whose multiplicative endomorphisms are power functions. Semigroup Forum 86(2),
272–278 (2013)
5. Peinado, R.E.: On semigroups admitting ring structure. Semigroup Forum 1, 189–208 (1970)