Next Article in Journal
Analysis of the Incidence of Poxvirus on the Dynamics between Red and Grey Squirrels
Next Article in Special Issue
On the Most Extended Modal Operator of First Type over Interval-Valued Intuitionistic Fuzzy Sets
Previous Article in Journal
Symmetries and Invariants for Non-Hermitian Hamiltonians
Previous Article in Special Issue
The Emergence of Fuzzy Sets in the Decade of the Perceptron—Lotfi A. Zadeh’s and Frank Rosenblatt’s Research Work on Pattern Classification
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On Generalized Roughness in LA-Semigroups

1
Department of Mathematics and Statistics, Riphah International University, Hajj Complex I-14, Islamabad 44000, Pakistan
2
Department of Mathematics, Research Institute of Natural Sciences, Hanyang University, Seoul 04763, Korea
3
Department of Mathematics, Islamia College University, Peshawar 25120, Pakistan
*
Author to whom correspondence should be addressed.
Mathematics 2018, 6(7), 112; https://doi.org/10.3390/math6070112
Submission received: 30 May 2018 / Revised: 16 June 2018 / Accepted: 25 June 2018 / Published: 27 June 2018
(This article belongs to the Special Issue Fuzzy Mathematics)

Abstract

:
The generalized roughness in LA-semigroups is introduced, and several properties of lower and upper approximations are discussed. We provide examples to show that the lower approximation of a subset of an LA-semigroup may not be an LA-subsemigroup/ideal of LA-semigroup under a set valued homomorphism.
MSC:
08A72; 54A40; 03B52; 20N25

1. Introduction

The algebraic structure of a left almost semigroup, abbreviated as an LA-semigroup, has been introduced by Naseerudin and Kazim in [1]. Later, Mushtaq and others investigated the structure of LA-semigroups and added some important results related to LA-semigroups (see [2,3,4,5,6,7]). LA-semigroups are also called AG-groupoids. Ideal theory, which was introduced in [8], plays a basic role in the study of LA-semigroups. Pawlak was the first to discuss rough sets with the help of equivalence relation among the elements of a set, which is a key point in discussing the uncertainty [9]. There are at least two methods for the development of rough set theory, the constructive and axiomatic approaches. In constructive methods, lower and upper approximations are constructed from the primitive notions, such as equivalence relations on a universe and neighborhood system. In rough sets, equivalence classes play an important role in the construction of both lower and upper approximations (see [10]). But sometimes in algebraic structures, as is the case in LA-semigroups, finding equivalence relations is too difficult. Many authors have worked on this to initiate rough sets without equivalence relations. Couso and Dubois in [11] initiated a generalized rough set or a T-rough set with the help of a set valued mapping. It is a more generalized rough set compared with the Pawlak rough set.
In this paper, we initiate the study of generalized roughness in LA-semigroups and of generalized rough sets applied in the crisp form of LA-semigroups. Approximations of LA-subsemigroups and approximations of ideals in LA-semigroups are given.

2. Preliminaries

A groupoid S , * is called an LA-semigroup if it satisfies the left invertive law
a * b * c = c * b * a for all a , b , c S .
Throughout the paper, S and R will denote LA-semigroups unless stated otherwise. Let S be an LA-semigroup and A be a subset of S . Then A is called an LA-subsemigroup of S if A 2 A , that is, a b A for all a , b A . A subset A of S is called left ideal (or right ideal) of S if S A A (or A S A ). An LA-subsemigroup A of S is called bi-ideal of S if A S A A . An LA-subsemigroup A of S is called an interior ideal of S if S A S A . An element a of S is called idempotent, if a 2 = a for all a S . If every element of S is an idempotent, then S is idempotent.

3. Rough Sets

In this section, we study Pawlak roughness and generalized roughness in LA-semigroups.

3.1. Pawlak Approximations in LA-Semigroups

