NOTES ON ADDITIVELY DIVISIBLE COMMUTATIVE
SEMIRINGS

arXiv:1401.2836v1 [math.AC] 13 Jan 2014

TOMÁŠ KEPKA AND MIROSLAV KORBELÁŘ
Abstract. Commutative semirings with divisible additive semigroup are studied. We show that an additively divisible commutative semiring is idempotent,
provided that it is finitely generated and torsion. In case that a one-generated
additively divisible semiring posseses no unit, it must contain an ideal of idempotent elements. We also present a series of open questions about finitely
generated commutative semirings and their equivalent versions.

It is well known that a commutative field is finite provided that it is a finitely
generated ring. Consequently, no finitely generated commutative ring (whether
unitary or not) contains a copy of the field Q of rational numbers. On the other
hand, it seems to be an open problem whether a finitely generated (commutative)
semiring S can contain a copy of the semiring (parasemifield) Q+ of positive rationals. Anyway, if S were such a (unitary) semiring with 1S = 1Q+ , then the additive
semigroup S(+) should be divisible. So far, all known examples of finitely generated additively divisible commutative semirings are additively idempotent. Hence
a natural question arises, whether a finitely generated (commutative) semiring with
divisible additive part has to be additively idempotent.
Analogous questions were studied for semigroups. According to [2, 2.5(iii)], there
is a finitely generated non-commutative semigroup with a divisible element that is
not idempotent. In this context it is of interest to ask whether there are non-finite
but finitely generated divisible semigroups. This is in fact not true. Moreover,
there exist infinite but finitely generated divisible (non-commutative) groups (see
[3] and [8]).
The present short note initiates a study of (finitely generated) additively divisible commutative semirings. In particular, We show that an additively divisible
commutative semiring is idempotent, provided that it is finitely generated and torsion. The one-generated case is treated in more detail and we prove that in the
case that a one-generated additively divisible semirings possess no unit, it must
contain an ideal of idempotent elements. However, even the one-generated case, in
the mentioned conjecture, remains an open problem. Finally, we present a series of
open questions about finitely generated commutative semirings and their equivalent
versions.
1. Preliminaries
Throughout the paper, all algebraic structures involved (as semigroups, semirings, groups and rings) are assumed to be commutative, but, possibly, without
additively and/or multiplicatively neutral elements. Consequently, a semiring is a
2010 Mathematics Subject Classification. 16Y60, 20M14.
Key words and phrases. commutative semiring, divisible semigroup, idempotent, torsion.
This work is a part of the research project MSM00210839 financed by MŠMT. The first author
was supported by the Grant Agency of Czech Republic, #201/09/0296 and the second author by
the project LC 505 of Eduard Čech’s Center for Algebra and Geometry.
1

2

T. KEPKA AND M. KORBELÁŘ

non-empty set equipped with two commutative and associative binary operations,
an addition and a multiplication, such that the multiplication distributes over the
addition. A semiring S is called a ring if the additive semigroup of S is a group
and S is called a parasemifield if the multiplicative semigroup of S is a non-trivial
group.
We will use the usual notation: N for the semiring of positive integers, N0 for
the semiring of non-negative integers, Q+ for the parasemifield of positive rationals
and Q for the field of rationals.
For all k, t ∈ N define a relation ρ(k, t) = {(m, n) ∈ N × N| m − n ∈ Zt & (m 6=
n ⇒ m, n ≥ k)}. It is well known that the relations idN and ρ(k, t), where k, t ∈ N,
are just all congruences of the additive semigroup N(+) (and of the semiring N as
well).
Let S be a semiring. An element a ∈ S is said to be of finite order if the cyclic
subsemigroup Na = {ka| k ∈ N}, generated by the element a, is finite. We put
ord(a) = card(Na) in this case. If T (S) denotes the set of elements of finite order,
than either T (S) = ∅ or T (S) is a torsion subsemiring (even an ideal) of S (i.e.,
every element of T (S) has finite order).
Lemma 1.1. Let ∅ 6= A be subset of a semiring such that sup{ord(a)| a ∈ A} < ∞.
Then sup{ord(b)| b ∈ hAi} < ∞. Moreover, there is r ∈ N such that 2rb = rb for
every b ∈ hAi.
Proof. Set m = sup{ord(a)| a ∈ A} ∈ N. We have Na ∼
= N(+)/ρ(ka , ta ), where
ka , ta ∈ N, ka + ta ≤ m + 1. Furthermore, 2ma a = ma a for some ma ∈ N,
ma ≤ m + 1. Setting r = (m + 1)!, we get 2rb = rb for every b ∈ hAi. Of course,
Nb ∼
= N(+)/ρ(kb , tb ) and ord(b) = kb + tb − 1. Since 2rb = rb, we have r ≥ kb and
tb divides 2r − r = r. Consequently, kb + tb − 1 ≤ n for n = 2r − 1 ∈ N.

