arxiv: v1 [math.gr] 27 Jun 2017

Transcription

1 STRUCTURE AND A DUALITY OF BINARY OPERATIONS ON MONOIDS AND GROUPS arxiv: v1 [math.gr] 27 Jun 2017 MASAYOSHI KANEDA Abstract. In this paper we introduce novel views of monoids a groups. More specifically, for a given set S, let be the set of binary operations on S. We equip with canonical binary operations iuced by the elements of S. Let Smn (respectively, S gr ) be the set of binary operations that make S monoids (respectively, groups). Then we have the following duality : for each z Smn a certain subset of S, denoted by Sz, is a monoid with a canonical binary operation a is isomorphic to (S,z). If z Sgr, then Sgr can be partitioned into copies of Sz. We also give a new characterization of group binary operations which distinguishes them from the other binary operations. These results give us new insights into monoids a groups, a will provide new tools a directions in studying these objects. 1. Introduction a Preliminaries. Let us recall very basic definitions. A magma is a set equipped with a binary operation. A semigroup is a magma in which its binary operation is associative. A monoid is a semigroup with a two-sided identity. A group is a monoid in which every element has a two-sided inverse. A homomorphism is a function between magmas preserving their binary operations. An isomorphism is a homomorphism which is bijective (i.e., one-to-one a onto). An automorphism is an isomorphism from a magma onto itself. For a given set S, let us denote by the set of all binary operations on S; that is, the set of all functions from S S to S. Each element of makes S a distinct magma if no isomorphic identification is made. In general the set is huge compared with S if S is nontrivial. Ieed, if S is a nonempty finite set, then = S S 2. Thus if S = 2, then = 16; if S = 3, then = 19683; if S = 4, then = ; so on. In this paper, however, we mostly deal with relatively small subsets of with certain properties which we shall define in what follows. Let us denote a magma S with binary operation z by the ordered pair (S,z). We denote by azb S the image of (a,b) S S by z. Now we define the following subclasses of. Ssg is the set of elements z for which (S,z) is a semigroup; that is, the binary operation z is associative: sg := {z (azb)zc = az(bzc), a,b,c S}. Date: October 15, Mathematics subject classification Primary 20N02; Secoary 20E34, 20M10. Key words a phrases. Sets with binary operations, semigroups, monoids, groups. 1

2 2 MASAYOSHI KANEDA Smn is the set of elements z Ssg for which (S,z) is a monoid; that is, (S,z) is a semigroup with a two-sided identity (necessarily unique): mn := {z S sg e S such that eza = a = aze, a S}. Sgr is the set of elements z Smn for which (S,z) is a group; that is, (S,z) is a monoid in which every element has a two-sided inverse (necessarily unique): gr := {z mn where e is the identity of (S,z). Besides, we define the following. a S, b S such that bza = azb = e}, Definition 1.1. We say that an element z is noegenerate if z is onto; that is, for every a S there exist b,c S such that a = bzc. We denote by the set of all noegenerate elements in. Clearly, gr Smn S Ssg sg a these sets are nonempty as long as S. It is not hard to see that if S 2, then each inclusion is proper a neither nor Ssg is included in the other. However, elements of a Ssg are closely related each other. Ieed, any element of that is compatible with an element of must be an element of Ssg ; that is, such an element must be associative. See Proposition 2.2 (1) a Question after the proposition. When we try to equip the set with a binary operation naturally iuced by a S, we encounter a situation in which we must consider associativity involving more than one binary operation on S as seen in what follows. Each element a S iuces two canonical binary operationsˆaˇon : b(z 1 âz 2 )c := (bz 1 a)z 2 c, b,c S, z 1,z 2. b(z 1 ǎz 2 )c := bz 1 (az 2 c), b,c S, z 1,z 2. Definition 1.2. We say that z 1 a z 2 are compatible if z 1 âz 2 = z 1 ǎz 2 a z 2 âz 1 = z 2 ǎz 1 hold for every a S; that is, if the following coition, which we shall call multiple associativity or multi-associativity, holds. (az 1 b)z 2 c = az 1 (bz 2 c) a (az 2 b)z 1 c = az 2 (bz 1 c), a,b,c S. The compatibility is a symmetric relation; however, it is neither reflexive nor transitive unless one restricts the domain. Ieed, Ssg can be defined as the set of those elements in each of which is compatible with itself; thus the compatibility is reflexive on Ssg. Also note that the compatibility is transitive on which follows from Lemma 2.1.