The concept of a rough set was introduced by Pawlak in [9]. According to Pawlak, rough set theory is based on the approximations of a set by a pair of sets called lower approximation and upper approximation of that set. Let U be a nonempty finite set with an equivalence relation R . We say U , R is the approximation space. If A U can be written as the union of some classes obtained from R, then A is called definable; otherwise, it is not definable. Therefore, the approximations of A are as follows:
R ̲ A = x U : x R A
R ¯ A = x U : x R A .
The pair R ̲ A , R ¯ A is a rough set, where R ̲ A R ¯ A .
Definition 1.
[5] Let ρ be an equivalence relation on S . Then ρ is called a congruence relation on S if
a , b ρ implies that a y , b y ρ and y a , y b ρ for all a , b , y S .
Definition 2.
[8] Let ρ be a congruence relation on S . Then the approximation of S is defined by ρ A = ρ ̲ A , ρ ¯ A for every A P S , where P S is the power set of S , and
ρ ̲ A = x U : x ρ A
and
ρ ¯ A = x U : x ρ A .

3.2. Generalized Roughness or T-Roughness in LA-Semigroups

A generalized rough set is the generalization of Pawlak’s rough set. In this case, we use set valued mappings instead of congruence classes.
Definition 3.
[11] Let X and Y be two nonempty sets and B Y . Let T : X P Y be a set valued SV mapping, where P Y denotes the set of all nonempty subsets of Y . The upper approximation and the lower approximation of B with respect to T are defined by
T ¯ B = x X T x B
and
T ̲ B = x X T x B .
Definition 4.
[12] Let X and Y be two nonempty sets and B Y . Let T : X P Y be an SV mapping, where P Y denotes the set of all nonempty subsets of Y . Then T ̲ B , T ¯ B is called a T-rough set.
Definition 5.
Let R and S be two LA-semigroups and T : R P S be an SV mapping. Then T is called an SV homomorphism if T a T b T a b for all a , b R .
Example 1.
Let R = a , b , c with the following multiplication table:
· a b c a a a a b c c c c a a c
Then R is an LA-semigroup. Define an SV mapping T : R P R by T a = T c = a , b , c and T b = b , c . Then clearly T is an SV homomorphism.
Example 2.
Let S = a , b , c , d , e with the following multiplication table:
· a b c d e a e b a b c b b b b b b c c b e b a d b b b b b e a b c b e
Then S is an LA-semigroup. Define an SV mapping T : S P S by T a = T b = T c = T e = a , b , c , d , e and T d = b , d . Clearly T is an SV homomorphism.
Definition 6.
Let R and S be two LA-semigroups and T : R P S be an SV mapping. Then T is called a strong set valued (SSV) homomorphism if T a T b = T a b for all a , b R .
Example 3.
Let R = a , b , c with the following multiplication table:
· a b c a a a a b c c c c a a c
Then R is an LA-semigroup and S = a , b , c with the following multiplication table:
· a b c a b c b b c c c c c c c
Then S is an LA-semigroup. Define an SV mapping T : R P S by T a = T c = c and T b = b , c . Then T is an SSV homomorphism.
Proposition 1.
Let T : R P S be an SV homomorphism. If A , B S , then T ¯ A T ¯ B T ¯ A B .
Proof. 
Let x T ¯ A T ¯ B . Then x = a b , where a T ¯ A and b T ¯ B . Then T a A and T b B . Therefore, there exist y , z S such that y T a A and z T b B , which implies that y T a , y A , z T b , and z B . It follows that y z T a T b T a b and y z A B . Thus, y z T a b A B , so T a b A B . It follows that a b T ¯ A B . Hence, x T ¯ A B ; therefore, T ¯ A T ¯ B T ¯ A B .  ☐
The following example shows that equality in Proposition 1 may not hold.
Example 4.
Consider the LA-semigroup R of Example 1.
Define an SV mapping T : R P R by T a = T c = a , b , c and T b = b , c . Then T is an SV homomorphism. Let A = a , b and B = b . Then T ¯ A = a , b , c and T ¯ B = a , b , c . Therefore, T ¯ A T ¯ B = a , b , c a , b , c = a , c , and A B = a , b b = a , c . Thus, T ¯ A B = a , b , c . Hence, T ¯ A B T ¯ A T ¯ B .
Proposition 2.
Let T : R P S be an SSV homomorphism. If A , B S , then T ̲ A T ̲ B T ̲ A B .
Proof. 
Let x T ̲ A T ̲ B . Then x = a b , where a T ̲ A and b T ̲ B . Therefore, T a A and T b B . Thus, T a T b A B . Therefore, T a b A B , which implies a b T ̲ A B . It follows that x T ̲ A B . Hence T ̲ A T ̲ B T ̲ A B .  ☐
The following example shows that equality in Proposition 2 may not hold.
Example 5.
Consider the LA-semigroups R and S of Example 3. Define an SV mapping T : R P S by T a = T c = c and T b = b , c . Then, T is an SSV homomorphism. Let A = a , c and B = b , c S . Then T ̲ A = a , c and T ̲ B = a , b , c . Thus, T ̲ A T ̲ B = a , c a , b , c = a , c , and A B = a , c b , c = b , c . Thus, T ̲ A B = a , b , c . Hence, T ̲ A B T ̲ A T ̲ B .
The fact that considered groupoids are LA-semigroups is important in Propositions 3 and 4 and examples.
Proposition 3.
Let T : R P S be an SV homomorphism. If H is an LA-subsemigroup of S, then T ¯ H is an LA-subsemigroup of R .
Proof. 
Let x , y T ¯ H . Then T ¯ x H and T ¯ y H . Thus, there exist a , b S such that a T x H and b T y H . Thus, a T x , a H and b T y , b H . Therefore, a b T x T y T x y and a b H . Hence, a b T x y H , and T x y H . Therefore, x y T ¯ H . Hence, T ¯ H is an LA-subsemigroup of R .  ☐
Proposition 4.
Let T : R P S be an SSV homomorphism. If H is an LA-subsemigroup of S, then T ̲ H is an LA-subsemigroup of R .
Proof. 
Let x , y T ̲ H . Then T x H and T y H . Therefore, T x T y H H = H 2 . Thus, T x y H 2 , so T x y H , which implies x y T ̲ H . Hence, T ̲ H is an LA-subsemigroup of R .  ☐
The following example shows that, in the case of an SV homomorphism, T ̲ A may not be an LA-subsemigroup.
Example 6.
Consider the LA-semigroup S of Example 3.
Define an SV mapping T : S P S by T b = T c = a , b , c and T a = b , c . Then T is an SV homomorphism. Let A = b , c S . Then A is an LA-subsemigroup of S, and T ̲ A = a . It follows that T ̲ A T ̲ A = a a = b T ̲ A . Hence, T ̲ A is not an LA-subsemigroup of S.
Proposition 5.
Let T : R P S be an SV homomorphism. If A is a left ideal of S, then T ¯ A is a left ideal of R .
Proof. 
Let x and r be elements of T ¯ A and R, respectively. Then T x A , so there exists a S such that a T x A . Thus, a T x and a A . Since r R , there exists a y S such that y T r . Hence, y a T r a S A A . Thus, y a A and y a T r T x T r x . Hence, y a T r x A . It follows that T r x A . Therefore, r x T ¯ A . Therefore, T ¯ A is a left ideal of R .  ☐
Corollary 1.
Let T : R P S be an SV homomorphism. If A is a right ideal of S, then T ¯ A is a right ideal of R .
Corollary 2.
Let T : R P S be an SV homomorphism. If A is an ideal of S, then T ¯ A is an ideal of R .
Proposition 6.
Let T : R P S be an SSV homomorphism. If A is a left ideal of S, then T ̲ A is a left ideal of R.
Proof. 
Let x T ̲ A and r R . Then T x A . Since r R , T r S . Thus, T r T x S A A . Thus, T r T x A , and T r x A . It follows that r x T ̲ A . Hence, T ̲ A is a left ideal of R .  ☐
The following example shows that, in the case of an SV homomorphism, T ̲ A may not be a left ideal.
Example 7.
Consider the LA-semigroup S of Example 2.
Define an SV mapping T : S P S by T a = T b = T c = T e = a , b , c , d , e and T d = b , d . Clearly T is an SV homomorphism. Let A = b , d be a subset of S . Then A is a left ideal of S, and T ̲ A = d . Hence, S T ̲ A = b T ̲ A . Therefore, T ̲ A is not a left ideal of S .
Corollary 3.
Let T : R P S be an SSV homomorphism. If A is a right ideal of S, then T ̲ A is a right ideal of R.
Corollary 4.
Let T : R P S be an SSV homomorphism. If A is an ideal of S, then T ̲ A is an ideal of R.
Proposition 7.
Let R and S be two idempotent LA-semigroups and T : R P S be an SV homomorphism. If A , B are ideals of S , then
T ¯ A T ¯ B = T ¯ A B .
Proof. 
Since A B A S A , A B A . Thus, T ¯ A B T ¯ A , and A B S B B . It follows that A B B . Thus, T ¯ A B T ¯ B . Hence, T ¯ A B T ¯ A T ¯ B .
Let c T ¯ A T ¯ B . Then c T ¯ A and c T ¯ B . Thus, T c A , and T c B , so there exist x , y S such that x T c A and y T c B . It follows that x T c , x A , and y T c , y B . Thus, x y T c T c T c c = T c , and x A and y B . Hence, x y A B , so x y T c A B . Thus, T c A B . Hence, c T ¯ A B . Thus, T ¯ A T ¯ B T ¯ A B . Therefore,
T ¯ A T ¯ B = T ¯ A B ,
as desired. ☐
Proposition 8.
Let R and S be two idempotent LA-semigroups and T : R P S be an SSV homomorphism. If A and B are ideals of S , then
T ̲ A T ̲ B = T ̲ A B .
Proof. 
Let A B A S A . Then A B A . Therefore, T ̲ A B T ̲ A , and A B S B B . Hence, T ̲ A B T ̲ B . Therefore,
T ̲ A B T ̲ A T ̲ B .
Let c T ̲ A T ̲ B . Then c T ̲ A and c T ̲ B . Hence, T c A and T c B , so T c T c A B . Thus, T c c A B . Thus, T c A B . Hence, c T ̲ A B . This implies that T ̲ A T ̲ B T ̲ A B . Therefore,
T ̲ A T ̲ B = T ̲ A B ,
as desired. ☐
Proposition 9.
Let T : R P S be an SV homomorphism. If A is a bi-ideal of S , then T ¯ A is a bi-ideal of R .
Proof. 
Let x , y T ¯ A and r R . Then T x A and T y A . Hence, there exist a , b S such that a T x A and b T y B , so a T x , a A , and b T y , b A . Since r R , there is a c S such that c T r . Now, a c b T x T r T y T x r T y T x r y . Thus, a c b T x r y and a c b A , so a c b T x r y A . Hence, T x r y A . Thus, x r y T ¯ A . Therefore, T ¯ A is a bi-ideal of R .  ☐
Proposition 10.
Let T : R P S be an SSV homomorphism. If A is a bi-ideal of S , then T ̲ A is a bi-ideal of R .
Proof. 
Let x , y T ̲ A and r R . Then T x A and T y A . Since r R , T r S . Now, T x r y = T x r T y = T x T r T y A S A A . Therefore, T x r y A . Thus, x r y T ̲ A . Hence, T ̲ A is a bi-ideal of R. ☐
The following example shows that, in the case of an SV homomorphism, T ̲ A may not be a bi-ideal.
Example 8.
Consider the LA-semigroup S of Example 2.
Define an SV mapping T : S P S by T a = T b = T c = T e = a , b , c , d , e and T d = b . Then T is an SV homomorphism. Let A = b , d . Then A is a bi-ideal of S, and T ̲ A = d . Now, T ̲ A S T ̲ A = b T ̲ A . Hence, T ̲ A is not a bi-ideal of S .
Proposition 11.
Let T : R P S be an SV homomorphism. If A is an interior ideal of S , then T ¯ A is an interior ideal of R .
Proof. 
Let r T ¯ A , and a , b R . Then T r A . Thus, there exists a c S such that c T r A . This implies that c T r and c A . Since a , b R , there exist x , y S such that x T a and y T b . It follows that x c y T a T r T b T a r b , and x c y A . Therefore, x c y T a r b A . Thus, T a r b A , so a r b T ¯ A . Hence, T ¯ A is an interior of R .  ☐
Proposition 12.
Let T : R P S be an SSV homomorphism. If A is an interior ideal of S , then T ̲ A is an interior ideal of R .
Proof. 
Let r T ̲ A and a , b R . Then T r A . Since a , b R , T a S , T b S . It follows that T a r b = T a r T b = T a T r T b S A S A . Therefore, T a r b A . Thus, a r b T ̲ A . Hence, T ̲ A is an interior ideal of R .  ☐
Definition 7.
A subset A of an LA-semigroup S is called a quasi-ideal of S if S A A S A .
Proposition 13.
Let T : R P S be an SSV homomorphism. If A is a quasi-ideal of S , then T ̲ A is a quasi-ideal of R .
Proof. 
Let A be a quasi-ideal of S. We prove T ̲ A S S A T ̲ A . Let x T ̲ A S S A . Then T x A S S A A . Therefore, T x A . Therefore, x T ̲ A . Thus, T ̲ A S S A T ̲ A . Hence, T ̲ A is a quasi-ideal of R .  ☐
Proposition 14.
Let T : R P S be an SV homomorphism. If A is a quasi-ideal of S , then T ¯ A is a quasi-ideal of R .
Proof. 
Let A be a quasi-ideal of S. Then we have to show that T ¯ A S S A T ¯ A . Let x T ¯ A S S A . Then T x A S S A . Thus, there exists a y S such that y T x A S S A . This implies that y T x and y A S S A A , so y T x and y A . Thus, y T x A . Therefore, x T ¯ A . Hence, T ¯ A S S A T ¯ A . Therefore, T ¯ A is a quasi-ideal of R .  ☐
Definition 8.
An ideal P of an LA-semigroup S with left identity e is said to be prime if A B P implies either A P or B P for all ideals A , B of S .
Proposition 15.
Let T : R P S be an SSV homomorphism. If A is a prime ideal of S , then T ¯ A is a prime ideal of R .
Proof. 
Since A is an ideal of S, by Corollary 2, T ¯ A is an ideal of R . Let x y T ¯ A . Then T x y A . Thus, there exists a z S such that z T x y A , so z T x y = T x T y , and z A . Since z = a b T x T y , a b A , and A is a prime ideal of S, a A or b A , which implies that a T x and a A or that b T y and b A . Therefore, a T x A or b T y A . Thus, T x A or T y A . It follows that x T ¯ A or y T ¯ A . Hence, T ¯ A is a prime ideal of R .  ☐
Proposition 16.
Let T : R P S be an SSV homomorphism. If A is a prime ideal of S , then T ̲ A is a prime ideal of R .
Proof. 
Since A is an ideal of S, by Corollary 4, T ̲ A is an ideal of R . Let x y T ̲ A . Then T x y A . Let z T x y = T x T y , where z = a b T x T y . Then a T x , b T y , and a b A . Since A is a prime ideal of S , a A or b A . Thus, a T x A or b T y A . Thus, x T ̲ A or y T ̲ A . Hence, T ̲ A is a prime ideal of R .  ☐
Remark 1.
The algebraic approach—in particular, the semigroup theory—can be introduced in the area of genetic algorithms and to the evolutionary based procedure for optimization and clustering (see [13]).