Lemma 1.2. Let a, b ∈ S be such that ka = la + b for some k, l ∈ N, k 6= l. If
ord(b) is finite, then ord(a) is so.
Proof. There are m, n ∈ N such that m < n and mb = nb. Then nka = nla + nb =
nla + mb = (n − m)la + m(la + b) = (n − m)la + mka = ((n − m)l + mk)a. Since
k 6= l, we see that (n − m)k 6= (n − m)l and nk 6= (n − m)l + mk. Consequently,
ord(a) is finite.

On a semiring S define a relation σS = {(a, b) ∈ S × S| (∃m ∈ N) ma = mb}.
Clearly, σS is a congruence of S and σS/σS = id.
Lemma 1.3. A semiring S is torsion, provided that the factor-semiring S/σS is
torsion.
Proof. For every a ∈ S there are k, l ∈ N such that (ka, la) ∈ σS , k < l. Furthermore, there is m ∈ N with mka = mla. Clearly, mk < ml, and hence ord(a) is
finite.

Let S be a semiring and o ∈
/ S be a new element. Putting x + o = o + x = x
and oo = xo = ox = o we get again a semiring S ∪ {o}. Consider now the semiring
T = N0 × (S ∪ {o}) equipped with component-wise addition and multiplication
given as (n, a)(m, b) = (nm, ma + nb + ab) for every n, m ∈ N0 and a, b ∈ S ∪ {o}.
Denote U(S) = T \ {(0, o)} the (unitary) subsemiring.
Now, S can always be treated as a natural unitary U(S)-semimodule, with
(n, a)x = nx + ax for every (n, a) ∈ U(S), x ∈ S. (Here (n, o)x = nx and
(0, a)x = ax for n ∈ N and a, x ∈ S.)
Lemma 1.4. Let S be a semiring. If w ∈ S, a, b, c ∈ U(S)w and m ∈ N are such
that ma = mb and mc = w, then a = b.

NOTES ON ADDITIVELY DIVISIBLE COMMUTATIVE SEMIRINGS

3

Proof. For every d ∈ U(S)w, there is αd ∈ U(S) with d = αd w. Now, a = αa w =
αa mc = αc αa mw = αc ma = αc mb = αc αb mw = αb mc = αb w = b.

2. Additively divisible semirings
Let S(= S(+)) be a semigroup. An element a ∈ S is called divisible (uniquely
divisible, resp.) if for every n ∈ N there exists b ∈ T (a unique, resp.) such that
a = nb.
A semigroup S is called divisible (uniquely divisible, resp.) if every element of S
is divisible (uniquely divisible, resp.). Clearly, S is divisible iff S = nS for every
n ∈ N. The class of divisible semigroups is closed under taking homomorphic images
and cartesian products and contains all divisible groups and all semilattices (i.e.,
idempotent semigroups).
A semiring is called additively divisible (additively uniquely divisible, resp.) if
its additive part is a divisible semigroup (uniquely divisible semigroup, resp.). The
semiring Q+ is additively (uniquely) divisible.
Note, that any semigroup S(+) with an idempotent element e (i.e. e + e = e)
can always be treated as a semiring with a constant multiplication given as ab = e
for every a, b ∈ S.
The following theorem is a consequence of [2, 2.5(i)].
Theorem 2.1. [2] A semigroup S is finitely generated and divisible if and only if
S is a finite semilattice.
Theorem 2.2. The following are equivalent for a commutative semiring S:
(i) S is additively idempotent.
(ii) S is additively divisible and bounded (i.e. sup{ord(a)| a ∈ S} < ∞).
(iii) S is additively uniquely divisible and torsion.
Proof. (i)⇒(ii): Obvious.
(ii)⇒(i): By 1.1 there exists n ∈ N such that 2na = na for every a ∈ S. Since S
is divisible, we have a = nb, and so 2a = 2nb = nb = a.
(i)⇒(iii): Easy.
(iii)⇒(i): Since S is torsion, for every a ∈ S there is k ∈ N such that 2ka = ka.
Now, S is additively uniquely divisible, hence k(2a) = ka and 2a = a.

