In [1], a new consequence of the (restricted) wreath product for arbitrary monoids A and B with an underlying set . Let us denote it by . Actually, in the same reference, it has been also defined the generating and relator sets for , and then proved some finite and infinite cases about it. In this paper, by considering the product, we show Green’s relations L and R as well as we present the conditions for this product to be left cancellative, orthodox and finally left (right) inverse(s).

Wazzan, S. (2019) New Properties over a New Type of Wreath Products on Monoids. Advances in Pure Mathematics, 9, 629-636. doi: 10.4236/apm.2019.98032.

1. Introduction

Let A and B be arbitrary monoids. In [2] , Theorem 2.2, Howie and Ruskuc defined a presentation for the (restricted) wreath product of A and B. Also, in [3] , Theorem 7.1, it has been showed that the wreath product of semigroups satisfies the periodicity when these semigroups are periodic. In [1] , a new derivation for wreath product of monoids A and B has been recently defined which will be dented by
A
⋇
B
here (in [1] , it has been denoted by
A
⊳
⊲
B
but the author prefers her the symbol
⋇
instead of
⊳
⊲
to distinguish this new type of extension from the known symbol for general product (Zappa-Szép product
A
⊳
⊲
B
)). Also, again in [1] , by proving the existence a presentation of this wreath product, it has been given necessary and sufficient conditions for
A
⋇
B
to be regular and periodic, and some finite and infinite applications about it are denoted. In this paper, we give some algebraic properties of the new wreath product in terms of the algebraic properties of the monoids themselves. More specifically, we present the Green’s relation
L
and
R
(in Section 2), and also prove the conditions on it to be left cancellative, orthodox and left (right) inverse.

We recall the fundamentals of the construction of
A
⋇
B
which will be needed to form our results. We note that this product is based on the wreath product and we may refer to ( [2] [4] [5] [6] [7] ) for the details of wreath products. The Cartesian product of B copies of the monoid A is denoted by
A
×
B
, while the corresponding direct product is denoted by
A
⊕
B
, similar definition for
B
⊕
A
. One may think that
A
⊕
B
and
B
⊕
A
are the sets of all functions having finite support, that is to say, having the property that
(
b
)
f
=
1
A
for all but finitely many b in B and
(
a
)
g
=
1
B
for all but finitely many a in A. The restricted wreath product of the monoid A by the monoid B is the set
A
⊕
B
×
B
with the multiplication defined by

(
f
,
b
)
(
g
,
b
′
)
=
(
f
g
b
,
b
b
′
)
,
(1)

where,
g
b
:
B
→
A
is given by

(
y
)
b
g
=
(
y
b
)
g
(
y
∈
B
)
.
(2)

Dually the restricted wreath product of the monoid B by the monoid A is the set
B
⊕
A
×
A
with the multiplication defined by

In fact,
A
⋇
B
is a monoid with the identity
(
1
¯
,
(
1
A
,1
B
)
,
1
˜
)
, where
1
¯
and
1
˜
are defined by

(
b
)
1
¯
=
1
A
,
(
a
)
1
˜
=
1
B
,
(8)

respectively, for all
b
∈
B
and
a
∈
A
.

2. Green’s Relations on the Product
A
⋇
B

In the light of Green’s relations, it is well known that one may prove some computational results (for example, the minimal number of generators etc.) on the monoid structure (which will be kept for a future work and so not investigated in here). Hence, in this section, we only characterize Green’s relations
L
and
R
(cf. [8] [9] ) for the product
A
⋇
B
.

Proposition 2.1 Let
A
⋇
B
be the new derivation of wreath product of a monoid A by a monoid B. Then

In this section, we will illustrate some algebraic properties of the new wreath product
A
⋇
B
in terms of the algebraic properties of the monoids A and B themselves. The following Theorem characterize when new wreath product
M
=
A
⋇
B
is a group.

Theorem 3.1 The new derivation of wreath product
M
=
A
⋇
B
of monoids A and B is a group if and only if both A and B are groups.

Proof. Suppose A and B are both, groups, then
M
=
A
⋇
B
is a monoid with identity
(
1
¯
,
(
1
A
,1
B
)
,
1
˜
)
where
1
¯
and
1
˜
are defined by

We first recall that a semigroup S is called left-cancellative if
c
a
=
c
b
⇒
a
=
b
and right-cancellative if
a
c
=
b
c
⇒
a
=
b
, for all
a
,
b
,
c
∈
S
(cf. [8] ). A semigroup is cancellative if it is left-cancellative and right-cancellative.

Theorem 3.2 A and B are cancellative monoids if and only if
M
=
A
⋇
B
is cancellative monoid.

As a result,
M
=
A
⋇
B
is actually a right cancellative monoid. In fact, one may prove with a similar way for left cancellative. Hence
M
=
A
⋇
B
is cancellative.

On the other hand, the converse part of the proof is clear.

Hence the result. +

In [10] , the question of orthodox wreath products of monoids has been explained. After that, in [11] , it has been investigated the orthodox wreath products of semigroups without unity. In this part, we will give necessary and sufficient conditions for
A
⋇
B
to be orthodox, where A and B are any monoids.

Recall that the semigroup S is called orthodox if the set of idempotents
E
(
S
)
is a subsemigroup of S. An orthodox semigroup S is left (respectively, right) inverse if
e
g
e
=
g
e
(respectively,
e
g
e
=
e
g
) for every
e
,
g
∈
E
(
S
)
. For more details reader refer [12] [13] . From [ [10] , Lemma 3.1],
A
⊕
B
is an orthodox or left or right inverse semigroup if and only if A has the same property. In the reference [1] , the necessary and sufficient conditions for the new derivation of wreath products to be regular have been defined. In here, we give sufficient conditions for it to be orthodox as in the following theorem.

Theorem 3.3 If
A
⋇
B
is an orthodox monoid or left (right) inverse, then each of A and B has the same property.

Hence,
f
g
f
=
g
h
for every
x
∈
B
. Similar, calculation shows that
h
k
h
=
k
h
for every
y
∈
A
. We thus conclude that A and B are actually left inverses.

The same proof can be applied to show right inverse case as well. +

Note 3.4 1) The other inclusion of Theorem 3.3 is left for future work. Following Caito [10] , who determined necessary and sufficient conditions for the (restricted) wreath product to be orthodox, to be left inverse and to be right inverse, respectively.

2) There is also a particular class of regular monoids, namely coregular monoids [14] . An element of a monoid S is called coregular if there is a
β
∈
S
such that
α
=
α
β
α
=
β
α
β
as well as the monoid S is called coregular if each element of it is coregular cf. [15] . In fact, the coregularity and its properties over the new type of wreath product are left as an open problem for the future studies.

4. Conclusion

In this paper, the author investigated some specific theories such as Green’s relations, left cancellative, orthodox, left (right) inverse etc. over new type of wreath products over monoids. Of course, there are still so many different properties that can be checked on this important product. On the other hand, in Note 3.4, we indicated some problems for future studies.

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.