3 STRUCTURE AND A DUALITY OF BINARY OPERATIONS ON MONOIDS AND GROUPS 3 Whenever z 1 az 2 arecompatible, wesimplywriteaz 1 bz 2 cfor(az 1 b)z 2 coraz 1 (bz 2 c)without ambiguity, a write z 1 âz 2 for z 1 ǎz 2, where z 1,z 2, a,b,c S. In this case z 1 âz 2 a z 1ˆbz2 are compatible for all a,b S, for (c(z 1 âz 2 )d)(z 1ˆbz2 )f = ((cz 1 a)z 2 d)z 1 (bz 2 f) = (cz 1 a)z 2 (dz 1 (bz 2 f)) = c(z 1 âz 2 )(d(z 1ˆbz2 )f), a,b,c,d,f S. In particular, z 1 âz 2 is compatible with itself; thus z 1 âz 2 Ssg even if z 1 or z 2 is not compatible with itself. Now we collect all the elements that are compatible with a given element z. Definition 1.3. For each z, define S z := {z (azb)z c = az(bz c) a (az b)zc = az (bzc), a,b,c S}; that is, Sz is the set of all elements in S that is compatible with z. We call Sz the dual of S with respect to the binary operation z. The reason why we call Sz the dual of S will become clear in Theorem 2.3 (1). Note that z Sz if a only if z S sg. Also note that for z 1,z 2, z 1 Sz 2 if a only if z 2 Sz 1 since compatibility is symmetric. However, z 1 Sz 2 does not always imply that Sz 1 = Sz 2 unless z 1 Sgr, or z 2 Sgr, or z 1,z 2. This means that z 1 may not be compatible with all elements of Sz 2 even though it is compatible with z 2. See Lemma 2.1, Corollary 2.5, a Example 3.1 (toward the e of the example). The main result of this paper is Theorem 2.3. In part (1) of the theorem we show that if z Smn, then there is a bijection φ from S onto Sz such that the monoid (S,φ(a)) is isomorphic to (Sz,â) via φ for each a S. Part (2) of the theorem shows that S gr is partitioned into copies of Sz if z S gr. Corollary 2.5 provides a new characterization of group binary operations. This work was motivated by the author s precedent works [1], [2], a [3] (joint with V. I. Paulsen) in which operator algebra products are characterized using quasi-multipliers of operator spaces. That is, the operator algebra products a given operator space can be equipped with are precisely the bilinear mappings on the operator space that are implemented by contractive quasi-multipliers. The present paper is the outcome of an attempt to introduce a counterpart to quasi-multipliers in the most primitive setting in pure algebra. The elements of play roles more or less similar to the quasi-multipliers. 2. Results. The following lemma is useful throughout this section. Lemma 2.1. Let z 1 a z 2. If z 1 Sz 2, or, equivalently, z 2 Sz 1, then Sz 1 Sz 2. Therefore, if, in addition, z 2, then Sz 1 = Sz 2. Proof. Suppose that z 1, z 2, a z 1 Sz 2. Let z Sz 1 a a,b,c S. Then there exist d,f S such that b = dz 1 f, so that (azb)z 2 c = (az(dz 1 f))z 2 c = ((azd)z 1 f)z 2 c = (azd)z 1 (fz 2 c) = az(dz 1 (fz 2 c)) = az((dz 1 f)z 2 c) = az(bz 2 c). Similarly, (az 2 b)zc = az 2 (bzc), hence Sz 1 Sz 2. It is interesting to note in the proof above that z 1 plays the role of a catalyst to make z a z 2 compatible.

