1. Introduction
Let X be a set of nonnegative integers of order n denoted by
which is split into even nonnegative integers,
and odd positive integers,
as
and
respectively. It is noted that
for both the even and odd parts of
while
for even part of
and
for odd part of
. The semigroup
.
The domain of a map, α is denoted dom(α) and its image is im(α). The domain of the transformation remains
while a map α is obtained for
and
such that
,
. In
,
assumes
positions from
and
occupies the remaining
positions using only one odd element at a time. Also, in
,
assumes
positions from
and
occupies the remaining
positions using one odd point at a time.
Let
. An element
is idempotent if
. E(S) denotes idempotent elements in the semigroup S. The element
satisfying
is usually called a fixed point of
and is denoted by
. Given any transformation
, kernel of
is given by the relation
.
Many articles have been published on different kinds of transformation semigroups like full, partial, partial one to one, order-preserving, order-decreasing, identity-difference, signed, orientation preserving transformation semigroups, just to mention a few. Various topics covering both combinatorial results and algebraic properties ranging from Green’s relations, regularity, idempotent depth, centralizers, generators, congruence, ideals, variants, idempotents, ranks etc. have been studied by authors like Adeniji [1], Higgins [2], Howie [3], Laradji & Umar [4], Mogbonju et al. [5] and Umar [6].
In 1952, Vagner [7] defined a natural partial order on inverse semigroups as
if and only if
for some
.
Partial order on regular semigroup S is defined by Hartwig [8] and Nambooripad [9] as the relation
if and only if
for some
and it extends the usual ordering of the set
.
In 1986, Mitsch [10] defined the natural partial order on semigroups as any semigroup
on which multiplication is defined by the relation
if and only if
for some
.
Natural partial order on idempotents in this work is as defined by Higgins [11], that
if and only if
the result of which is seen in theorem (7).
An idempotent e is defined as a right identity [right zero] of S if
for all
. A band is a semigroup S of which every element is an idempotent. Thus
if S is a band and so the natural partial ordering (
if and only if
) applies to all S.
The cardinality
of the image of a transformation
is called the rank of this transformation and is denoted by
. The number
is called the defect of the transformation
.
These and other standard definitions are found in Clifford and Preston [12], Higgins [11] and Howie [3].
The set of elements for each of
and
in this study is generated using even-even points which are combinatorially arranged while one odd point at a time completes the combination of even points to form a nonempty set presented as:
and
for both
and
.
For example, some of the elements of
are
2. The Semigroup of AZn-odd
The semigroup formed from
is denoted by
.
An example of the semigroup with its elements is as follows:
Example 1. Each of the following sets of elements is a semigroup of
.
Theorem 1. The Zigzag Triple Coefficients and cardinality of
.
Proof. Each
has
odd numbers and
pairs of even numbers with each pair taken as image together with an odd number at a time to complete the number of elements forming a semigroup. The cardinality of
has three different significant terms. The coefficients of the terms are called “The zigzag triples”. The first term is obtained from using the first pair of even consecutive numbers. Since repetition is not allowed, the second and third terms are derived from the first.
The coefficients are 1,
and
respectively. Second and third coefficients can be obtained without the formula by performing simple zigzag addition. □
Remark 1. Analogous proof goes for the zigzag triples of
except that each
has
odd numbers and
set of pairs of even numbers. The coefficients of the three terms involved in the cardinality of
are 1,
and
respectively. Second and third coefficients can also be obtained without the formular by performing simple zigzag addition.
3. The Cardinality of AZn-even and Its Idempotents
The following theorem shows that
is a semigroup.
Theorem 2. Let
and
(or
). Then S is a semigroup of transformation.
Proof. Let
, for
and
such that
S is a semigroup. □
Theorem 3.
.
Proof. Since
is split into even-odd parts, the even part is arranged in
ways; while the odd part fixes one point at a time to compliment the even part in order to form a complete semigroup. Thus
spaces are filled choosing maximum of two points at a time. □
Remark 2. The superset of maps,
(or
) is a semigroup following theorem 2, which is a combination of odd points to complete the combinatorially arranged even points. It can be stated that supersemigroup
is obtained by combining semigroups
formed from all the odd points and even points of
.
Example 2. Each of the following sets of elements is a semigroup of
.
Theorem 4. The cardinality of the supersemigroup,
of the combined odd points to complete the combinatorially arranged even points is
for
in
for
while the closed form for all n-evenis
.
Proof. Let
denote the combined semigroups formed by using all the odd points together with even points of
as described in the introduction, thereby forming a bigger semigroup. The even points is arranged as
in
ways. Repeated elements are deducted by default. Theorem 3 shows the cardinality for each odd point. Combining the cardinality of each semigroup
formed from each odd point occurs in
ways. □
Remark 3. Examples 1 and 2 clearly explain theorem 4.
Theorem 5. Let
, then
.
Proof.
. Idempotents in
is known by the points that are fixed. There is a direct relationship between fixed points and idempotency. There are two right zero elements for each n and the elements having the equivalence
is
for
. □
Theorem 6.
is a band.
Proof. Let S be the semigroup
. Following the proof of theorem 2, if
and composition of map is defined on S, then
. Hence
is a semigroup. □
Theorem 7.
.
Proof. The idempotents of the combined semigroup over
is obtained using theorem 5 and zigzag triple coefficients. □
Theorem 8. Let
, where a and b are right zero elements of
, then
is a left zero semigroup.
Proof. The semigroup
has two right zero elements. Each of these elements is the right identity of all other elements except the second right zero element. That is:
and
. Then for all
,
and
. Hence
and
for
.
Thus,
is a left zero semigroup. □
Theorem 9. Commutativity of Noncommuting Idempotents.
Proof. The two right zero elements, a and b as seen in theorem (8) are noncommuting. Taking
,
and also
. Thus
and
. □
4. Green’s Relations
Green’s relations are important equivalences in describing and decomposing semigroups. The relations have been studied on various semigroups and subsemigroups by many authors like Ganyushkin & Mazorchuk [13], Howie [3], Magill & Subbiah [14], Sun & Pei [15] and Zhao & Yang [16].
Ganyushkin & Mazorchuk [13] defined a left (resp. right or two-sided) ideal I of S as principal provided that there exists
such that
(resp.
,
). The element x is called the generator of the ideal I with
,
and
.
Let S (or
if an identity is adjoined) be a semigroup. Let the semigroup be
. Let
, if
.
When x and y generate the same principal left ideal then
if
. Equivalently,
if and only if,
for some
.
-relation is defined as
if
and equivalently,
if and only if
for some
implying that x and y generate the same principal right ideal.
Two-sided principal ideal generated by x and y is called
-relation, that is,
if
. Equivalently,
if and only if
for some
.
Also
and
.
The notations
(
) denote the set of all elements of
which are
-related (
-related,
-related,
-related,
-related) to x, where
.
These five equivalences are known as Green’s relations, first introduced by Green [17] in 1951.
The following are some results obtained with respect to Green’s relations.
Theorem 10.
has a generator.
Proof. Since x is in
,
, where
. Hence the proof. □
Remark 4: It should be noted that theorem 8 also holds for
and
.
Theorem 11. The semigroup
has exactly
different principal right ideals (p.r.i).
Proof. Let
and
, from the definition of kernel of
that
, then
. The fact that only two elements can be R-related implies there are
p.r.i. □
There are three
-classes in the semigroup herein discussed, two (which are
-related) of which generate only one element (right zero) each. The third class is such that for each
,
. The following theorem explains
-classes.
Theorem 12. If a is a right zero element, then
.
Proof. The
-related class of a right zero element a generate
. That is,
implies that
and
. But for
. Thus the semigroup in terms of
-relation is split into right zero and non-right zero elements.
. □
Proposition 1. Let
, then
where
.
Proof. There are
different
-related classes of elements as in Theorem 11 where each class have two elements with equal kernel. Considering natural ordering of maps, the first half of
-related classes is a
-class, so also is the second half. This implies that there are only two
-classes in
. □
Lemma 1. There exists a
-class of equal cardinality with a
-class.
Theorem 13. Each
-class in
has
-different classes in S.
Let
of a particular
-class as described in Lemma 1, then the following are equivalent:
(i) H is a group.
(ii) H contains an idempotent.
(iii) There exist
such that
.
Proof. There are only two
-classes as shown in Proposition 1. Hence the first part of the proof of this theorem depends on the proposition. This implies that the semigroup has nonempty
-classes. Each
-class is clearly distinguished in relation to both
and
classes as seen in Table 1 and Table 2.
One of the classes, denoted by
has
-different classes.
(i)
(ii)
Table 2.
-class
-class.
Let x, y be elements in each
-class and there exist
such that
and vice-versa. Therefore
.
(ii)
(iii)
For
,
as evident in (i).
Hence H is a commutative group showing that (iii)
(i). □
Remark 5. The relationship between
and
-classes is embedded in
-classes. Splitting the
-classes into two in the natural ordering of maps makes the later half a
-class and at the same time an
-class. The former half is a
-class which parts into two
-classes.
An example is seen below.
Example 3.
,
,
and
-Classes of
.
Remark 6. All
-classes in the same
-class have the same cardinality (Lemma 1).
5. Conclusions
has been shown to be a semigroup interacting between elements of the set of nonnegative integers Z. Some of the results obtained are on Green’s relations, principal right ideals, band and certain cardinalities.
Further studies could be carried out verifying other algebraic properties like variants and centralizers on
or
and
or
. The results obtained on Green’s relations in this work can be generalised.