Corollary 2.3. Let S be an divisible semiring. Then the factor-semiring S/σS is
additively uniquely divisible.
Moreover, if S is a torsion, then σS is just the smallest congruence of S such
that the corresponding factor-semiring is additively idempotent.
Corollary 2.4. Let S be an additively divisible semiring with T (S) 6= ∅. Then
T (S) is an additively divisible ideal in S.
If, moreover, S is uniquely additively divisible, then T (S) is additively idempotent.
Example 2.5. Consider a non-trivial semilattice S and the quasicyclic p-group
Zp∞ . Then the product S × Zp∞ is a torsion divisible semigroup that is neither a
semilattice nor a group.
3. Additively divisible semirings - continued
Throughout this section, let S be an additively divisible semiring. The following
assertion is easy to verify.
Proposition 3.1. Assume that the semiring S is generated as an S-semimodule
by a subset A such that sup{ord(a)| a ∈ A} < ∞. Then S is additively idempotent.

4

T. KEPKA AND M. KORBELÁŘ

Proof. Set m = sup{ord(a)| a ∈ A} ∈ N and put B = {b ∈ S| ord(b) ≤ m}. Then
A ⊆ B and sb ∈ B for all s ∈ S and b ∈ B. Consequently, hBi = S and, by 1.1,
sup{ord(b)| b ∈ S} < ∞. Now, it remains to use 2.2.

Corollary 3.2. The semiring S is additively idempotent, provided that it is generated as an S-semimodule by a finite set of elements of finite orders.
Corollary 3.3. The semiring S is additively idempotent, provided that it is torsion
and finitely generated.
Remark 3.4. (i) The zero multiplication ring defined on Zp∞ is both additively
divisible and additively torsion. Of course, the ring is neither additively idempotent
nor finitely generated. The (semi)group Zp∞ (+) is not uniquely divisible.
(ii) Let R be a (non-zero) finitely generated ring (not necessary with unit). Then
R has at least one maximal ideal I and the factor-ring R/I is a finitely generated
simple ring. However, any such a ring is finite and consequently, R is not additively
divisible.
Remark 3.5. Assume that S is additively uniquely divisible.
(i) For all m, n ∈ N and a ∈ S, there is a uniquely determined b ∈ S such
that ma = nb and we put (m/n)a = b. If m1 , n1 ∈ N and b1 ∈ S are such that
m/n = m1 /n1 and m1 a = n1 b1 , then k = mn1 = m1 n and kb1 = mm1 a = kb
and b1 = b. Consequently, we get a (scalar) multiplication Q+ × S → S (one
checks easily that q(a1 + a2 ) = qa1 + qa2 , (q1 + q2 )a = q1 a + q2 a, q1 (q2 a) = (q1 q2 )a
and 1a = a for all q1 , q2 ∈ Q+ and a1 , a2 , a ∈ S) and S becomes a unitary Q+ semimodule. Furthermore, qa1 · a2 = a1 · qa2 for all q ∈ Q+ and a1 , a2 ∈ S, and
therefore S is a unitary Q+ -algebra.
(ii) Let a ∈ S be multiplicatively but not additively idempotent (i.e., a2 = a 6=
2a). Put Q = Q+ a. Then Q is a subalgebra of the Q+ -algebra S and the mapping
ϕ : q 7→ qa is a homomorphism of the Q+ -algebras and, of course, of the semirings
as well. Since a 6= 2a, we have ker(ϕ) 6= Q+ × Q+ . But Q+ is a congruence-simple
semiring and it follows that ker(ϕ) = id. Consequently, Q ∼
= Q+ .
+
Put T = Sa. Then T is an ideal of the Q -algebra S, Q ⊆ T (we have qa =
qa · a ∈ T ) and a = 1Q = 1T is a multiplicatively neutral element of T . The
mapping s 7→ sa, s ∈ S, is a homomorphism of the Q+ -algebras. Consequently,
T is additively uniquely divisible. Furthermore, T is a finitely generated semiring,
provided that S is so.
Proposition 3.6. Assume that 1S ∈ S. Then:
(i) S is additively uniquely divisible.
(ii) Either S is additively idempotent or S contains a subsemiring Q such that
Q∼
= Q+ and 1S = 1Q .
(iii) If ord(1S ) is finite, then S is additively idempotent.
Proof. For every m ∈ N, there is sm ∈ S such that 1S = msm . That is, sm =
(m1S )−1 . If ma = mb, then a = sm ma = sm mb = b and we see that S is additively
uniquely divisible. The rest is clear from 3.5.