4. Conclusions

In this paper, we discussed the generalized roughness in (crisp) LA-subsemigroups or ideals of LA-semigroups with the help of set valued/strong set valued homomorphisms. We have provided examples showing that the lower approximations of a subset of an LA-semigroup may not be an LA-subsemigroup or ideal of LA-semigroup, under a set valued homomorphism.

Author Contributions

Conceptualization: N.R. and C.P.; Methodology: A.A.; Software: N.R.; Validation: A.A. and C.P.; Formal Analysis: S.I.A.S.; Investigation: C.P.; Resources: N.R.; Data Curation: C.P.; Writing—Original Draft Preparation: A.A.; Writing—Review & Editing: N.R.; Visualization: S.I.A.S.; Supervision: N.R.; Project Administration: A.A.; Funding Acquisition: C.P.

Funding

This work was supported by Basic Science Research Program through the National Research Foundation of Korea funded by the Ministry of Education, Science and Technology (NRF-2017R1D1A1B04032937).

Conflicts of Interest

The authors declare that they have no competing interests.

References

  1. Kazim, M.A.; Naseerudin, M. On almost-semigroup. Alig. Bull. Math. 1972, 2, 1–7. [Google Scholar]
  2. Dudek, W.A.; Jun, Y.B. Rough subalgebras of some binary algebras connected with logics. Int. J. Math. Math. Sci. 2005, 2005, 437–443. [Google Scholar] [CrossRef] [Green Version]
  3. Dudek, W.A.; Jun, Y.B.; Kim, H.S. Rough set theory applied to BCI-algebras. Quasigroups Relat. Syst. 2002, 9, 45–54. [Google Scholar]
  4. Mushtaq, Q. Abelian groups defined by LA-semigroups. Stud. Sci. Math. Hungar. 1983, 18, 427–428. [Google Scholar]
  5. Mushtaq, Q.; Iqbal, M. Partial ordering and congruences on LA-semigroups. Ind. J. Pure Appl. Math. 1991, 22, 331–336. [Google Scholar]
  6. Mushtaq, Q.; Khan, M. M-Systems in LA-semigroups. SEA Bull. Math. 2009, 33, 321–327. [Google Scholar]
  7. Mushtaq, Q.; Yusuf, S.M. On LA-semigroups. Alig. Bull. Math. 1978, 8, 65–70. [Google Scholar]
  8. Aslam, M.; Shabir, M.; Yaqoob, N. Roughness in left almost semigroups. J. Adv. Pure Math. 2011, 3, 70–88. [Google Scholar] [CrossRef]
  9. Pawlak, Z. Rough set. Int. J. Comput. Sci. 1982, 11, 341–356. [Google Scholar]
  10. Wang, J.; Zhang, Q.; Abdel-Rahman, H.; Abdel-Monem, M.I. A rough set approach to feature selection based on scatter search metaheuristic. J. Syst. Sci. Complex. 2014, 27, 157–168. [Google Scholar] [CrossRef]
  11. Couois, I.; Dubois, D. Rough set, coverings and incomplete information. Fund. Inf. 2001, XXI, 1001–1025. [Google Scholar]
  12. Davvaz, B. A short note on algebraic T-rough sets. Inf. Sci. 2008, 178, 3247–3252. [Google Scholar] [CrossRef]
  13. Fortuna, L.; Graziani, S.; Xibilia, M.G. Genetic algorithms and applications in system engeering: A survey. Trans. Inst. Meas. Control 1993, 15, 143–156. [Google Scholar]

Share and Cite

MDPI and ACS Style

Rehman, N.; Park, C.; Shah, S.I.A.; Ali, A. On Generalized Roughness in LA-Semigroups. Mathematics 2018, 6, 112. https://doi.org/10.3390/math6070112

AMA Style

Rehman N, Park C, Shah SIA, Ali A. On Generalized Roughness in LA-Semigroups. Mathematics. 2018; 6(7):112. https://doi.org/10.3390/math6070112

Chicago/Turabian Style

Rehman, Noor, Choonkil Park, Syed Inayat Ali Shah, and Abbas Ali. 2018. "On Generalized Roughness in LA-Semigroups" Mathematics 6, no. 7: 112. https://doi.org/10.3390/math6070112

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop