Applied Mathematics
Vol.06 No.02(2015), Article ID:53838,6 pages
10.4236/am.2015.62029
Idempotent and Regular Elements of the Complete Semigroups of Binary Relations of the Class
Barış Albayrak, Neşet Aydın
Çanakkale Onsekiz Mart University, Çanakkale, Turkey
Email: balbayrak77@gmail.com, neseta@comu.edu.tr
Copyright © 2015 by authors and Scientific Research Publishing Inc.
This work is licensed under the Creative Commons Attribution International License (CC BY).


Received 13 January 2015; accepted 1 February 2015; published 5 February 2015
ABSTRACT
In this paper, we take Q16 subsemilattice of D and we will calculate the number of right unit, idem- potent and regular elements α of BX (Q16) satisfied that V (D, α) = Q16 for a finite set X. Also we will give a formula for calculate idempotent and regular elements of BX (Q) defined by an X-semilattice of unions D.
Keywords:
Semilattice, Semigroup, Binary Relation
1. Introduction
Let X be a nonempty set and BX be semigroup of all binary relations on the set X. If D is a nonempty set of subsets of X which is closed under the union then D is called a complete X-semilattice of unions.
Let f be an arbitrary mapping from X into D. Then one can construct a binary relation
on X by
. The set of all such binary relations is denoted by
and called a complete semi- group of binary relations defined by an X-semilattice of unions D.
We use the notations,
,
,
,
.
A representation of a binary relation
of the form
is called quasinormal. Note that, if
is a quasinormal representation of the binary relation
, then
for T,
and
.
A complete X-semilattice of unions D is an XI-semilattice of unions if
for any
and

Now,








Let D', D'' be complete X-semilattices of unions and



milattice D'. Besides that, if






Let Q and D' be respectively some XI and X-subsemilattices of the complete X-semilattice of unions D. Then

where




where


This structure was comprehensively investigated in Diasamidze [1] .
Lemma 1. [1] If Q is complete X-semilattice of unions and



Lemma 2. [2] Let X be a finite set, D be a complete X-semilattice of unions and


Q is XI-semilattice of unions.
Theorem 1. [2] Let X be a finite set and Q be XI-semilattice. If




Theorem 2. [2] Let







Let X be a finite set and


The diagram of the D is shown in Figure 1. By the symbol

All subsemilattice of

In Diasamidze [1] , it has shown that subsemilattices 1 - 15 are XI-semilattice of unions and subsemilattices 17 - 24 are not XI-semilattice of unions. In Yeşil Sungur [3] and Albayrak [4] , they have shown that subsemilattices 25 and 26 are XI-semilattice of unions if and only if
In this paper, we take in particular,







Figure 1. Diagram of D.
2. Results
Let


The diagram of the Q16 is shown in Figure 3. From Lemma 2 Q16 is XI-semilattice of unions.
Let


Let


Figure 2. All subsemilattice of D.

Figure 3. The diagram of the Q16.



Lemma 3. If X is a finite set and




Proof. From Lemma 1 we have


For this reason


Theorem 3. If X is a finite set and




Proof. By using Lemma 3 we have number of right units of the semigroup




by formula

we obtain above formula.

Now we will calculate number of regular elements

form



semigroup



Then

we get
Theorem 4. If X is a finite set and




Proof. To account for the elements that are in




We get









From Theorem 1 we get above formula.

Corollary 1. If X is a finite set, ID is the set all idempotent elements of the semigroup





Proof. Let ID be the set of all idempotent elements of the semigroup









References
- Diasamidze, Ya. and Makharadze, Sh. (2013) Complete Semigroups of Binary Relations. Kriter Yayınevi, İstanbul, 524 p.
- Albayrak, B., Aydin, N. and Diasamidze, Ya. (2013) Reguler Elements of the Complete Semigroups of Binary Relations of the Class
. International Journal of Pure and Applied Mathematics, 86, 199-216. http://dx.doi.org/10.12732/ijpam.v86i1.13
- Yeşil Sungur, D. and Aydin, N. (2014) Reguler Elements of the Complete Semigroups of Binary Relations of the Class
. General Mathematics Notes, 21, 27-42.
- Albayrak, B., Aydin, N. and Yeşil Sungur, D. (2014) Regular Elements of Semigroups
Defined by the Generalized X-Semilattice. General Mathematics Notes, 23, 96-107.


. International Journal of Pure and Applied Mathematics, 86, 199-216.
. General Mathematics Notes, 21, 27-42.
Defined by the Generalized X-Semilattice. General Mathematics Notes, 23, 96-107.