Proposition 3.7. If the semiring S is non-trivial and additively cancellative, then
S is not finitely generated.
Proof. The difference ring R = S − S of S is additively divisible, and hence it is
not finitely generated by 3.4(ii). Then S is not finitely generated either.

4. One-generated additively divisible semirings
In this section, let S be an additively divisible semiring generated by a single
element w ∈ S.

NOTES ON ADDITIVELY DIVISIBLE COMMUTATIVE SEMIRINGS

5

Proposition 4.1. The semiring S is additively uniquely divisible.
Proof. Follows from 1.4.



Proposition 4.2. The semiring S is additively idempotent, provided that ord(wm )
is finite for some m ∈ N.
Proof. Let n ∈ N be the smallest number with ord(wn ) finite. If n = 1, then the
result follows from 3.2, and so we assume, for contrary, that n ≥ 2. Since S(+)
is divisible, there are v ∈ S, k ∈ N0 and a polynomial f (x) ∈ N0 [x] · x such that
w = 2v and v = kw + w2 f (w). Hence wn−1 = 2kwn−1 + 2wn f (w). By assumption,
2wn f (w) is of finite order. If k = 0, then clearly ord(wn−1 ) is finite, and if k ≥ 1,
then ord(wn−1 ) is finite, by 1.2, the final contradiction.

For n ∈ N denote S n = h{a1 . . . an | ai ∈ S}i.
Lemma 4.3. If u ∈ S is such that w = wu, then u = 1S .
Proof. Let w = wu. Since S = U(S)w, for every a ∈ S there is αa ∈ U(S) such
that a = αa w. Hence a = αa w = αa wu = au for every a ∈ S. Thus u = 1S .

Corollary 4.4. 1S ∈ S (i.e. S is unitary) if and only if S 2 = S. In this case:
(i) There exists w−1 in S.
(ii) S n = S m for all n, m ∈ N.
Proof. Let S 2 = S. Then w ∈ S = S 2 and there is a non-zero polynomial f (x) ∈
N0 [x] · x such that w = wf (w). By 4.3, f (w) = 1S . Now, since 1S ∈ S = S 2 , we
have similarly that 1S = wu for some u ∈ S. Hence w−1 = u ∈ S. The rest is
obvious.

Lemma 4.5. Let k ∈ N, k ≥ 2 and u ∈ S ∪ {0} be such that w = kw + u. Then
there exists a ∈ S ∪ {0} such that x = 2x + ax for every x ∈ S.
Proof. Let u = mw + wf (w), where m ∈ N0 and f (x) ∈ N0 [x] · x. If f (x) = 0, then
ord(w) is finite, S is idempotent by 3.2 and we can put a = 0.
Hence assume that f (x) 6= 0. Put n = m + k and b = f (w) ∈ S. We have
w = nw + wb. Adding (n − 2)w to both sides of this equality, we get (n − 1)w =
2(n − 1)w + wb. Since w is a generator and S is additively divisible we have
b = (n − 1)a for some a ∈ S and for every x ∈ S there is αx ∈ U(S) such that
x = (n − 1)αx w. Hence x = αx (n − 1)w = αx (2(n − 1)w + (n − 1)wa) = 2x + xa
for every x ∈ S.