4 4 MASAYOSHI KANEDA The following proposition tells us that if z, then any two elements in Sz are compatible (we shall refer to this property as the pairwise compatibility of the elements of Sz), a Sz is closed uer the binary operation â for each a S, a the multiple associativity works in Sz. That is, (S z,â) is a semigroup for each a S. Note, however, that z / Sz in general as remarked after Definition 1.3. Also note that assuming z is essential in the proposition since otherwise the multiple associativity in S in part (1) might not hold. See the e of Example 3.1. Proposition 2.2. Let z. Then the following hold. (1) (Multiple Associativity in S) (az 1 b)z 2 c = az 1 (bz 2 c), a,b,c S, z 1,z 2 Sz. In particular, Sz Ssg. Furthermore, if z / Ssg, then Sz Ssg (2) (Closedness of Sz ) If z 1,z 2 Sz, then z 1âz 2 Sz, a S. \. (3) (Multiple Associativity in Sz ) (z 1âz 2 )ˆbz 3 = z 1 â(z 2ˆbz3 ), z 1,z 2,z 3 Sz, a,b S. Proof. (1) Let z 1,z 2 Sz. Then by Lemma 2.1 Sz Sz 1 since z. But z 2 Sz, so that z 2 Sz 1 ; that is, z 1 is compatible with z 2. To see the last claim, assume that z / Ssg a Sz. Pick z 3 Sz, then by Lemma 2.1 Sz 3 = Sz, so that z Sz 3 = Sz S sg, a contradiction. (2) For all a,b,c,d S, (bzc)(z 1 âz 2 )d = ((bzc)z 1 a)z 2 d = (bz(cz 1 a))z 2 d = bz((cz 1 a)z 2 d) = bz(c(z 1 âz 2 )d). Similarly, (b(z 1 âz 2 )c)zd = b(z 1 âz 2 )(czd). (3) Let a,b,c,d S a z 1,z 2,z 3 Sz. Then repeated use of the pairwise compatibility of elements in Sz proved in part (1) yields that c((z 1 âz 2 )ˆbz 3 )d = (c(z 1 âz 2 )b)z 3 d = ((cz 1 a)z 2 b)z 3 d = (cz 1 (az 2 b))z 3 d = cz 1 ((az 2 b)z 3 d) = cz 1 (a(z 2ˆbz3 )d) = c(z 1 â(z 2ˆbz3 ))d, whereinthe lastequality we usedthe factthatz 2ˆbz3 Sz, aconclusion frompart(2). With reference to part(1) of the above proposition, we leave the following as open question. Question. Does S z {S z z exhaust S sg \Ssg } = Ssg \ when z moves arou in \? Or, at least S z \ Ssg ; that is, whenever z sg? An affirmative answer to the first part implies one to the seco which says that every associative binary operation is compatible with at least one noegenerate binary operation (which may or may not be associative). Now we are in a position to state our main result. Theorem 2.3. Suppose that S. (1) (Duality) Let z 0 Smn, a let e S be the identity of the monoid (S,z 0). Then there is a bijection φ from S onto Sz 0 such that φ(e) = z 0, a for each a S, the semigroup (S,φ(a)) is isomorphic to the semigroup (Sz 0,â) via φ. In particular, (Sz 0,ê) is a monoid with identity z 0. (2) Let z 0 Sgr, a let e S be the identity of the group (S,z 0 ). Then, in addition to the conclusions of (1), the following hold. (a) Sz 0 Sgr, a for every z Sz 0, Sz = S z 0, a the group (S,z) is isomorphic to (S,z 0 ) (hence by (1) it is also isomorphic to (Sz 0,â) for every a S).

