Abstract
The complex product of (non-empty) subalgebras of a given algebra from a variety \(\mathcal{V}\) is again a subalgebra if and only if the variety \(\mathcal{V}\) has the so-called generalized entropic property. This paper is devoted to algebras with a neutral element or with a semigroup operation. We investigate relationships between the generalized entropic property and the commutativity of the fundamental operations of the algebra. In particular, we characterize the algebras with a neutral element that have the generalized entropic property. Furthermore, we show that, similarly as for n-monoids and n-groups, for inverse semigroups, the generalized entropic property is equivalent to commutativity.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let A be a nonempty set. Throughout this paper, we consider operations on A, i.e., maps f:A n→A, where n is a nonnegative integer, called the arity of f. We say that two operations f:A n→A and g:A m→A commute, and we write f⊥g, if
for all a 11,…,a nm ∈A. A self-commuting operation is one that commutes with itself. Clearly, every unary operation is self-commuting. An algebra A=(A;F) is entropic if any two of its fundamental operations commute, i.e., for all f,g∈F, A satisfies the identity
Note that a groupoid (A;⋅) is entropic if it satisfies the identity
A weaker version of the entropic law is the so-called generalized entropic property. An algebra A=(A;F) has the generalized entropic property if, for every n-ary f∈F and every m-ary g∈F, there exist m-ary terms t 1,…,t n of A such that A satisfies the identity
In particular, a groupoid A=(A;⋅) has the generalized entropic property if there are two binary terms t 1 and t 2 such that A satisfies the identity
We say that an algebra (A;F) has the subalgebras property if, for each n-ary operation f∈F, the complex product
of its (non-empty) subalgebras A 1,…,A n is again a subalgebra.
It was shown in [1] that if \(\mathcal{V}\) is an arbitrary variety of algebras, then each algebra in \(\mathcal{V}\) has the subalgebras property if and only if each algebra in \(\mathcal{V}\) has the generalized entropic property. (The result for a variety of groupoids was earlier proved by T. Evans [6].)
Some relationships between entropy and generalized entropy were investigated in [1]. For example, it was shown there that if an idempotent semigroup (a band) has the generalized entropic property, then it is entropic. For further information on entropic algebras in general and idempotent entropic algebras (modes) in particular, see [11].
This paper is devoted to algebras (A;F) with a neutral element or with a semigroup reduct (A;f). We investigate relationships between the generalized entropic property and the commutativity of the fundamental operations of (A;F). (In aggregation theory, the entropic laws for each f∈F and associative binary operation ⋅ are called the generalized Cauchy equations (see [8, Sect. 2.5.2]).) In general, the generalized entropic property and commutativity are not equivalent, but in some cases they are.
The paper is organized as follows. The role of a neutral element is described in Sect. 2. In particular, we generalize the Eckmann–Hilton Theorem for n-ary operations and we prove that an algebra with a neutral element has the generalized entropic property if and only if it is derived from a commutative monoid. In Sect. 3, we investigate some expanded semigroups, and we show that for inverse semigroups, the generalized entropic property is also equivalent to commutativity. Finally, in Sect. 4, we survey some known results about the (generalized) entropy of n-semigroups.
2 Algebras with a neutral element
It is clear that a commutative semigroup is entropic. It is also easy to find an example of a non-commutative semigroup which is entropic. The simplest one is any left-zero band (A;⋅) (a groupoid with xy≈x). Moreover, it was shown in [1] that the variety of groupoids satisfying the identity
has the generalized entropic property, but it is not entropic. In particular, there exist non-commutative semigroups that have the generalized entropic property but are not entropic. But when we “add” to a semigroup a neutral element the situation changes: entropy and generalized entropy are known to be equivalent for algebras with a neutral element (see Theorem 2.1 below).
An element e∈A is said to be neutral for an operation f:A n→A if
for every a∈A. Note that every element of A is neutral for the identity map on A; this is the only unary operation that has a neutral element. Nullary operations do not have neutral elements. We say that e is neutral for an algebra (A;F) if it is neutral for each operation f∈F. Observe that if e is neutral for an algebra (A;F), then {e} is a subalgebra of (A;F).
Theorem 2.1
([1])
Let (A;F) be an algebra with a neutral element. Then, (A;F) has the generalized entropic property if and only if it is entropic.
In particular, every groupoid (A;⋅) with a neutral element e has the generalized entropic property if and only if it is entropic.
Eckmann and Hilton [5] established the following strong result about commuting binary operations with a common neutral element.
Theorem 2.2
([5])
Assume that f and g are binary operations on A and e∈A is neutral for both f and g. If f⊥g, then f=g and f and g are commutative. Consequently, f and g are associative.
By Theorem 2.2, every entropic groupoid (A;⋅) with a neutral element is a commutative monoid. Hence, a monoid has the generalized entropic property if and only if it is commutative. Moreover, by the results of [6] (see also [1]), a group has the generalized entropic property if and only if it is commutative.
In the remainder of this section, we are going to find an explicit description of algebras with a neutral element that have the generalized entropic property (or, equivalently, are entropic). First we will generalize the Eckmann–Hilton theorem for n-ary operations, assuming a slightly weaker form of neutral elements. Let n≥2. We say that an (n−1)-tuple (e 1,…,e n−1)∈A n−1 is neutral for an operation f:A n→A if
for every a∈A and any permutation σ∈S n−1. Note that an element e is neutral for f:A n→A if and only if the (n−1)-tuple (e,…,e) is neutral for f.
An operation f is totally symmetric if for all permutations σ of {1,…,n}, we have f(a 1,…,a n )=f(a σ(1),…,a σ(n)) for all a 1,…,a n ∈A.
Lemma 2.3
Let f and g be n-ary operations on A, and assume that (e 1,…,e n−1)∈A n−1 is neutral for both f and g. If f⊥g, then f=g and f and g are totally symmetric.
Before entering into the proof, let us recall that a Latin square of order n is an n×n matrix with entries from the set {1,…,n} such that each element of {1,…,n} occurs exactly once in each row and exactly once in each column. There exist Latin squares of every order n≥1. If we permute the rows or the columns of a Latin square, the resulting matrix is again a Latin square. Based on this observation, it is easy to see (and well known) that for every permutation σ of {1,…,n} and every element k∈{1,…,n}, there exists a Latin square of order n such that, for every j∈{1,…,n}, the entry in row σ(j), column j equals k.
Proof of Lemma 2.3
If n=1, then our definitions yield that f and g are both equal to the identity map on A, and in this case the claim clearly holds. We may thus assume that n≥2. Let σ be an arbitrary permutation of {1,…,n}. Let M=(m ij ) be a Latin square of order n such that m σ(j)j =n for every j∈{1,…,n}. Let a 1,…,a n be arbitrary elements of A, and consider Eq. (1.1) for
The left-hand side of (1.1) yields
for some permutations ρ 1,…,ρ n of {1,…,n−1}, and the right-hand side yields
for some permutations κ 1,…,κ n of {1,…,n−1}. These are equal by the assumption that f⊥g. Taking σ to be the identity permutation, we have that f=g. Letting σ vary over the symmetric group S n , we can conclude that f is totally symmetric. □
Consequently, if f has a neutral element and f is self-commuting, then f is totally symmetric.
The notion of associativity can be generalized to n-ary operations as follows. An n-ary operation f:A n→A is said to be associative if the following associative laws hold:
for all a 1,…,a 2n−1∈A. An algebra (A;f) with one n-ary associative operation f is called an n-semigroup.
Lemma 2.4
If f:A n→A has a neutral (n−1)-tuple and f⊥f, then f is associative.
Proof
First we will show that for any a 1,…,a n ,a n+1,…,a 2n−1∈A
Let (e 1,…,e n−1) be a neutral (n−1)-tuple for f and let π∈S n−1 be any cycle of length n−1. By Lemma 2.3, f is totally symmetric. Hence we have
where the first and the fifth equalities hold because (e 1,…,e n−1) is neutral, the second and the fourth equalities hold by the assumption that f⊥f, and the third equality holds by the total symmetry of f. Now, it is easy to deduce from (2.2) and the total symmetry of f that f is associative. □
The following theorem generalizes the Eckmann–Hilton theorem for n-ary operations.
Theorem 2.5
If f and g are n-ary operations on A, n≥2, (e 1,…,e n−1)∈A n−1 is neutral for both f and g, and f⊥g, then f=g and f and g are totally symmetric and associative.
Proof
Follows immediately from Lemmas 2.3 and 2.4. □
Corollary 2.6
Each self-commuting operation with a neutral tuple (or with a neutral element) is associative and totally symmetric.
Lemma 2.7
Let (A;F) be an algebra with one-element subalgebras {e 1},…,{e n−1}, and assume that the (n−1)-tuple (e 1,…,e n−1) is neutral for an n-ary operation f∈F. If (A;F) has the generalized entropic property, then f commutes with each operation g∈F.
Proof
Let g:A m→A be an operation in F. By the generalized entropic property, there exist terms t 1,…,t n such that (A;F) satisfies the identity (1.3). Hence, for every k=1,…,n,
This implies that
that is, f⊥g. □
As a by-product of the results we have obtained so far, we can give a proof of Theorem 2.1.
Proof of Theorem 2.1
Assume that (A;F) has the generalized entropic property, and let e be a neutral element of (A;F). Since e is neutral for every operation in F, it follows from Lemma 2.7 that f⊥g for all f,g∈F, i.e., (A;F) is entropic. The converse implication is clear. □
Let f:A n→A be an arbitrary operation of arity n≥1. For ℓ≥0, we define the operation f (ℓ) of arity N(ℓ):=ℓ(n−1)+1 recursively as follows: \(f^{(0)} := \operatorname{id}_{A}\), and for ℓ≥0, we let
for all a 1,…,a N(ℓ+1)∈A. Note that f (1)=f. (Note also that if ∗ denotes the binary composition as in iterative algebras [9], we have that f (ℓ+1)=f∗f (ℓ) for all ℓ≥0.) We say that an algebra (A;(f i ) i∈I ) of type τ=(n i ) i∈I is the τ-algebra derived from f if for every i∈I there exists an integer ℓ i ≥0 such that n i =N(ℓ i ) and \(f_{i} = f^{(\ell_{i})}\).
Our main result concerning entropy and the generalized entropic property in algebras with a neutral element is the following.
Theorem 2.8
Let A=(A;F) be an algebra of type τ with a neutral element e. Then A is entropic (or, equivalently, A has the generalized entropic property) if and only if there exists a commutative monoid (A;f,e) such that A is the τ-algebra derived from f.
In order to prove Theorem 2.8, we will first establish a few lemmas. Our first lemma was proved by Couceiro and Marichal [2, Proposition 2.5].
Lemma 2.9
([2])
Let f:A n→A be an associative operation.
-
(i)
For all ℓ,m≥0 and for every i=0,…,N(ℓ), the equality
$$\begin{aligned} &f^{(\ell)}\bigl(a_1, \dots, a_i, f^{(m)}(a_{i + 1}, \dots, a_{i + N(m)}), a_{i + N(m) + 1}, \dots, a_{N(\ell+ m)}\bigr) \\ &\quad= f^{(\ell+ m)}(a_1, \dots, a_{N(\ell+ m)}) \end{aligned}$$holds for all a 1,…,a N(ℓ+m)∈A.
-
(ii)
For all ℓ≥0, m 1,…,m N(ℓ)≥0, the equality
$$f^{(\ell)}\bigl(f^{(m_1)}(\mathbf{a}_1), \dots, f^{(m_{N(\ell)})}(\mathbf{a}_{N(\ell)})\bigr) = f^{(\ell+ \sum _{i=1}^{N(\ell)} m_i)}( \mathbf{a}_1, \dots, \mathbf{a}_{N(\ell)}) $$holds for all \(\mathbf{a}_{i} \in A^{N(m_{i})}\) (1≤i≤N(ℓ)).
Lemma 2.10
Let f:A n→A be associative and totally symmetric. Then for every ℓ≥0, the operation f (ℓ) is totally symmetric.
Proof
The claim clearly holds if n=1, so we assume that n≥2. Since the permutations (1,2) and (1,2,…,N(ℓ)) generate the symmetric group S N(ℓ), it is sufficient to show that
hold for all a 1,…,a N(ℓ)∈A.
For the first equality, we have
where the first and the third equalities hold by Lemma 2.9(i), and the second equality holds by the total symmetry of f=f (1).
For the second equality, we have
where the first and the third equalities hold by Lemma 2.9(i), and the second equality holds by the total symmetry of f=f (1). □
Lemma 2.11
Let f:A n→A be associative and totally symmetric. Then for every ℓ,m≥0, the operations f (ℓ) and f (m) commute.
Proof
We need to show that f (ℓ)⊥f (m) for all ℓ,m≥0, i.e.,
holds for all a i,j ∈A, 1≤i≤N(ℓ), 1≤j≤N(m). By Lemma 2.9(ii), the left-hand side of (2.3) equals
while the right-hand side equals
Observe that
and
so (2.4) and (2.5) do indeed refer to the same function. Lemma 2.10, together with our assumption that f is totally symmetric, implies that f (ℓm(n−1)+ℓ+m) is totally symmetric as well; hence (2.4) and (2.5) are equal, and the proof is complete. □
Corollary 2.12
Each associative and totally symmetric operation is self-commuting.
Lemma 2.13
Let f:A n→A be associative, and let g:A ℓ(n−1)+1→A for some ℓ≥1. Assume that e∈A is neutral for both f and g. If f⊥g, then g=f (ℓ).
Proof
We will prove by induction that for every k∈{0,…,ℓ}, the equality
holds for all a 1,…,a k(n−1)+1∈A. This shows (for k=ℓ) that g=f (ℓ).
Since e is neutral for g, we have that
and equality (2.6) holds for k=0. Assume then that (2.6) holds for k=r≥0. We have
where the first equality holds because e is neutral for f, the second equality holds since f⊥g, the third equality holds by the induction hypothesis and by the assumption that e is neutral for f, and the last equality holds by the definition of f (r+1). This shows that equality (2.6) holds also for k=r+1, and the inductive proof is complete. □
Proof of Theorem 2.8
By Theorem 2.1, entropy and generalized entropy are equivalent in algebras with a neutral element, so we may assume that A is entropic. Let g∈F be an operation of arity m≥2, and define a binary operation f by f(a,b):=g(a,b,e,…,e) for all a,b∈A. Since g is associative and totally symmetric by Theorem 2.5 and e is neutral for g, it is easy to verify that (A;f,e) is a commutative monoid. Furthermore, if g commutes with an operation h satisfying h(e,…,e)=e, then also f commutes with h. Thus, if h is an n-ary operation in F, n≥2, then we have that f⊥h, and Lemma 2.13 implies that h=f (n−1). Furthermore, every unary operation in F equals \(\operatorname{id}_{A} = f^{(0)}\), and there are no nullary operations in F. We conclude that A is the τ-algebra derived from f.
The converse implication is established in Lemma 2.11. □
3 Inverse semigroups and other expanded semigroups
We now consider the problem of determining conditions when an expanded semigroup (an algebra (A;F) such that F contains a binary associative operation) has the generalized entropic property. While a complete characterization eludes us, we investigate a few interesting special cases. Of course, we will assume that the algebra does not have a neutral element—otherwise, we know the answer from Theorem 2.8.
Let us start with a monoid (A;+,0,⋅) with one additional binary multiplication. Assume that {0} is a subalgebra of (A;⋅). Then by Lemma 2.7, if (A;+,0,⋅) has the generalized entropic property, then + and ⋅ commute:
Hence, if (A;+,0,⋅) is a semiring with absorbing zero 0, then
Thus, we have obtained the following result.
Theorem 3.1
The only semirings with absorbing zero and with the generalized entropic property are zero-semirings.
In particular, if a ring (A;+,0,⋅) with a multiplicative neutral element 1 has the generalized entropic property, then (A;+,0,⋅) is trivial (0=1). Moreover, Theorem 3.1 shows that there is no field which has the generalized entropic property.
Theorem 3.2
The only lattices with the generalized entropic property are the one-element lattices.
Proof
Assume that L=(A;∧,∨) is a lattice with the generalized entropic property. It is easy to see that any binary term operation t(x,y) on L equals one of the following: x, y, x∨y, x∧y. Straightforward calculations show that for every choice of binary terms t 1 and t 2, identity (1.3) for f=∨, g=∧ holds only if |A|=1. □
An inverse semigroup is an algebra A=(A;⋅,−1) of type (2,1) that satisfies the following identities:
-
x⋅(y⋅z)≈(x⋅y)⋅z (associativity, i.e., (A;⋅) is a semigroup),
-
xx −1 x≈x,
-
(x −1)−1≈x,
-
(xy)−1≈y −1 x −1,
-
xx −1 x −1 x≈x −1 xxx −1.
We say that an inverse semigroup A=(A;⋅,−1) is commutative if (A;⋅) is a commutative semigroup.
We will show that entropy, generalized entropy, and commutativity are equivalent properties in inverse semigroups. We first recall some notions and tools from the structure theory of inverse semigroups (see Petrich [10, Sects. II and XII]). Let ρ be a congruence of a semigroup S. If S/ρ is a semilattice, then ρ is a semilattice congruence on S, and S is referred to as a semilattice of semigroups S α , where the S α are the ρ-classes. A Clifford semigroup is a semilattice of groups. A variety consisting solely of Clifford semigroups is a Clifford variety. The 5-element Brandt semigroup B 2 is the semigroup generated by a and b, subject to the following relations:
Note that B 2 is an inverse semigroup with a −1=b, b −1=a, (ab)−1=ab, (ba)−1=ba, 0−1=0.
Proposition 3.3
(see Petrich [10, Proposition XII.4.13])
A variety \(\mathcal{V}\) of inverse semigroups is a Clifford variety if and only if \(B_{2} \notin\mathcal{V}\).
From the description of the free monogenic inverse semigroup [10, Chap. XI] it follows that for every unary inverse semigroup term t(x), there exist numbers p, q, r with 0≤p≤q, 0≤r≤q, q>0, such that the identity t(x)≈x −p x q x −r holds in the variety of all inverse semigroups. (We make use of the convention that x 0 is an empty symbol.)
Theorem 3.4
For an inverse semigroup A, the following conditions are equivalent.
-
(i)
A is entropic.
-
(ii)
A has the generalized entropic property.
-
(iii)
A is commutative.
Proof
(i) ⇒ (ii) Entropy implies generalized entropy.
(ii) ⇒ (iii) Let A be an inverse semigroup, and assume that A has the generalized entropic property. Then there exist unary terms t 1 and t 2 of A such that A satisfies the identity
We may assume that \(t_{1}(x) = x^{-p_{1}} x^{q_{1}} x^{-r_{1}}\) and \(t_{2}(y) = y^{-p_{2}} y^{q_{2}} y^{-r_{2}}\) for some p 1,q 1,r 1,p 2,q 2,r 2 satisfying 0≤p i ≤q i , 0≤r i ≤q i , q i >0 for i∈{1,2}. Identity (3.1) fails in the 5-element Brandt semigroup B 2. (We leave the verification of the details to the reader: if t 1(x)=x and t 2(y)=y or t 1(x)=xx −1 and t 2(y)=y −1 y, then evaluate x and y at ab and a, respectively; otherwise evaluate x and y at a and b, respectively.) By Proposition 3.3, A is a semilattice of groups. Every group satisfying (3.1) is abelian. (To see this, observe that for a group G=(G;⋅,−1), identity (3.1) means that there exist integers m and n such that G satisfies xy≈y m x n. Here x 0 stands for the neutral element e of (G;⋅). This implies that x≈xe≈e m x n≈x n and y≈ey≈y m e n≈y m. Consequently, xy≈yx.) Hence A is a semilattice of abelian groups, and so A is commutative.
(iii) ⇒ (i) Assume that A is commutative. Then (xy)−1≈(yx)−1≈x −1 y −1, and Eq. (1.2) holds for g=−1 and f=⋅. Equation (1.2) holds trivially for g=f=−1, because every unary operation is self-commuting. Because each commutative semigroup is entropic, Eq. (1.2) also holds for g=f=⋅. Thus, A is entropic. □
4 n-Semigroups
The current study gives rise in an obvious way to the following interesting problem: find necessary and sufficient conditions for an n-semigroup to be entropic (or to have the generalized entropic property). To the best of our knowledge, this is an open problem. We will survey here some known results when restricted to some special classes of n-semigroups.
Theorems 3.4 and 4.3 show that in inverse semigroups or in n-semigroups with a neutral element, entropy (or, equivalently, generalized entropy) is equivalent to commutativity (or total symmetry).
An n-semigroup (A;f) is called an n-group if for every i∈{1,…,n} and for all a 1,…,a i−1,a i+1,…,a n ,c∈A, there exists a unique b∈A such that f(a 1,…,a i−1,b,a i+1,…,a n )=c. A group is a 2-group in this sense. We will refer to n-semigroups with a neutral element as n-monoids, and to n-semigroups with a neutral (n−1)-tuple as generalized n-monoids. A monoid is a 2-monoid and a generalized 2-monoid in this sense.
Let 1≤i<j≤n. An operation f:A n→A is said to be (i,j)-commutative if
for all a 1,…,a n ∈A. In particular, a (1,n)-commutative operation is called semiabelian.
As we have already noticed a binary associative and commutative operation is entropic. This observation is also true for a more general case. Dörnte [3] (see also [7]) proved that any n-ary semiabelian and associative operation is self-commuting. (Dörnte stated this result for n-groups, but his proof works for n-semigroups.)
Theorem 4.1
([3])
Each semiabelian n-semigroup is entropic.
On the other hand Głazek and Gleichgewicht showed in [7] that an n-group is semiabelian if and only if it is entropic. As a consequence of Theorems 2.5 and 4.1, a similar result is also true for n-monoids.
Corollary 4.2
An n-monoid is semiabelian if and only if it is entropic.
In fact we have even more.
Theorem 4.3
Let (A;f) be an algebra with one n-ary operation that has a neutral (n−1)-tuple. Then (A;f) is entropic (or equivalently has generalized entropic property) if and only if it is semiabelian generalized n-monoid.
From Theorem 5 in [4] we can conclude that a generalized n-monoid is (i,i+1)-commutative for 1≤i≤n−1 if and only if it is totally symmetric. Note that by Theorems 2.5 and 4.1 any generalized n-monoid is totally symmetric if and only if it is semiabelian.
Moreover, Dudek formulated another equivalent condition for semiabelianness of some n-semigroups.
Theorem 4.4
([4])
Let (A;f) be an n-semigroup in which there exist a 1,…,a n−1∈A such that for all a∈A, f(a 1,…,a n−1,a)=a or f(a,a 1,…,a n−1)=a. Then, (A;f) is semiabelian if and only if f(a,a 1,…,a n−2,b)=f(b,a 1,…,a n−2,a) for all a,b∈A.
Hence, by Corollary 4.2 we immediately have.
Corollary 4.5
An n-monoid (A;f,e) is entropic if and only if f(a,e,…,e,b)=f(b,e,…,e,a) for all a,b∈A.
References
Adaricheva, K., Pilitowska, A., Stanovský, D.: Complex algebras of subalgebras. Algebra Logika 47, 655–686 (2008) (in Russian). English translation: Algebra Logic 47, 367–383 (2008)
Couceiro, M., Marichal, J.-L.: Aczélian n-ary semigroups. Semigroup Forum 85, 81–90 (2012)
Dörnte, W.: Untersuchungen über einen verallgemeinerten Gruppenbegriff. Math. Z. 29, 1–19 (1928)
Dudek, W.A.: Remarks on n-groups. Demonstr. Math. 13(1), 165–181 (1980)
Eckmann, B., Hilton, P.J.: Group-like structures in general categories I—multiplications and comultiplications. Math. Ann. 145, 227–255 (1962)
Evans, T.: Properties of algebras almost equivalent to identities. J. Lond. Math. Soc. 35, 53–59 (1962)
Głazek, K., Gleichgewicht, B.: Abelian n-groups. In: Csákány, B., Fried, E., Schmidt, E.T. (eds.) Universal Algebra. Colloquia Mathematica Societatis János Bolyai, vol. 29, pp. 321–329. North-Holland, Amsterdam (1982)
Grabisch, M., Marichal, J.-L., Mesiar, R., Pap, E.: Aggregation Functions. Encyclopedia of Mathematics and Its Applications, vol. 127. Cambridge University Press, Cambridge (2009)
Mal’cev, A.I.: Iterative algebras and Post’s varieties. Algebra Logika 5, 5–24 (1966) (in Russian)
Petrich, M.: Inverse Semigroups. Wiley, New York (1984)
Romanowska, A., Smith, J.D.H.: Modes. World Scientific, Singapore (2002)
Acknowledgements
The authors are indebted to the anonymous referee for suggesting the proof of Theorem 3.4 and for other constructive remarks that helped improve the manuscript.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Mikhail Volkov.
While working on this paper, the second author was supported by the Statutory Grant of Warsaw University of Technology 504G11200054000.
Rights and permissions
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.
About this article
Cite this article
Lehtonen, E., Pilitowska, A. Generalized entropy in expanded semigroups and in algebras with neutral element. Semigroup Forum 88, 702–714 (2014). https://doi.org/10.1007/s00233-013-9563-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00233-013-9563-y