Article Search
닫기

## Original Article

Split Viewer

International Journal of Fuzzy Logic and Intelligent Systems 2021; 21(1): 86-92

Published online March 25, 2021

https://doi.org/10.5391/IJFIS.2021.21.1.86

© The Korean Institute of Intelligent Systems

## On the Left and Right Almost Hyperideals of LA-Semihypergroups

Shah Nawaz1, Muhammad Gulistan1 , Nasreen Kausar2 , Salahuddin3 , and Mohammad Munir4

1Department of Mathematics and Statistics, Hazara University, Mansehra, Pakistan
2Department of Mathematics and Statistics, University of Agriculture, Faisalabad, Pakistan
3Department of Mathematics, Jazan University, Jazan, Kingdom of Saudi Arabia
4Department of Mathematics, Government Postgraduate College, Abbottabad, Pakistan

Correspondence to :
Nasreen Kausar (kausar.nasreen57@gmail.com)

Received: December 17, 2020; Revised: January 29, 2021; Accepted: February 22, 2021

This is an Open Access article distributed under the terms of the Creative Commons Attribution Non-Commercial License (http://creativecommons.org/licenses/by-nc/3.0/) which permits unrestricted noncommercial use, distribution, and reproduction in any medium, provided the original work is properly cited.

In this paper, we define left almost hyperideals, right almost hyperideals, almost hyperideals, and minimal almost hyperideals. We demonstrate that the intersection of almost hyperideals is not required to be an almost hyperideal, but the union of almost hyperideals is an almost hyperideal, which is completely different from the classical algebraic concept of the ideal theory.

Keywords: LA-semihypergroups, Left almost hyperideals, Right almost hyperideals, Almost hyperideals, Minimal almost hyperideals

### 1. Introduction

Hyperstructures were introduced in 1934 when Marty [1] defined hypergroups, began to study their properties, and applied them to groups. Several papers and books have been written on hyperstructure theory [2,3]. Currently, a book published on hyperstructures [4] describes its applications in rough set theory, cryptography, automata, code automata, probability, geometry, lattices, binary relations, graphs, and hypergraphs.

Kazim and Naseeruddin [5] introduced the study of left almost semigroups (LA-semigroups). They generalized some useful sequels of semigroup theory. Subsequently, Mushtaq and his colleagues [613] further described the structure and included many useful results of theory of an LA-semigroup [7,1420]. An LA-semigroup is the midway structure between a commutative semigroup and a groupoid. Moreover, it has many interesting properties, which are frequently used in commutative and associative algebraic structures.

Hila and Dine [21] presented the concept of LA-semihypergroups. Their paper created a new research direction in non-associative hyperstructures. Yaqoob et al. [22] extended the work of Hila and Dine [21] and characterized intra-regular LA-semihypergroups by their hyperideals using pure left identities. Subsequently, many researchers studied the structures of LA-semihypergroups from different perspectives [2330].

Azhar and his colleagues [3134] developed the structures of partially ordered LA-semihypergroups. Nawaz and his colleagues [3541] developed and studied many non-associative structures. The concept of almost ideals in semigroups was provided by Grosek and Satko [42,43] in 1980 and 1981, respectively. Various other researchers studied almost ideals for different algebraic structures [4446].

Recently, for the first time, Suebsung et. al [48] developed the concept of almost hyperideals in semihypergroups (see also [48,49]).

Thus, inspired by the concept by Suebsung et. al [47], we developed structures of almost hyperideals in LA-semihypergroups. These new types of almost hyperideals have two main characteristics. First, they are purely non-associative substructures of LA-semihypergroups. Second, in the construction of these hyperideals, we ensured that a hyperoperation did not yield a single element as in the scenario of the paper by Suebsung et. al [47]. We proved some useful results related to almost hyperideals.

### 2. LA-Semihypergroups

In this section, we recall some basic concepts from the literature on ideals and LA-semihypergroups that were used in the further development of this article.

### Definition 1

A map ◦ : X × X –→ ℘*(X) is called an hyperoperation or join operation on the set X, where X is a non-empty set and ℘*(X) = ℘(X)\{∅} indicates the all non-empty subsets of X. A hypergroupoid is a set (X) for which the binary operation is a hyperoperation.

If A and B are two non-empty subsets of X, then we express the product as follows:

AB=x1A,x2Bx1x2,x1A={x1}A         and x1B={x1}B.

### Definition 2 ([21,22])

A hypergroupoid (X, ◦) is called an LA-semihypergroup if for x1, x2, x3X,

(x1x2)x3=(x3x2)x1.

The law (x1x2)◦x3 = (x3x2)◦x1 is known as left invertive law.

Every LA-semihypergroup satisfies the law

(x1x2)(x3x4)=(x1x3)(x2x4)

for all x1, x2, x3, x4X. This law is known as medial law (cf. [21]).

### Definition 3. [22]

Let X be an LA-semihypergroup. Element eX is called a

1. Left identity (resp. pure left identity) if for all x1X, x1ex1 (resp. x1 = ex1),

2. Right identity (resp. pure right identity) if for all x1X, x1x1e (resp. z1 = z1e),

3. Identity (resp. pure identity) if for all z1H, z1ez1z1e (resp. x1 = ez1z1e).

### Example 1 ([22])

Let X = {l1, l2, l3, l4} with the binary hyperoperation defined as follows:

l1l2l3l4
l1l1l2l3l4
l2l3{l2, l3}{l2, l3}l4
l3l2{l2, l3}{l2, l3}l4
l4l4l4l4H

Hence X is an LA-semihypergroup because it satisfies the left invertive law. AS the table shows, l1 is a left identity of X.

### Lemma 1 ([22])

Let X be an LA-semihypergroup with pure left identity e; then x1 ◦ (x2x3) = x2 ◦ (x1x3) holds for all x1, x2, x3X.

### Lemma 2 ([22])

Let X be an LA-semihypergroup with pure left identity e; then (x1x2) ◦ (x3x4) = (x4x2) ◦ (x3x1) holds for all x1, x2, x3, x4X.

The law (x1x2)◦(x3x4) = (x4x2)◦(x3x1) is called a paramedial law.

### Definition 4 ([47])

Let (H, ◦) be a semihypergroup.

(1) A non-empty subset L of H is called the left almost hyperideal of H if

xLLφ,xH.

(2) A non-empty subset L of H is called the right almost hyperideal of H if

LxLφ,xH.

(3) A non-empty subset L of H is called the almost hyper-ideal of H if L is both a left and right almost hyperideal of H.

### 3. Almost Hyperideals

Here we define left almost hyperideals, right almost hyperideals, almost hyperideals, minimal almost hyperideals, and some interesting properties.

### Definition 5

Let (H, *) be an LA-semihypergroup.

(1) A non-empty subset L of H is called the left almost hyperideal of H if

x*LLφ,xH.

(2) A non-empty subset R of H is called the right almost hyperideal of H if

R*xRφ,xH.

(3) A non-empty subset I ofH is called the almost hyperideal of H if I is both a left and right almost hyperideal of H.

### Example 2

Let H = {e, l, m} with the binary operation * defined as follows:

*elm
eelm
lm{l, m}m
mll{l, m}

(H, *) is an LA-semihypergroup. Now, if L = {e, l} ⊆ H with we observe that (L, *) is a left almost hyperideal of (H, *), but it is not a right almost hyperideal as {e, l} * m ∩ {e, l} = φ.

*el
eel
lm{l, m}

### Remark 1

The structure of left almost hyperideals is not LA-subsemihypergroups as in Example 2, where L = {e, l} ⊆ H is not closed under the same binary operation as H.

### Example 3

Consider an LA-semihypergroup H = {a, b, c} under the hyperoperation defined by

abc
aabc
bc{b, c}{b, c}
cb{b, c}{b, c}

If R = {b, c} ⊆ H with the same binary operation ◦ that is defined in H, we can observe that R is a right almost hyperideal of H.

### Lemma 3

Let (H, *) be a LA-semihypergroup.

(1) Every left hyperideal of H is a left almost hyperideal of H.

(2) Every right hyperideal of H is a left almost hyperideal of H.

(3) Every hyperideal of H is an almost hyperideal of H.

Proof

(1) Assume that L is a left hyperideal of H. Let xH. Then, x * LL. Therefore, x * LLφ.

(2) Let R be a right hyperideal of H. Let yH. Then, R * yR. Therefore, R * yRφ.

(3) Follows from (1) and (2)

### Remark 2

The converse of Lemma 3 may or may not true generally as in the following Example 4.

### Example 4

Let H = {x, y, z} be a finite set with hyperoperation * defined as follows:

*xyz
xxxx
yxHz
zxHH

Thus, (H, *) is an LA-semihypergroup. Let L = {x, y} under the same binary operation *, i.e.,

*xy
xxx
yxH

Here, L is an almost hyperideal of H, but it is not a hyperideal of H.

### Theorem 1

Let (H, *) be an LA-semihypergroup.

(1) If L1 and L2 are two left almost hyperideals of H, then L1L2 is also a left almost hyperideal.

(2) If R1 and R2 are two right almost hyperideals of H, then R1R2 is also a right almost hyperideal.

(3) If I1 and I2 are two almost hyperideals of H, then I1I2 is also an almost hyperideal.

Proof

Same as provided by Suebsung et. al [47].

### Remark 3

(1) If L1 and L2 are two left almost hyperideals of H, then L1L2 may or may not a left almost hyperideal.

(2) If R1 and R2 are two right almost hyperideals of H, then RR2 may or may not a right almost hyperideal.

(3) If I1 and I2 are two almost hyperideals of H, then I1I2 may or may not left almost hyperideal.

### Example 5

Let H = {1, 2, 3, 4, 5, 6} be a non-empty set with hyperoperation *, defined as follows: then (H, *) is an LA-semihypergroup. Let L1 = {1, 2, 3, 4} and L2 = {3, 4, 5, 6} be two left almost hyperideals of H. Thus, L1L2 = {3, 4} is not a left almost hyperideal of H, as we can observe that 4 * {3, 4} ∩ {3, 4} = φ. However, L1L2 = {1, 2, 3, 4, 5, 6} is a left almost hyperideal of H.

*123456
1{1, 2, 3, 4}{2, 3, 4, 5, 6}{4, 5, 6}{2, 3, 4, 5, 6}{2, 3, 4, 5, 6}{2, 3, 4, 5, 6}
2{1, 3, 4, 5, 6}{1, 2, 3, 4, 5, 6}{1, 3, 4, 5, 6}{1, 3, 6}{1, 5, 6}{1, 3, 4, 5, 6}
3{1, 2, 4, 5, 6}{1, 2}{1, 2, 3, 5, 6}{1, 2, 4, 5, 6}{1, 2, 6}{1, 2, 4, 5, 6}
4{1, 5, 6}{1, 2, 6}{1, 2, 5, 6}{1, 2, 5, 6}{1, 2, 5, 6}{1, 2, 5, 6}
5{1, 2, 3, 4, 6}{1, 2, 3, 4, 6}{1, 2, 3, 4, 6}{1, 3, 4, 6}{1, 2, 3, 4, 5, 6}{1, 3, 4, 6}
6{1, 2, 3, 4, 5}{1, 4, 5}{1, 2, 3, 4, 5}{1, 4, 5}{1, 2, 3, 4, 5}{1, 2, 3, 4, 5}

### Lemma 4

If L is a left almost hyperideal of an LA-semihyper-group H with a left identity e; then, aL is a left almost hyper-ideal of H.

Proof

However, if aL is not a left almost hyperideal, i.e.,

x*aLaL=φfor all xHa*xLaL=φ,by (ab)c=b(ac)xLL=φ,

this is a contradiction to the given condition. Hence, x * aLaLφ and aL is a left almost hyperideal of H.

### Lemma 5

If L is a left almost hyperideal of an LA-semihypergroupH with a left identity e, then L2 is a left almost hyperideal of H.

Proof

However, if L2 is not a left almost hyperideal, i.e.,

x*L2L2=φfor all xH,x*L*LL*L(x*L)*LL*LL*(x*L)L*L=φ,by (ab)c=b(ac)xLL=φ,

this is a contradiction to the given condition. Hence, x * L2L2φ and L2 is a left almost hyperideal of H.

### Lemma 6

If I is a left almost hyperideal of H, then I2 is an almost hyperideal of H.

Proof

First, we must demonstrate that I2 is a left-almost hyperideal of H. This, we demonstrate that x * I2I2φx*I *II *I, as x*IIφ. Hence x*I2I2φ Therefore, I2 is a left almost ideal of H. Next, we must demonstrate that I2 *xI2φ ⇒ (I * I) *xI *I, as (x * I) *II *I ≠ by (ab) c = (cb) a. As x * IIφ, I2 * xI2φ. Therefore, I2 is a right almost hyperideal of H. Hence, I2 is an almost hyperideal of H.

### Definition 6

An almost hyperideal I of an LA-semihypergroup H is minimal if it does not contain any almost hyperideal of H other than itself.

### Example 6

Let H = {x1, x2, x3, x4} with the binary hyperoperation defined as follows:

x1x2x3x4
x1x1x2x3x4
x2x3{x2, x3}{x2, x3}x4
x3x2{x2, x3}{x2, x3}x4
x4x4x4x4H

Hence H is an LA-semihypergroup. Let I1 = {x1, x2, x4}, I2 = {x1, x3, x4} and I3 = {x4} are the almost hyperideals of H. Thus, I3 is a minimal almost hyperideal of H.

### Theorem 2

Let H be an LA-semihypergroup. If L is a minimal almost left hyperideal of H, then a*L is also a minimal almost left hyperideal of H for every weak idempotent a.

Proof

It is known that a * L is a left almost hyperideal of H. Next, we must demonstrate that a * L is minimal almost left hyperideal of H. Let L be a left almost hyperideal of H, which is properly contained in a*L. We defineK = {iI : a * iL} and let yK. Let a * iL =⇒ x * (a * i) ∩ a * iφ =⇒ x * LLφ =⇒ a * iL, which is contradiction to the minimality of L. Therefore, a * L is minimal almost left hyperideal.

### 4. Conclusion

In this paper, we have introduced new types of hyperideals in non-associative structures of semihypergroups and indicated some interesting properties. In the future, we aim to obtain more properties of the proposed ideal theory.

### Conflict of Interest

No potential conflict of interest relevant to this article was reported.

### References

1. Marty, F 1934. Sur une generalization de la notion de groupe., Proceedings of the 8th Congress des Mathematicians Scandinaves, Stockholm, Sweden, pp.45-49.
2. Corsini, P (1993). Prolegomena of Hypergroup Theory. Tricesimo, Italy: Aviani Editore
3. Vougiouklis, T (1994). Hyperstructures and Their Representations. Palm Harbor, FL: Hadronic Press
4. Corsini, P, and Leoreanu, V (2003). Applications of Hyperstructure Theory. Boston, MA: Springer
5. Kazim, MA, and Naseeruddin, MD (1972). On almost semigroups. The Aligarh Bulletin of Mathematics. 2, 1-7.
6. Mushtaq, Q, and Yusuf, SM (1978). On LA-semigroups. The Aligarh Bulletin of Mathematics. 8, 65-70.
7. Mushtaq, Q, and Yousaf, SM (1979). On locally associative LA-semigroups. Journal of Natural Sciences and Mathematics. 19, 57-62.
8. Mushtaq, Q, Khan, M, and Shum, KP (2013). Topological structures on LA-semigroups. Bulletin of the Malaysian Mathematical Sciences Society. 36, 901-906.
9. Mushtaq, Q (1988). A note on almost semigroups. Bulletin of the Malaysian Mathematical Sciences Society. 11, 29-31.
10. Mushtaq, Q (1988). A note on translative mappings on LAsemigroups. ulletin of the Malaysian Mathematical Sciences Society. 11, 39-42.
11. Mushtaq, Q, and Inam, M (2008). Left almost semigroups defined by a free algebra. Quasigroups and Related Systems. 16, 69-76.
12. Mushtaq, Q (1983). Abelian group defined by LA-semigroup. Studia Scientiarum Mathematicarum Hungarica. 18, 427-428.
13. Mushtaq, Q, and Kamran, MS (1996). On left almost groups. Proceedings of the Pakistan Academy of Sciences. 33, 53-55.
14. Holgate, P (1992). Groupoids satisfying a simple invertive law. Mathematics Student. 61, 101-106.
15. Cho, JR, Jezek, J, and Kepka, T (1999). Paramedial groupoids. Czechoslovak Mathematical Journal. 49, 277-290.
16. Akram, M, Yaqoob, N, and Khan, M (2013). On (m, n)-ideals in LA-semigroups. Applied Mathematical Sciences. 7, 2187-2191.
17. Khan, M, and Ahmad, N (2010). Characterizations of left almost semigroups by their ideals. Journal of Advanced Research in Pure Mathematics. 2, 61-73.
18. Protic, PV, and Stevanovic, N (1995). AG-test and some general properties of Abel-Grassmann’s groupoids. Pure Mathematics and Applications. 6, 371-383.
19. Stevanovic, N, and Protic, PV (2004). Composition of Abel-Grassmann’s three 3-bands. Novi Sad Journal of Mathematics. 34, 175-182.
20. Iqbal, M, and Ahmad, I (2016). On further study of CA-AG-groupoids. Proceedings of the Pakistan Academy of Sciences A: Physical and Computational Sciences. 53, 325-337.
21. Hila, K, and Dine, J (2011). On hyperideals in left almost semihypergroups. International Scholarly Research Notices. 2011. article no. 953124
22. Yaqoob, N, Corsini, P, and Yousafzai, F (2013). On intra-regular left almost semihypergroups with pure left identity. Journal of Mathematics. 2013. article no. 510790
23. Yaqoob, N, and Gulistan, M (2015). Partially ordered left almost semihypergroups. Journal of the Egyptian Mathematical Society. 23, 231-235. https://doi.org/10.1016/j.joems.2014.05.012
24. Gulistan, M, Yaqoob, N, and Shahzad, M (2015). A note on Hv-LA-semigroups. UPB Scientific Bulletin. 77, 93-106.
25. Khan, M, Gulistan, M, Yaqoob, N, and Hussain, F (2016). General cubic hyperideals of LA-semihypergroups. Afrika Matematika. 27, 731-751. https://doi.org/10.1007/s13370-015-0367-y
26. Gulistan, M, Khan, M, Yaqoob, N, and Shahzad, M (2017). Structural properties of cubic sets in regular LA-semihypergroups. Fuzzy Information and Engineering. 9, 93-116. https://doi.org/10.1016/j.fiae.2017.03.005
27. Yaqoob, N, Gulistan, M, Leoreanu-Fotea, V, and Hila, K (2018). Cubic hyperideals in LA-semihypergroups. Journal of Intelligent & Fuzzy Systems. 34, 2707-2721. https://doi.org/10.3233/JIFS-17850
28. Nakkhasen, W (2020). Intuitionistic fuzzy ideals of ternary near-rings. International Journal of Fuzzy Logic and Intelligent Systems. 20, 290-297. https://doi.org/10.5391/IJFIS.2020.20.4.290
29. Hur, K, Kim, SR, and Lim, PK (2009). Intuitionistic fuzzy k-ideals of a semiring. International Journal of Fuzzy Logic and Intelligent Systems. 9, 110-114. https://doi.org/10.5391/IJFIS.2009.9.2.110
30. Park, JH (2011). Operations on generalized intuitionistic fuzzy soft sets. International Journal of Fuzzy Logic and Intelligent Systems. 11, 184-189. https://doi.org/10.5391/IJFIS.2011.11.3.184
31. Azhar, M, Gulistan, M, Yaqoob, N, and Kadry, S (2018). On fuzzy ordered LA-semihypergroups. International Journal of Analysis and Applications. 16, 276-289. https://doi.org/10.28924/2291-8639-16-2018-276
32. Azhar, M, Yaqoob, N, Gulistan, M, and Khalaf, MM (2019). On (ɛ, ɛ ∨ q)-fuzzy hyperideals in ordered LA-semigroups. Discrete Dynamics in Nature and Society. 2018. article no. 9494072
33. Gulistan, M, Yaqoob, N, Kadry, S, and Azhar, M (2019). On generalized fuzzy sets in ordered LA-semihypergroups. Proceedings of the Estonian Academy of Sciences. 68, 43-54. https://doi.org/10.3176/proc.2019.1.06
34. Yaqoob, N, Gulistan, M, Tang, J, and Azhar, M (2019). On generalized fuzzy hyperideals in ordered LA-semihypergroups. Computational and Applied Mathematics. 38. article no. 124
35. Nawaz, S, Gulistan, M, and Khan, S (2020). Weak LA-hypergroups: neutrosophy, enumeration and redox reaction. Neutrosophic Sets and Systems. 36, 351-368.
36. Gulistan, M, Nawaz, S, and Hassan, N (2018). Neutrosophic triplet non-associative semihypergroups with application. Symmetry. 10. article no. 613
37. Rehman, I, Gulistan, M, Asif Gondal, M, and Nawaz, S (2017). Structures of generalized fuzzy sets in non-associative rings. International Journal of Pure and Applied Mathematics. 113, 299-325.
38. Yaqoob, N, Cristea, I, Gulistan, M, and Nawaz, S (2018). On left almost polygroups. Italian Journal of Pure and Applied Mathematics. 39, 465-474.
39. Nawaz, S, Rehman, I, and Gulistan, M (2018). On left almost semihyperrings. International Journal of Analysis and Applications. 16, 528-541. https://doi.org/10.28924/2291-8639-16-2018-528
40. Gulistan, M, Yaqoob, N, Nawaz, S, and Azhar, M (2019). A study of (α, β)-complex fuzzy hyperideals in non-associative hyperrings. Journal of Intelligent & Fuzzy Systems. 36, 6025-6036. https://doi.org/10.3233/JIFS-181829
41. Nawaz, S, Gulistan, M, Yaqoob, N, and Kadry, S (2019). Weak non-associative structures of groups with applications. International Journal of Analysis and Applications. 17, 864-878. https://doi.org/10.28924/2291-8639-17-2019-864
42. Grosek, O, and Satko, L (1980). A new notion in the theory of semigroups. Semigroup Forum. 20, 233-240. https://doi.org/10.1007/BF02572683
43. Grosek, O, and Satko, L (1981). Smallest A-ideals in semigroups. Semigroup Forum. 23, 297-309. https://doi.org/10.1007/BF02676654
44. Wattanatripop, K, Chinram, R, and Changphas, T (2018). Quasi-A-ideals and fuzzy A-ideals in semigroups. Journal of Discrete Mathematical Sciences and Cryptography. 21, 1131-1138. https://doi.org/10.1080/09720529.2018.1468608
45. Wattanatripop, K, and Changphas, T (Array). On left and right A-ideals of a Γ-semigroup. Thai Journal of Mathematics, 87-96.
46. Suebsung, S, Wattanatripop, K, and Chinram, R (2019). A-ideals and fuzzy A-ideals of ternary semigroups. Songklanakarin Journal of Science & Technology. 41, 299-304.
47. Suebusing, S, Kaewnoi, T, and Chinram, R (2020). A note on almost hyperideals in semihypergroups. International Journal of Mathematics and Computer Science. 15, 127-133.
48. Ahn, TC, Hur, K, and Jang, KW (2006). Intuitionistic fuzzy subgroups and level subgroups. International Journal of Fuzzy Logic and Intelligent Systems. 6, 240-246. http://dx.doi.org/10.5391/IJFIS.2006.6.3.240
49. Hur, K, Jang, SY, and Lim, PK (2008). Intuitionistic fuzzy semigroups. International Journal of Fuzzy Logic and Intelligent Systems. 8, 207-219. http://dx.doi.org/10.5391/IJFIS.2008.8.3.207

### Biographies

Shah Nawaz is a Ph.D. student of Dr. Muhammad Gulistan and has submitted his Ph.D. thesis in the field of non-associative hyperstructures. He has authored some papers on the introduction of new non-associative hyperstructures such as LA-polygroups and LA-hypergroups.

E-mail: shahnawazawan82@gmail.com

Muhammad Gulistan received his M.Phil. degree from Quaid-i- Azam University, Islamabad, in 2011, and his Ph.D. degree from Hazara University, in 2016, where he is currently working as an Assistant Professor in the Department of Mathematics and Statistics. He has supervised many M.Phil. and Ph.D. research students. He has published more than 80 research papers in different well reputed journals. His area of research interests includes cubic sets and their generalizations, non-associative hyperstructures, neutrosophic cubic sets, neutrosophic cubic graphs, and decision making.

E-mail: gulistanmath@hu.edu.pk

ORCID: https://orcid.org/0000-0002-6438-1047

Nasreen Kausar received her Ph.D. degree in Mathematics from the Quaid-i-Azam University in Islamabad, Pakistan. She is currently an assistant Professor of Mathematics at the University of Agriculture Faisalabad, Pakistan. Her research interests include the numerical analysis and numerical solutions of ordinary differential equations (ODEs), partial differential equations (PDEs), and Volterra integral equations. She also has research interests in associative and commutative, non-associative and non-commutative fuzzy algebraic structures and their applications. Department of Mathematics and Statistics University of Agriculture, Faisalabad, Pakistan.

E-mail: kausar.nasreen57@gmail.com

ORCID: https://orcid.org/0000-0002-8659-0747

Salahuddin received his Ph.D. degree for his research work in Mathematics in 2001. He is a faculty member of the Department of Mathematics, Jazan University, Jazan, Saudi Arabia. He is working on a fuzzy set, fuzzy group theory, fuzzy ring and fuzzy ideal theory, variational inequality, and optimization theory.

E-mail: drsalah12@hotmail.com

ORCID: https://orcid.org/0000-0002-0496-3379

Mohammad Munir received his Ph.D. degree in Applied Mathematics from the University of Graz, Graz, Austria, in 2010. He completed his Ph.D. thesis on a project titled “Generalized Sensitivity Functions in Physiological Modelling”. His research interests are in the mathematical modelling of biological systems in the fields of the glucose-insulin dynamics, solute kinetics and hemodialysis using ordinary differential equations (ODEs). Parameter identification, sensitivity analysis and generalized sensitivity analysis are more concentrated areas of his research. His other interests include the applications of the fuzzy sets theory to multi-criteria decision-making (MCDM) problems.

ORCID: https://orcid.org/0000-0002-4891-2995

### Article

#### Original Article

International Journal of Fuzzy Logic and Intelligent Systems 2021; 21(1): 86-92

Published online March 25, 2021 https://doi.org/10.5391/IJFIS.2021.21.1.86

Copyright © The Korean Institute of Intelligent Systems.

## On the Left and Right Almost Hyperideals of LA-Semihypergroups

Shah Nawaz1, Muhammad Gulistan1 , Nasreen Kausar2 , Salahuddin3 , and Mohammad Munir4

1Department of Mathematics and Statistics, Hazara University, Mansehra, Pakistan
2Department of Mathematics and Statistics, University of Agriculture, Faisalabad, Pakistan
3Department of Mathematics, Jazan University, Jazan, Kingdom of Saudi Arabia
4Department of Mathematics, Government Postgraduate College, Abbottabad, Pakistan

Correspondence to:Nasreen Kausar (kausar.nasreen57@gmail.com)

Received: December 17, 2020; Revised: January 29, 2021; Accepted: February 22, 2021

This is an Open Access article distributed under the terms of the Creative Commons Attribution Non-Commercial License (http://creativecommons.org/licenses/by-nc/3.0/) which permits unrestricted noncommercial use, distribution, and reproduction in any medium, provided the original work is properly cited.

### Abstract

In this paper, we define left almost hyperideals, right almost hyperideals, almost hyperideals, and minimal almost hyperideals. We demonstrate that the intersection of almost hyperideals is not required to be an almost hyperideal, but the union of almost hyperideals is an almost hyperideal, which is completely different from the classical algebraic concept of the ideal theory.

Keywords: LA-semihypergroups, Left almost hyperideals, Right almost hyperideals, Almost hyperideals, Minimal almost hyperideals

### 1. Introduction

Hyperstructures were introduced in 1934 when Marty [1] defined hypergroups, began to study their properties, and applied them to groups. Several papers and books have been written on hyperstructure theory [2,3]. Currently, a book published on hyperstructures [4] describes its applications in rough set theory, cryptography, automata, code automata, probability, geometry, lattices, binary relations, graphs, and hypergraphs.

Kazim and Naseeruddin [5] introduced the study of left almost semigroups (LA-semigroups). They generalized some useful sequels of semigroup theory. Subsequently, Mushtaq and his colleagues [613] further described the structure and included many useful results of theory of an LA-semigroup [7,1420]. An LA-semigroup is the midway structure between a commutative semigroup and a groupoid. Moreover, it has many interesting properties, which are frequently used in commutative and associative algebraic structures.

Hila and Dine [21] presented the concept of LA-semihypergroups. Their paper created a new research direction in non-associative hyperstructures. Yaqoob et al. [22] extended the work of Hila and Dine [21] and characterized intra-regular LA-semihypergroups by their hyperideals using pure left identities. Subsequently, many researchers studied the structures of LA-semihypergroups from different perspectives [2330].

Azhar and his colleagues [3134] developed the structures of partially ordered LA-semihypergroups. Nawaz and his colleagues [3541] developed and studied many non-associative structures. The concept of almost ideals in semigroups was provided by Grosek and Satko [42,43] in 1980 and 1981, respectively. Various other researchers studied almost ideals for different algebraic structures [4446].

Recently, for the first time, Suebsung et. al [48] developed the concept of almost hyperideals in semihypergroups (see also [48,49]).

Thus, inspired by the concept by Suebsung et. al [47], we developed structures of almost hyperideals in LA-semihypergroups. These new types of almost hyperideals have two main characteristics. First, they are purely non-associative substructures of LA-semihypergroups. Second, in the construction of these hyperideals, we ensured that a hyperoperation did not yield a single element as in the scenario of the paper by Suebsung et. al [47]. We proved some useful results related to almost hyperideals.

### 2. LA-Semihypergroups

In this section, we recall some basic concepts from the literature on ideals and LA-semihypergroups that were used in the further development of this article.

### Definition 1

A map ◦ : X × X –→ ℘*(X) is called an hyperoperation or join operation on the set X, where X is a non-empty set and ℘*(X) = ℘(X)\{∅} indicates the all non-empty subsets of X. A hypergroupoid is a set (X) for which the binary operation is a hyperoperation.

If A and B are two non-empty subsets of X, then we express the product as follows:

$A∘B=∪x1∈A,x2∈Bx1∘x2, x1∘A={x1}∘A and x1∘B={x1}∘B.$

### Definition 2 ([21,22])

A hypergroupoid (X, ◦) is called an LA-semihypergroup if for x1, x2, x3X,

$(x1∘x2)∘x3=(x3∘x2)∘x1.$

The law (x1x2)◦x3 = (x3x2)◦x1 is known as left invertive law.

Every LA-semihypergroup satisfies the law

$(x1∘x2)∘(x3∘x4)=(x1∘x3)∘(x2∘x4)$

for all x1, x2, x3, x4X. This law is known as medial law (cf. [21]).

### Definition 3. [22]

Let X be an LA-semihypergroup. Element eX is called a

1. Left identity (resp. pure left identity) if for all x1X, x1ex1 (resp. x1 = ex1),

2. Right identity (resp. pure right identity) if for all x1X, x1x1e (resp. z1 = z1e),

3. Identity (resp. pure identity) if for all z1H, z1ez1z1e (resp. x1 = ez1z1e).

### Example 1 ([22])

Let X = {l1, l2, l3, l4} with the binary hyperoperation defined as follows:

l1l2l3l4
l1l1l2l3l4
l2l3{l2, l3}{l2, l3}l4
l3l2{l2, l3}{l2, l3}l4
l4l4l4l4H

Hence X is an LA-semihypergroup because it satisfies the left invertive law. AS the table shows, l1 is a left identity of X.

### Lemma 1 ([22])

Let X be an LA-semihypergroup with pure left identity e; then x1 ◦ (x2x3) = x2 ◦ (x1x3) holds for all x1, x2, x3X.

### Lemma 2 ([22])

Let X be an LA-semihypergroup with pure left identity e; then (x1x2) ◦ (x3x4) = (x4x2) ◦ (x3x1) holds for all x1, x2, x3, x4X.

The law (x1x2)◦(x3x4) = (x4x2)◦(x3x1) is called a paramedial law.

### Definition 4 ([47])

Let (H, ◦) be a semihypergroup.

(1) A non-empty subset L of H is called the left almost hyperideal of H if

$x∘L∩L≠φ,∀x∈H.$

(2) A non-empty subset L of H is called the right almost hyperideal of H if

$L∘x∩L≠φ,∀x∈H.$

(3) A non-empty subset L of H is called the almost hyper-ideal of H if L is both a left and right almost hyperideal of H.

### 3. Almost Hyperideals

Here we define left almost hyperideals, right almost hyperideals, almost hyperideals, minimal almost hyperideals, and some interesting properties.

### Definition 5

Let (H, *) be an LA-semihypergroup.

(1) A non-empty subset L of H is called the left almost hyperideal of H if

$x*L∩L≠φ,∀x∈H.$

(2) A non-empty subset R of H is called the right almost hyperideal of H if

$R*x∩R≠φ,∀x∈H.$

(3) A non-empty subset I ofH is called the almost hyperideal of H if I is both a left and right almost hyperideal of H.

### Example 2

Let H = {e, l, m} with the binary operation * defined as follows:

*elm
eelm
lm{l, m}m
mll{l, m}

(H, *) is an LA-semihypergroup. Now, if L = {e, l} ⊆ H with we observe that (L, *) is a left almost hyperideal of (H, *), but it is not a right almost hyperideal as {e, l} * m ∩ {e, l} = φ.

*el
eel
lm{l, m}

### Remark 1

The structure of left almost hyperideals is not LA-subsemihypergroups as in Example 2, where L = {e, l} ⊆ H is not closed under the same binary operation as H.

### Example 3

Consider an LA-semihypergroup H = {a, b, c} under the hyperoperation defined by

abc
aabc
bc{b, c}{b, c}
cb{b, c}{b, c}

If R = {b, c} ⊆ H with the same binary operation ◦ that is defined in H, we can observe that R is a right almost hyperideal of H.

### Lemma 3

Let (H, *) be a LA-semihypergroup.

(1) Every left hyperideal of H is a left almost hyperideal of H.

(2) Every right hyperideal of H is a left almost hyperideal of H.

(3) Every hyperideal of H is an almost hyperideal of H.

Proof

(1) Assume that L is a left hyperideal of H. Let xH. Then, x * LL. Therefore, x * LLφ.

(2) Let R be a right hyperideal of H. Let yH. Then, R * yR. Therefore, R * yRφ.

(3) Follows from (1) and (2)

### Remark 2

The converse of Lemma 3 may or may not true generally as in the following Example 4.

### Example 4

Let H = {x, y, z} be a finite set with hyperoperation * defined as follows:

*xyz
xxxx
yxHz
zxHH

Thus, (H, *) is an LA-semihypergroup. Let L = {x, y} under the same binary operation *, i.e.,

*xy
xxx
yxH

Here, L is an almost hyperideal of H, but it is not a hyperideal of H.

### Theorem 1

Let (H, *) be an LA-semihypergroup.

(1) If L1 and L2 are two left almost hyperideals of H, then L1L2 is also a left almost hyperideal.

(2) If R1 and R2 are two right almost hyperideals of H, then R1R2 is also a right almost hyperideal.

(3) If I1 and I2 are two almost hyperideals of H, then I1I2 is also an almost hyperideal.

Proof

Same as provided by Suebsung et. al [47].

### Remark 3

(1) If L1 and L2 are two left almost hyperideals of H, then L1L2 may or may not a left almost hyperideal.

(2) If R1 and R2 are two right almost hyperideals of H, then RR2 may or may not a right almost hyperideal.

(3) If I1 and I2 are two almost hyperideals of H, then I1I2 may or may not left almost hyperideal.

### Example 5

Let H = {1, 2, 3, 4, 5, 6} be a non-empty set with hyperoperation *, defined as follows: then (H, *) is an LA-semihypergroup. Let L1 = {1, 2, 3, 4} and L2 = {3, 4, 5, 6} be two left almost hyperideals of H. Thus, L1L2 = {3, 4} is not a left almost hyperideal of H, as we can observe that 4 * {3, 4} ∩ {3, 4} = φ. However, L1L2 = {1, 2, 3, 4, 5, 6} is a left almost hyperideal of H.

*123456
1{1, 2, 3, 4}{2, 3, 4, 5, 6}{4, 5, 6}{2, 3, 4, 5, 6}{2, 3, 4, 5, 6}{2, 3, 4, 5, 6}
2{1, 3, 4, 5, 6}{1, 2, 3, 4, 5, 6}{1, 3, 4, 5, 6}{1, 3, 6}{1, 5, 6}{1, 3, 4, 5, 6}
3{1, 2, 4, 5, 6}{1, 2}{1, 2, 3, 5, 6}{1, 2, 4, 5, 6}{1, 2, 6}{1, 2, 4, 5, 6}
4{1, 5, 6}{1, 2, 6}{1, 2, 5, 6}{1, 2, 5, 6}{1, 2, 5, 6}{1, 2, 5, 6}
5{1, 2, 3, 4, 6}{1, 2, 3, 4, 6}{1, 2, 3, 4, 6}{1, 3, 4, 6}{1, 2, 3, 4, 5, 6}{1, 3, 4, 6}
6{1, 2, 3, 4, 5}{1, 4, 5}{1, 2, 3, 4, 5}{1, 4, 5}{1, 2, 3, 4, 5}{1, 2, 3, 4, 5}

### Lemma 4

If L is a left almost hyperideal of an LA-semihyper-group H with a left identity e; then, aL is a left almost hyper-ideal of H.

Proof

However, if aL is not a left almost hyperideal, i.e.,

$x*aL∩aL=φ for all x∈H⇒a*xL∩aL=φ,by (ab)c=b(ac)⇒xL∩L=φ,$

this is a contradiction to the given condition. Hence, x * aLaLφ and aL is a left almost hyperideal of H.

### Lemma 5

If L is a left almost hyperideal of an LA-semihypergroupH with a left identity e, then L2 is a left almost hyperideal of H.

Proof

However, if L2 is not a left almost hyperideal, i.e.,

$x*L2∩L2=φ for all x∈H,⇒x*L*L∩L*L⇒(x*L)*L∩L*L⇒L*(x*L)∩L*L=φ, by (ab)c=b(ac)⇒xL∩L=φ,$

this is a contradiction to the given condition. Hence, x * L2L2φ and L2 is a left almost hyperideal of H.

### Lemma 6

If I is a left almost hyperideal of H, then I2 is an almost hyperideal of H.

Proof

First, we must demonstrate that I2 is a left-almost hyperideal of H. This, we demonstrate that x * I2I2φx*I *II *I, as x*IIφ. Hence x*I2I2φ Therefore, I2 is a left almost ideal of H. Next, we must demonstrate that I2 *xI2φ ⇒ (I * I) *xI *I, as (x * I) *II *I ≠ by (ab) c = (cb) a. As x * IIφ, I2 * xI2φ. Therefore, I2 is a right almost hyperideal of H. Hence, I2 is an almost hyperideal of H.

### Definition 6

An almost hyperideal I of an LA-semihypergroup H is minimal if it does not contain any almost hyperideal of H other than itself.

### Example 6

Let H = {x1, x2, x3, x4} with the binary hyperoperation defined as follows:

x1x2x3x4
x1x1x2x3x4
x2x3{x2, x3}{x2, x3}x4
x3x2{x2, x3}{x2, x3}x4
x4x4x4x4H

Hence H is an LA-semihypergroup. Let I1 = {x1, x2, x4}, I2 = {x1, x3, x4} and I3 = {x4} are the almost hyperideals of H. Thus, I3 is a minimal almost hyperideal of H.

### Theorem 2

Let H be an LA-semihypergroup. If L is a minimal almost left hyperideal of H, then a*L is also a minimal almost left hyperideal of H for every weak idempotent a.

Proof

It is known that a * L is a left almost hyperideal of H. Next, we must demonstrate that a * L is minimal almost left hyperideal of H. Let L be a left almost hyperideal of H, which is properly contained in a*L. We defineK = {iI : a * iL} and let yK. Let a * iL =⇒ x * (a * i) ∩ a * iφ =⇒ x * LLφ =⇒ a * iL, which is contradiction to the minimality of L. Therefore, a * L is minimal almost left hyperideal.

### 4. Conclusion

In this paper, we have introduced new types of hyperideals in non-associative structures of semihypergroups and indicated some interesting properties. In the future, we aim to obtain more properties of the proposed ideal theory.

l1l2l3l4
l1l1l2l3l4
l2l3{l2, l3}{l2, l3}l4
l3l2{l2, l3}{l2, l3}l4
l4l4l4l4H

*elm
eelm
lm{l, m}m
mll{l, m}

*el
eel
lm{l, m}

abc
aabc
bc{b, c}{b, c}
cb{b, c}{b, c}

*xyz
xxxx
yxHz
zxHH

*xy
xxx
yxH

*123456
1{1, 2, 3, 4}{2, 3, 4, 5, 6}{4, 5, 6}{2, 3, 4, 5, 6}{2, 3, 4, 5, 6}{2, 3, 4, 5, 6}
2{1, 3, 4, 5, 6}{1, 2, 3, 4, 5, 6}{1, 3, 4, 5, 6}{1, 3, 6}{1, 5, 6}{1, 3, 4, 5, 6}
3{1, 2, 4, 5, 6}{1, 2}{1, 2, 3, 5, 6}{1, 2, 4, 5, 6}{1, 2, 6}{1, 2, 4, 5, 6}
4{1, 5, 6}{1, 2, 6}{1, 2, 5, 6}{1, 2, 5, 6}{1, 2, 5, 6}{1, 2, 5, 6}
5{1, 2, 3, 4, 6}{1, 2, 3, 4, 6}{1, 2, 3, 4, 6}{1, 3, 4, 6}{1, 2, 3, 4, 5, 6}{1, 3, 4, 6}
6{1, 2, 3, 4, 5}{1, 4, 5}{1, 2, 3, 4, 5}{1, 4, 5}{1, 2, 3, 4, 5}{1, 2, 3, 4, 5}

x1x2x3x4
x1x1x2x3x4
x2x3{x2, x3}{x2, x3}x4
x3x2{x2, x3}{x2, x3}x4
x4x4x4x4H

### References

1. Marty, F 1934. Sur une generalization de la notion de groupe., Proceedings of the 8th Congress des Mathematicians Scandinaves, Stockholm, Sweden, pp.45-49.
2. Corsini, P (1993). Prolegomena of Hypergroup Theory. Tricesimo, Italy: Aviani Editore
3. Vougiouklis, T (1994). Hyperstructures and Their Representations. Palm Harbor, FL: Hadronic Press
4. Corsini, P, and Leoreanu, V (2003). Applications of Hyperstructure Theory. Boston, MA: Springer
5. Kazim, MA, and Naseeruddin, MD (1972). On almost semigroups. The Aligarh Bulletin of Mathematics. 2, 1-7.
6. Mushtaq, Q, and Yusuf, SM (1978). On LA-semigroups. The Aligarh Bulletin of Mathematics. 8, 65-70.
7. Mushtaq, Q, and Yousaf, SM (1979). On locally associative LA-semigroups. Journal of Natural Sciences and Mathematics. 19, 57-62.
8. Mushtaq, Q, Khan, M, and Shum, KP (2013). Topological structures on LA-semigroups. Bulletin of the Malaysian Mathematical Sciences Society. 36, 901-906.
9. Mushtaq, Q (1988). A note on almost semigroups. Bulletin of the Malaysian Mathematical Sciences Society. 11, 29-31.
10. Mushtaq, Q (1988). A note on translative mappings on LAsemigroups. ulletin of the Malaysian Mathematical Sciences Society. 11, 39-42.
11. Mushtaq, Q, and Inam, M (2008). Left almost semigroups defined by a free algebra. Quasigroups and Related Systems. 16, 69-76.
12. Mushtaq, Q (1983). Abelian group defined by LA-semigroup. Studia Scientiarum Mathematicarum Hungarica. 18, 427-428.
13. Mushtaq, Q, and Kamran, MS (1996). On left almost groups. Proceedings of the Pakistan Academy of Sciences. 33, 53-55.
14. Holgate, P (1992). Groupoids satisfying a simple invertive law. Mathematics Student. 61, 101-106.
15. Cho, JR, Jezek, J, and Kepka, T (1999). Paramedial groupoids. Czechoslovak Mathematical Journal. 49, 277-290.
16. Akram, M, Yaqoob, N, and Khan, M (2013). On (m, n)-ideals in LA-semigroups. Applied Mathematical Sciences. 7, 2187-2191.
17. Khan, M, and Ahmad, N (2010). Characterizations of left almost semigroups by their ideals. Journal of Advanced Research in Pure Mathematics. 2, 61-73.
18. Protic, PV, and Stevanovic, N (1995). AG-test and some general properties of Abel-Grassmann’s groupoids. Pure Mathematics and Applications. 6, 371-383.
19. Stevanovic, N, and Protic, PV (2004). Composition of Abel-Grassmann’s three 3-bands. Novi Sad Journal of Mathematics. 34, 175-182.
20. Iqbal, M, and Ahmad, I (2016). On further study of CA-AG-groupoids. Proceedings of the Pakistan Academy of Sciences A: Physical and Computational Sciences. 53, 325-337.
21. Hila, K, and Dine, J (2011). On hyperideals in left almost semihypergroups. International Scholarly Research Notices. 2011. article no. 953124
22. Yaqoob, N, Corsini, P, and Yousafzai, F (2013). On intra-regular left almost semihypergroups with pure left identity. Journal of Mathematics. 2013. article no. 510790
23. Yaqoob, N, and Gulistan, M (2015). Partially ordered left almost semihypergroups. Journal of the Egyptian Mathematical Society. 23, 231-235. https://doi.org/10.1016/j.joems.2014.05.012
24. Gulistan, M, Yaqoob, N, and Shahzad, M (2015). A note on Hv-LA-semigroups. UPB Scientific Bulletin. 77, 93-106.
25. Khan, M, Gulistan, M, Yaqoob, N, and Hussain, F (2016). General cubic hyperideals of LA-semihypergroups. Afrika Matematika. 27, 731-751. https://doi.org/10.1007/s13370-015-0367-y
26. Gulistan, M, Khan, M, Yaqoob, N, and Shahzad, M (2017). Structural properties of cubic sets in regular LA-semihypergroups. Fuzzy Information and Engineering. 9, 93-116. https://doi.org/10.1016/j.fiae.2017.03.005
27. Yaqoob, N, Gulistan, M, Leoreanu-Fotea, V, and Hila, K (2018). Cubic hyperideals in LA-semihypergroups. Journal of Intelligent & Fuzzy Systems. 34, 2707-2721. https://doi.org/10.3233/JIFS-17850
28. Nakkhasen, W (2020). Intuitionistic fuzzy ideals of ternary near-rings. International Journal of Fuzzy Logic and Intelligent Systems. 20, 290-297. https://doi.org/10.5391/IJFIS.2020.20.4.290
29. Hur, K, Kim, SR, and Lim, PK (2009). Intuitionistic fuzzy k-ideals of a semiring. International Journal of Fuzzy Logic and Intelligent Systems. 9, 110-114. https://doi.org/10.5391/IJFIS.2009.9.2.110
30. Park, JH (2011). Operations on generalized intuitionistic fuzzy soft sets. International Journal of Fuzzy Logic and Intelligent Systems. 11, 184-189. https://doi.org/10.5391/IJFIS.2011.11.3.184
31. Azhar, M, Gulistan, M, Yaqoob, N, and Kadry, S (2018). On fuzzy ordered LA-semihypergroups. International Journal of Analysis and Applications. 16, 276-289. https://doi.org/10.28924/2291-8639-16-2018-276
32. Azhar, M, Yaqoob, N, Gulistan, M, and Khalaf, MM (2019). On (ɛ, ɛ ∨ q)-fuzzy hyperideals in ordered LA-semigroups. Discrete Dynamics in Nature and Society. 2018. article no. 9494072
33. Gulistan, M, Yaqoob, N, Kadry, S, and Azhar, M (2019). On generalized fuzzy sets in ordered LA-semihypergroups. Proceedings of the Estonian Academy of Sciences. 68, 43-54. https://doi.org/10.3176/proc.2019.1.06
34. Yaqoob, N, Gulistan, M, Tang, J, and Azhar, M (2019). On generalized fuzzy hyperideals in ordered LA-semihypergroups. Computational and Applied Mathematics. 38. article no. 124
35. Nawaz, S, Gulistan, M, and Khan, S (2020). Weak LA-hypergroups: neutrosophy, enumeration and redox reaction. Neutrosophic Sets and Systems. 36, 351-368.
36. Gulistan, M, Nawaz, S, and Hassan, N (2018). Neutrosophic triplet non-associative semihypergroups with application. Symmetry. 10. article no. 613
37. Rehman, I, Gulistan, M, Asif Gondal, M, and Nawaz, S (2017). Structures of generalized fuzzy sets in non-associative rings. International Journal of Pure and Applied Mathematics. 113, 299-325.
38. Yaqoob, N, Cristea, I, Gulistan, M, and Nawaz, S (2018). On left almost polygroups. Italian Journal of Pure and Applied Mathematics. 39, 465-474.
39. Nawaz, S, Rehman, I, and Gulistan, M (2018). On left almost semihyperrings. International Journal of Analysis and Applications. 16, 528-541. https://doi.org/10.28924/2291-8639-16-2018-528
40. Gulistan, M, Yaqoob, N, Nawaz, S, and Azhar, M (2019). A study of (α, β)-complex fuzzy hyperideals in non-associative hyperrings. Journal of Intelligent & Fuzzy Systems. 36, 6025-6036. https://doi.org/10.3233/JIFS-181829
41. Nawaz, S, Gulistan, M, Yaqoob, N, and Kadry, S (2019). Weak non-associative structures of groups with applications. International Journal of Analysis and Applications. 17, 864-878. https://doi.org/10.28924/2291-8639-17-2019-864
42. Grosek, O, and Satko, L (1980). A new notion in the theory of semigroups. Semigroup Forum. 20, 233-240. https://doi.org/10.1007/BF02572683
43. Grosek, O, and Satko, L (1981). Smallest A-ideals in semigroups. Semigroup Forum. 23, 297-309. https://doi.org/10.1007/BF02676654
44. Wattanatripop, K, Chinram, R, and Changphas, T (2018). Quasi-A-ideals and fuzzy A-ideals in semigroups. Journal of Discrete Mathematical Sciences and Cryptography. 21, 1131-1138. https://doi.org/10.1080/09720529.2018.1468608
45. Wattanatripop, K, and Changphas, T (Array). On left and right A-ideals of a Γ-semigroup. Thai Journal of Mathematics, 87-96.
46. Suebsung, S, Wattanatripop, K, and Chinram, R (2019). A-ideals and fuzzy A-ideals of ternary semigroups. Songklanakarin Journal of Science & Technology. 41, 299-304.
47. Suebusing, S, Kaewnoi, T, and Chinram, R (2020). A note on almost hyperideals in semihypergroups. International Journal of Mathematics and Computer Science. 15, 127-133.
48. Ahn, TC, Hur, K, and Jang, KW (2006). Intuitionistic fuzzy subgroups and level subgroups. International Journal of Fuzzy Logic and Intelligent Systems. 6, 240-246. http://dx.doi.org/10.5391/IJFIS.2006.6.3.240
49. Hur, K, Jang, SY, and Lim, PK (2008). Intuitionistic fuzzy semigroups. International Journal of Fuzzy Logic and Intelligent Systems. 8, 207-219. http://dx.doi.org/10.5391/IJFIS.2008.8.3.207