Remark 4.6. Let x, v ∈ S be such that x = 2x + v. Put o = x + v. Then:
(i) o is an idempotent and x = x + o.
(ii) The set {b ∈ S| x = x+b} is a subsemigroup of S(+) with o as an absorbing
element.
Theorem 4.7. If 1S ∈
/ S, then there exists a ∈ S ∪ {0} such that {u + au| u ∈ S}
is an ideal in S consisting of idempotent elements.
Proof. Since S is divisible, there is f ∈ N0 [x] such that w = 2f (w). By 4.3, we get
that f (x) = kx + xg(x) for some k ∈ N, k ≥ 2 and g ∈ N0 [x]. Now, by 4.5 there is
a ∈ S ∪ {0} such that u = 2u + au for every u ∈ S. Finally, u + au is idempotent
for every u ∈ S by 4.6.

Clearly, S is additively divisible, iff for every n ∈ N there is a non-zero polynomial fn (x) ∈ N0 [x] · x such that w = nfn (w). By [2, 2.5(i)], every divisible
element in a finitely generated commutative semigroup has to be idempotent. Assuming now, that the degree of the polynomials fn is bounded, we get that S is

6

T. KEPKA AND M. KORBELÁŘ

additively idempotent. To illustrate some other situations and techniques see the
next examples.
Example 4.8. Let n, m, k, l ∈ N be such that nl−1 6= mk−1 and suppose that
w = nwk and w = mwl . Then S is additively idempotent.
Indeed, nmk wkl = n(mwl )k = nwk = w = mwl = m(nwk )l = mnl wkl . Since
nmk 6= mnl , wkl is of finite order and S is additively idempotent by 4.2.
Example 4.9. Let w = 2(w + w2 ) and w = 3(w + w3 ). Then S is additively
idempotent.
Indeed, adding these two equalities we get 2w = 5w + 2w2 + 3w3 . Now, since
2
w = 2w2 + 2w3 we can substitute 2w = 5w + (2w2 + 2w3 ) + w3 = 5w + w2 + w3 .
Hence 4w = 10w +(2w2 +2w3 ) and by the same substitution we get 4w = 10w +w2 .
Finally, 8w = 20w + 2w2 = 18w + (2w + 2w2 ) = 19w and w is of finite order. Thus
S is additively idempotent by 4.2.
Even when a one-generated semiring does not have a unit, we can use another
one that will contain a unit and will share some properties with the original semiring
(see 4.10).
Proposition 4.10. TS = {ϕ ∈ End(S(+))| (∃α ∈ U(S))(∀x ∈ S) ϕ(x) = αx} is
an additively divisible commutative semiring that has a unit idS and is generated
by the set {idS , ϕw }, where ϕw (x) = wx.
Moreover, S is additively idempotent if and only if TS is so.
Proof. We only need to show, that idS ∈ TS is an additively divisible element. Let
n ∈ N. Then w = na for some a ∈ S and a = αa w for some αa ∈ U(S). Now, for
every x ∈ S there is αx ∈ U(S) such that x = αx w. Hence x = αx w = αx nαa w =
nαa x. Thus idS = nαa . The rest is easy.

5. A few conjectures
In this last section we present some other open questions that are influenced by
our main problem (namely by the conjecture (A) - see below).
Example 5.1. Given a multiplicative abelian group G and an element o ∈
/ G, put
U (G) = G ∪ {o} and define addition and multiplication on U (G) (extending the
multiplication on G) by x + y = xo = ox = o for all x, y ∈ U (G). Then U (G)
becomes an ideal-simple semiring.
Consider the following statements:
(A) Every finitely generated additively divisible semiring is additively idempotent.
(A1) Every finitely generated additively uniquely divisible semiring is additively
idempotent.
(B) No finitely generated semiring contains a copy of Q+ .
(B1) No finitely generated semiring with a unit element contains a copy of Q+
sharing the unit.
(B2) Every finitely generated additively divisible semiring with a unit is additively idempotent.
(C) Every parasemifield, that is finitely generated as a semiring, is additively
idempotent.
(C1) Every finitely generated infinite and ideal-simple semiring is additively
idempotent or a copy of the semiring U (G) (see 5.1) for an infinite finitely
generated abelian group G.
Proposition 5.2. (A) ⇔ (A1) ⇒ (B) ⇔ (B1) ⇔ (B2) ⇒ (C) ⇔ (C1).

NOTES ON ADDITIVELY DIVISIBLE COMMUTATIVE SEMIRINGS

7