5 STRUCTURE AND A DUALITY OF BINARY OPERATIONS ON MONOIDS AND GROUPS 5 (b) Let Sgr (e) be the set of those elements z Sgr of the group (S,z). Then Sgr (disjoint union). is partitioned into gr for which e is the identity = {Sz z S gr (e)} (c) Let us say that z 1 Sgr (e) a z 2 Sgr (e) are equivalent a write z 1 z 2 if (S,z 1 ) a (S,z 2 ) are isomorphic (obviously is an equivalence relation). Let R := {z λ λ Λ} be a complete set of representatives of the equivalence classes in Sgr (e)/, where Λ is an iex set, a denote the equivalence class of z λ by [z λ ]. Then each element of R equips S with a distinct group structure on S, a the elements of R exhaust all the possible group structures on S. In particular, if S is a finite set, then the number of distinct group structures on S is R (= Λ ). Furthermore, let us denote by Sym e (S) the group of permutations on S that fix e, a for each z λ R, let us say that σ 1, Sym e (S) a σ 2, Sym e (S) are z λ - equivalent a write σ 1 zλ σ 2 if σ2 1 σ 1 Aut(S,z λ ), where Aut(S,z λ ) is the group of automorphismson (S,z λ ) which is a subgroup of Sym e (S). Then [z λ ] has the same cardinality as the quotient Sym e (S)/Aut(S,z λ ). In particular, if S = n, a positive integer, then [z λ ] = S n 1 / Aut(S,z λ ) = (n 1)!/ Aut(S,z λ ), where S n 1 is the symmetric group of degree n 1. Proof. (1) Define φ : S Sz 0 by φ(a) := z 0 âz 0, a S. Clearly the range is in Sz 0 noting that z 0 is compatible with itself since z 0 Smn Ssg. We shall show that this φ has the desired properties. It is obvious that z 0 = z 0 êz 0, so that φ(e) = z 0. It is also easy to see that φ is one-to-one, for φ(a) = φ(b)(a,b S) yields that a = e(z 0 âz 0 )e = eφ(a)e = eφ(b)e = e(z 0ˆbz0 )e = b. To see that φ is onto, first note that for every z Sz 0 a every a,b S, we have that azb = az(ez 0 b) = (aze)z 0 b = ((az 0 e)ze)z 0 b = (az 0 (eze))z 0 b, which implies that the value of eze completely determines z as an element of Sz 0. When a takes all elements of S, eφ(a)e takes all elements of S since eφ(a)e = e(z 0 âz 0 )e = a, a S. Thus φ is onto. Finally, the assertion that φ : (S,φ(a)) (Sz 0,â) is an isomorphism follows from dφ(bφ(a)c)f = (dz 0 ((bz 0 a)z 0 c))z 0 f = ((dz 0 (bz 0 a))z 0 c)z 0 f = (dφ(b)a)φ(c)f = d(φ(b)âφ(c))f, a,b,c,d,f S. (2) (a) Let φ be as in (1) a z Sz 0. Then by (1) there exists an a S such that z = φ(a). Wedenotetheinverse ofeachelement b S inthegroup(s,z 0 )byb 1. Defineψfromthegroup(S,z 0 )tothesemigroup(s,z)byψ(b) := bz 0 a 1, b S. It is straightforward to check that ψ is a homomorphism noting that z = z 0 az 0, so that (S,z) is a group a Sz 0 Sgr, hence by Lemma 2.1 Sz 0 = Sz. It is also an easy routine work to check that ψ is one-to-one a onto; thus (S,z 0 ) is isomorphic to (S,z). (In fact, a 1 is the identity of (S,z), a a 1 z 0 b 1 z 0 a 1 is the inverse of b S in (S,z).) (b) Suppose that z 1,z 2 Sgr (e) a Sz 1 Sz 2. Pick z 3 Sz 1 Sz 2 the right-ha side of which is a subset of Sgr by part (a), then by Lemma 2.1 Sz 1 = Sz 3 = Sz 2 ; that is, z 1 a z 2 are compatible. Therefore for all a,b S, az 1 b = az 1 (ez 2 b) = (az 1 e)z 2 b = az 2 b, hence z 1 = z 2. Next let z Sgr, a let a be theidentity of the group(s,z), a let e 1 be theinverse of ein (S,z). Define

6 6 MASAYOSHI KANEDA z 4 Ssg by z 4 := zê 1 z. Clearly, z 4 Sz S gr, hence (S,z 4 ) is a group a z Sz 4 as well. Since ez 4 b = eze 1 zb = azb = b a similarly bz 4 e = b, b S, we know that e is the identity of (S,z 4 ), a hence z 4 Sgr (e). (c) We shall show the only nontrivial statement that for each z λ R, [z λ ] has the same cardinality as Sym e (S)/Aut(S,z λ ). For each σ Sym e (S) define z σ by σ(a)z σ σ(b) = σ(az λ b), a,b S. Note that this z σ is the only binary operation on S that makes σ : (S,z λ ) (S,z σ ) an isomorphism. Then (S,z σ ) is a group with identity σ(e) = e which is isomorphic to (S,z λ ), a thus z σ [z λ ]. Define a function ϕ : Sym e (S) [z λ ] by ϕ(σ) = z σ. It is easy to see that ϕ is onto. Ieed, let z [z λ ]. Then there is an isomorphism σ 0 Sym e (S) from (S,z λ ) onto (S,z); that is, σ 0 (az λ b) = σ 0 (a)zσ 0 (b), a,b S. Thus z = z σ 0, a hence ϕ is onto. Now suppose that σ 1,σ 2 Sym e (S) a z σ 1 = z σ 2. Then σ 1 (az λ b) = σ 1 (a)z σ 1 σ 1 (b) = σ 1 (a)z σ 2 σ 1 (b) = σ 2 (σ2 1 (σ 1(a)))z σ 2 σ 2 (σ2 1 (σ 1(b))) = σ 2 (σ2 1 (σ 1(a))z λ σ2 1 (σ 1(b))), so that σ2 1 (σ 1(az λ b)) = σ2 1 (σ 1(a))z λ σ2 1 (σ 1(b)), a,b S, which tell us that σ2 1 σ 1 Aut(S,z λ ); that is, σ 1 zλ σ 2. Remark 2.4. (1) The key part in the proof of part (1) of the theorem is that the value of eze completely determines the structure of the semigroup (S, z). (2) In part (1) of the theorem Sz 0 need not be a subset of in general even if z 0 Smn (see Example 3.1). Also it could happen that S z 1 Sz 2 Ssg \ forz 1,z 2 Smn (seealsoexample3.1). ForthesereasonsS mn cannotbepartitioned in general in the way we did for Sgr in part (2a) of the theorem. (3) If we express the binary operation z 0 Smn by concatenation a the new product φ(a) by in the proof of (1), then b c = bac for b,c S. This means that each binary operation in Sz 0 can be obtained by sawiching each element of S. In particular, if z 0 gr, then part (2a) of the theorem is saying that every element z S z0 is equivalent a every element is qualified for an identity by redefining a binary operation by sawiching. (4) In (1) (respectively, (2)) of the theorem, if S is equipped with a topology τ (the set of open sets in S), then τ := {{z 0 bz 0 b U} U τ} defines a topology on S z 0, a with this topology (S,φ(a)) is isomorphic to (S z 0,â) as topological monoids (respectively, topological groups) via φ for each a S; that is, φ is a homeomorphism as well as an isomorphism. (5) Given a binary operation z a a permutation σ on S, the binary operation z σ defined by σ(a)z σ σ(b) = σ(azb), a,b S is the only one that makes σ an isomorphism from the magma (S,z) onto the magma (S,z σ ). Of course, z σ = z if a only if σ Aut(S,z). (6) In (2c) of the theorem Aut(S,z λ ) is not a normal subgroup of Sym e (S) in general. See Example 3.2. The following corollary tells us that no element z / Sgr is compatible with any element of Sgr. This property distinguishes the elements of Sgr from the other binary operations, a provides a new characterization of group binary operations.