Proof. First, it is clear that (A) ⇒ (A1), (B) ⇒ (B1) and (A) ⇒ (B2). Furthermore, (C) ⇔ (C1) by [5, 5.1]. Now, assume that (A1) is true and let S be a finitely
generated additively divisible semiring. By 2.3, S/σS is additively uniquely divisible and, of course, this semiring inherits the property of being finitely generated.
By (A1), the semiring S/σS is additively idempotent, and hence the semiring S
is additively torsion by 1.3. Finally, S is additively idempotent by 3.3. We have
shown that (A1) ⇒ (A) and consequently, (A) ⇔ (A1).
Next, let (B1) be true and let S be a finitely generated semiring containing a
subsemiring Q ∼
= Q+ . Put P = S ·1Q . Then P is an ideal of S, 1Q = 1P , Q ⊆ P and
the map s 7→ s1Q is a homomorphism of S onto P . Thus P is a finitely generated
semiring and this is a contradiction with (B1). We have shown that (B1) ⇒ (B)
and consequently, (B) ⇔ (B1).
The implication (B2) ⇒ (B1) is easy, since every semiring S with a unit element
1S that contains a subsemiring Q ∼
= Q+ with 1S = 1Q+ is additively divisible (for
a ∈ S and m ∈ N choose b = (m1S )−1 a ∈ S and get a = mb).
The implication (B) ⇒ (B2) follows immediately from 3.6.
We have shown that (B) ⇒ (B2) ⇒ (B1) ⇔ (B).
Finally, the implication (B2) ⇒ (C) follows from the fact that every parasemifield
S is additively divisible, since the prime parasemifield of S containg 1S is isomorhic
either to Q+ or to the trivial semiring.

The conjecture (C) was confirmed for the one-generated case in [6] and for the
two-generated case in [4].
Note that using the Birkhoff’s theorem we can consider an equivalent version of
the conjecture (A):
(A’) Every finitely generated subdirectly irreducible additively divisible semiring
is additively idempotent.
Of course, it would be sufficient if such a semiring were finite. Unfortunately,
this is not true. Assume for instance the semiring S = V (G) with G = Z(+).
By [1, 10.1], S is simple and two-generated. Nevertheless, it is an open question
whether also one-generated subdirectly irreducible additively divisible semiring can
be infinite.
Finally, Mal’cev [7] proved that every finitely generated commutative semigroup
is residually finite (i.e. it is a subdirect product of finite semigroups). Notice, that
also the additive part of a free finitely generated additively idempotent semiring is a
residually finite semigroup. If this is true also for every finitely generated additively
divisible semiring, we get a nice positive answer to the conjecture (A).
References
[1] R. El Bashir, J. Hurt, A. Jančařı́k, T. Kepka, Simple commutative semirings, J. Algebra 236
(2001), 277–306.
[2] W. E. Clark, W. C. Holland, G. J. Székely, Decompositions in discrete semigroups, Studia Sc.
Math. Hungarica 34 (1998), 15–23.
[3] V. S. Guba, A finitely generated complete group, Izv. Akad. Nauk SSSR, Ser. Mat. 50(5)
(1986), 883-924 (English translation: Math. USSR, Izv. 29 (1987), 233–277).
[4] J. Ježek, V. Kala, T. Kepka, Finitely generated algebraic structures with various divisibility
conditions, Forum Math. 24(2) (2012), 379–397.
[5] V. Kala, T. Kepka, A note on finitely generated ideal-simple commutative semirings, Comment. Math. Univ. Carolinae 49 (2008), 1–9.
[6] V. Kala, T. Kepka, M. Korbelář, Notes on commutative parasemifields, Comment. Math.
Univ. Carolinae 50(4) (2009), 521–533.
[7] A. I. Mal’cev, On homomorphisms into finite groups, Lecture Notes of Ivanovsk Pedagog. Inst.
18 (1958), 49–60.

8

T. KEPKA AND M. KORBELÁŘ

[8] A. Yu. Olshanskii, Geometry of Defining Relations in Groups, Nauka, Moscow, (1989) (in
Russian) (English translation: Kluwer, 1991).
Charles University, Faculty of Mathematics and Physics, Department of Algebra,
Sokolovská 83, 186 75 Prague 8, Czech Republic
E-mail address: kepka@karlin.mff.cuni.cz
Department of Mathematics and Statistics, Faculty of Science, Masaryk University,
Kotlářská 2, 611 37 Brno, Czech Republic
E-mail address: miroslav.korbelar@gmail.com