7 STRUCTURE AND A DUALITY OF BINARY OPERATIONS ON MONOIDS AND GROUPS 7 Corollary 2.5. Let z 1 gr a z 2. Then either S z 1 S z 2 = or S z 1 = S z 2 occurs. Proof. Suppose that Sz 1 Sz 2 a pick z 3 Sz 1 Sz 2. By Theorem 2.3 (2a), Sz 1 Sgr, so that z 3 Sgr, hence Sz 1 = Sz 3 Sz 2 by Lemma 2.1. But z 3 Sz 2 implies that z 2 Sz 3 = Sz 1 Sgr, so that Sz 2 Sz 1 by Lemma 2.1 again. 3. Examples Although our results in Section 2 apply to sets of any cardinalities, in this section we restrict ourselves to two simple examples of finite sets to illustrate situations in Theorem 2.3 a clarify remarks made in Sections 1 a 2. These examples provide only commutative monoids or groups, but the results in Section 2 are valid for noncommutative cases as well. Example 3.1. Let S = {a,b,c}, where a, b, a c are distinct. Although = 19683, Sgr consists ofonly 3 elements, say z 1, z 2, a z 3, which aredefined by thefollowing Cayley tables. z 1 a b c a a b c b b c a c c a b z 2 a b c a c a b b a b c c b c a z 3 a b c a b c a b c a b c a b c It is easy to verify that S z 1 = S z 2 = S z 3 = {z 1,z 2,z 3 } = gr. The elements of S define binary operations on S z 1 (= S z 2 = S z 3 ) as follows. â z 1 z 2 z 3 z 1 z 1 z 2 z 3 z 2 z 2 z 3 z 1 z 3 z 3 z 1 z 2 ˆb z1 z 2 z 3 z 1 z 3 z 1 z 2 z 2 z 1 z 2 z 3 z 3 z 2 z 3 z 1 ĉ z 1 z 2 z 3 z 1 z 2 z 3 z 1 z 2 z 3 z 1 z 2 z 3 z 1 z 2 z 3 We see that (S,z 1 ) = (S,z 2 ) = (S,z 3 ) = (Sz 1,â) = (Sz 1,ˆb) = (Sz 1,ĉ) as parts (1) a (2a) of Theorem 2.3 assert. In this case Sgr is partitioned into only one component which is itself, a [z 1 ] = 1, which concludes the trivial fact that there is only one group structure of order 3; that is the cyclic group of order 3. In this example Sym a (S) = S 2 a it is known that the automorphism group on a cyclic group of order 3 is a cyclic group of order 2, so that Sym a (S) / Aut(S,z 1 ) = S 2 /2 = 2!/2 = 1 which is equal to [z 1 ] as asserted in Theorem 2.3 (2c). Now let z 4 Smn \Sgr be defined in the left table below. Then it is easy to know that Sz 4 = {z 4,z 5,z 6 } referring to Remark 2.4 (1) if necessary, where z 5 a z 6 are also defined below. z 4 a b c a a b c b b a c z 5 a b c a b a c b a b c z 6 a b c a c c c b c c c

8 8 MASAYOSHI KANEDA Although z 4,z 5 mn, z 6 /, which provides an example of the first statement of Remark 2.4 (2). The elements of S define binary operations on S z 4 as follows. â z 4 z 5 z 6 z 4 z 4 z 5 z 6 z 5 z 5 z 4 z 6 z 6 z 6 z 6 z 6 ˆb z4 z 5 z 6 z 4 z 5 z 4 z 6 z 5 z 4 z 5 z 6 z 6 z 6 z 6 z 6 ĉ z 4 z 5 z 6 z 4 z 6 z 6 z 6 z 5 z 6 z 6 z 6 z 6 z 6 z 6 z 6 We see that (S,z 4 ) = (Sz 4,â), (S,z 5 ) = (Sz 4,ˆb), a (S,z 6 ) = (Sz 4,ĉ) as Theorem 2.3 (1) asserts. Nextwedefinez 7 Smn \S gr bythelefttablebelow. ThenweseethatSz 7 = {z 7,z 8,z 6 }, where z 8 is defined by the right table below. z 7 a b c a a b c b b b c z 8 a b c a b b c b b b c Two distinct sets Sz 4 a Sz 7 with z 4,z 7 Smn share a common element z 6 Ssg \, which provides an example of the seco statement of Remark 2.4 (2). It is not hard to see that S z 6 consists of all elements z of the form z a b c a c b c where each represents any element of S a different s can take different elements of S. Thus S z 6 = 3 4 = 81, a S z 4 S z 6 with z 4 S z 6, which provides an example of a remark in the paragraph after Definition 1.3. Also note that z 4 a z 7 are not compatible while z 4,z 7 S z 6, which provides an example of the remark right before Proposition 2.2. Example 3.2. Let S := {a,b,c,d}, where a, b, c, a d are distinct. Let z 1,z 2,z 3,z 4 gr be defined as follows. z 1 a b c d a a b c d b b c d a c c d a b d d a b c z 2 a b c d a a b c d b b a d c c c d b a d d c a b z 3 a b c d a a b c d b b d a c c c a d b d d c b a z 4 a b c d a a b c d b b a d c c c d a b d d c b a It is easy to verify that the above are all possible groups of which a is the identity, hence by Theorem 2.3 (2b) we can conclude that Sgr = Sz 1 Sz 2 Sz 3 Sz 4 (disjoint union). As one can easily verify, (S,z 1 ) = (S,z 2 ) = (S,z 3 ) are cyclic groups of order 4, a (S,z 4 ) is a Klein four-group, so we reconfirm the well-known fact that there are only two distinct group structures of order 4, a we have that [z 1 ] = 3 a [z 4 ] = 1. In this example Sym a (S) = S 3. Since it is known that the automorphism group on a cyclic group of order 4 is a cyclic group of order 2, Sym a (S) / Aut(S,z 1 ) = S 3 /2 = 3!/2 = 3 which is equal to [z 1 ]. It is also known that the automorphism group on a Klein four-group is isomorphic to

9 STRUCTURE AND A DUALITY OF BINARY OPERATIONS ON MONOIDS AND GROUPS 9 the symmetric group S 3, so that Sym a (S) / Aut(S,z 4 ) = S 3 / S 3 = 1 which is equal to [z 4 ]. Nowletσ 0 bethepermutationons interchanging bac, aletτ 0 bethepermutationon S interchanging ba d. Then σ 0 Sym e (S), ait is easy tocheck that τ 0 Aut(S,z 1 ) a that z τ 0 σ 0 = z 3. (For the superscript notation, see the proof of Theorem 2.3 (2c).) However, for any τ Aut(S,z 1 ), z σ 0 τ = z 2, so z τ 0 σ0 z σ 0 τ. Since z σ is the only bilinear operation that makes σ : (S,z 1 ) (S,z σ ) isomorphism (see also the proof of Theorem 2.3 (2c)), σ 0 τ τ 0 σ 0. Thus σ 0 Aut(S,z 1 ) Aut(S,z 1 )σ 0, a hence Aut(S,z 1 ) is not a normal subgroup of σ 0 Sym a (S) as noted in Remark 2.4 (6). References [1] M. Kaneda, Multipliers a Algebrizations of Operator Spaces, Ph.D. Thesis, University of Houston, August [2] M. Kaneda, Quasi-multipliers a algebrizations of an operator space, Journal of Functional Analysis 251(1) (2007), , arxiv:math.oa/ [3] M. Kaneda a V. I. Paulsen, Quasi-multipliers of operator spaces, Journal of Functional Analysis 217(2) (2004), , arxiv:math.oa/ Department of Mathematics a Natural Sciences, College of Arts a Sciences, American University of Kuwait, P.O. Box 3323, Safat Kuwait address: mkaneda@uci.edu