Title Author Keyword ::: Volume ::: Vol. 21Vol. 20Vol. 19Vol. 18Vol. 17Vol. 16Vol. 15Vol. 14Vol. 13Vol. 12Vol. 11Vol. 10Vol. 9Vol. 8Vol. 7Vol. 6Vol. 5Vol. 4Vol. 3Vol. 2Vol. 1 ::: Issue ::: No. 4No. 3No. 2No. 1

Hypergroupoids as Tools for Studying Blood Group Genetics

Mohammad Munir1, Nasreen Kausar2, Salahuddin3, Rukhshanda Anjum4, Qingbing Xu5, and Waqas Ahmad6

2Department of Mathematics, Faculty of Arts and Science, Yildiz Technical University, Istanbul, Turkey
3Department of Mathematics, Jazan University, Jazan, Kingdom of Saudi Arabia
4Department of Mathematics and Statistics, University of Lahore, Lahore
5Department of Basic Courses, Chuzhou Polytechnic College, Chuzhou, China
6Department of Zoology, Hazara University, Mansehra, Pakistan
Correspondence to: Nasreen Kausar (kausar.nasreen57@gmail.com)
Received January 30, 2021; Revised May 3, 2021; Accepted May 28, 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 non-commercial use, distribution, and reproduction in any medium, provided the original work is properly cited.
Abstract
We initially introduce the concepts of an m-right (m-left) hyperideal and an m-hyperideal in a hypergroupoid. The ideas behind an m-factor and a generalized m-factor are then introduced. Next, we demonstrate the existence and important properties of these sub-hyperstructures through theorems and examples. We then define the m-right (m-left) consistent, m-consistent, m-intra-consistent, and m-simple hypergroupoids. Finally, we demonstrate that practical problems in biology, such as ABO blood group genetics, can be studied by defining these hypergroupoid substructures
Keywords : Blood group genetics, m-factors, Genotype, Phenotype, m-factorizable, Hypersemigroups
1. Introduction

Among all algebraic structures, a groupoid is the simplest within the entire field of mathematics, consisting of a non-empty set, H, with a single binary operation, ·, defined based on its elements, which are usually denoted by (H, ·), for which the associativity condition does not generally hold. For this reason, groupoids cover a large number of applications in mathematics. Such applications are suitable for studying systems that do not necessarily satisfy the associative laws under a binary operation. In terms of a binary operation is considered, algebraic systems that assign more than one value to an ordered pair under a function have also not been studied. The study of blood groups is one such example that does not come under the fold of associative systems with binary operations. However, these problems that do not obey the associative laws and do not admit binary operations are of considerable importance in our daily life. Through their subsets and ideals, particularly m-ideals, we can study the physical systems behind them in a more understandable way. The groupoids naturally lead us to study hyperstructures called hypergroupoids, which are a natural generalization of groupoids [1]. Moreover, the most appropriate hyperstructure for the study of blood groups is a study of hypergroupoids. In addition, to study the influence of blood groups from a population of parents to a population of offspring, i.e., the so-called blood group genetics, the m-hyperideals provide more information than the hyperideals, where m may be termed the generation number.

This issue motivated us to pursue the study of m-hyperideals in hypergroupoids in association with the study of blood groups.

Marty [2] introduced hyperstructures in 1934. Later mathematicians then followed up on this study for different algebraic structures and applied them to study various problems in scientific fields. For example, Hasankhani [3] studied the ideals with respect to Greens’s relation in hypersemigroupoids. Kehayopulu [4] characterized hypergroupoids through the properties of fuzzy prime and fuzzy semiprime hyperideals. Suebsung et al. [5] characterized the semihypergroupoids through the properties of almost hyperideals.

The motivation to work on the so-called m-hyperideals is based on the description above. In essence, having come across examples that do not obey the associative laws under the given binary operation, and owing to a lack of binary operations and studies on algebraic systems that assign more than one element to an ordered pair, there is a need to pursue studies on hypergroupoids with special reference to generalizing their hyperideals. Regarding the pattern in generalizing the ideals during our research on the semigroup theory [6,7] and the semiring theory [8], and the fuzzy ideals [6], in this article, we generalize the hyperideals of hypergroupoids through a positive integer m, and then discuss the concepts arising from the consequences based on examples and their applications.

This paper is divided into seven sections. In Section 1, we provide the necessary introduction and motivation of our study. Section 2 presents the concepts necessary to be used in further research. In Section 3, we introduce the idea of m-hyperideals in hypergroupoids along with their different properties and examples. Alongside the m-hyperideals, in Section 4, we present the idea of m-factorizable hypergroupoids and associated concepts. Section 5 deals with the genetics of ABO blood groups, as described by the method of hypergroupoids. Section 6 deals with them-simple hypergroupoids, and Section 7 presents some concluding remarks regarding our study.

2. Preliminaries

In this section, we present some preliminary ideas from the literature on hypergroupoids, which will be necessary to build up the theory and applications of m-hyperideals. A non-empty set H, along with a binary operation · defined on its elements, is called a groupoid and is denoted by (H, ·). For a groupoid H, we denote by P*(H) the set of all non-empty subsets of H. Then, P*(H) becomes a groupoid with the binary operation defined on its elements by AB = {ab; aA, bB} for all A, BP*(H) [9]. A non-empty subset S of H such that a, bS for all a, bS is called a subgroup of H. For a positive integer m, we can generate different subgroupoids of H as particular elements of P*(H) from H by taking the different powers denoted by Hm, as defined below.

### Definition 2.1

Following [10] and [5], let H be a non-empty set, and the map ∘ : H × HP*(H) is then called a hyperoperation, where P*(H) is the family of all non-empty subsets of H.

### Definition 2.2

We define a hypergroupoid as an ordered pair (H, ∘) consisting of a non-empty set H and a hyperoperation ∘ : H × HP*(H), where P*(H) is the set of all non-empty subsets of H, defined by

$S∘K=∪a∈S,b∈K(a∘b),$

for all non-empty subsets S and K of H.

We denote the hypergroupoid (H, ∘) simply by H. It follows from the definition that aK = {a}∘H and Ha = H∘{a}. In addition, e is called a left identity if ae = e, and e is called the right identity if ea = {a} for all aH. Moreover, e is called a scalar identity or simply an identity if ae = ea = {a} for all aH. The identity of H is unique by definition. An element aH is idempotent if aa = a. Here, H is said to be commutative if ab = ba for all a, bH. A hypergroupoid (H, ∘) is said to be a hypersemigroup if the hyperoperation ∘ follows the associative law on all elements of H, that is, if a ∘ (bc) = (ab) ∘ c for every a, b, cH.

A non-empty subset S of H is known as its subhypergroupoid if a, bS implies abS, and comparably, SSS implies that S is a subhypergroupoid of H. A non-empty subset S of a hypergroupoid H is said to be a right (left) hyperideal of H if SHS (HSS). A non-empty set, T, is called a two-sided hyperideal, or simply a hyperideal of H, if it is both a left hyperideal and a right hyperideal of H, that is, HTHT.

For a positive integer m, $Hm=H∘H∘H∘⋯∘H︸m-times$. Moreover, H2 = HHH (defined by Definition 2.2). Continuing in this manner, we have HlHn for l, m as two positive integers such that lm. In addition, Hm is a subhypergroupoid of H for all values of m, and Hm+n = HnHm for any two positive integers m and n.

The condition SHS (HSS) is equivalent to shS (hsS) for every sS and hH.

### Definition 2.3

A hypergroupoid H is said to be left (right) simple if and only if H does not possess any proper left (right) hyperideal. In addition, H is said to be simple if it does not have a hyperideal.

### Definition 2.4

A hypergroupoid H is termed as right-consistent if (ab) ∘ H = a ∘ (bH) for all a, bH. Here, H is called left consistent if H ∘ (ab) = (Ha) ∘ b for all a, bH. If H is both left and right consistent, then it is called a consistent hypergroupoid [11].

### Definition 2.5

A hypergroupoid H is said to be inconsistent if (aH) ∘ b = a ∘ (Hb) for all a, bH.

### Definition 2.6

An element a of a hypergroupoid H is said to be a weak right (left) magnifying element of H if there exists a proper subset K of H such that H = Ka(H = aK). Moreover, a is said to be a strong right (left) magnifying element of H if there exists a proper subhypergroupoid S of H such that H = Sa(H = aS) [12].

It should be noted that the identity and regular elements of a hypergroupoid are not weak right or weak left magnifying elements.

### Definition 2.7

We define the principal left hyperideal as the left hyperideal Ha =⟨ al generated by aH, and the principal right ideal as aH =⟨ ar. The principal two-sided ideal generated by a is characterized as HaH =⟨a ⟩.

3. m-Hyperideals in Hypergroupoid

### Definition 3.1

A non-empty subset L(R) of a hypergroupoid (H, ∘) is called an m-left hyperideal (m-right hyperideal) of H if HmLL(RHmR), where m is a positive number. Equivalently, if for each aL (aR) and each hHm, we have ahL ( haR).

A non-empty set T of H is called an m-two-sided hyperideal or simply m-hyperideal of H in the event that it is both an m-left hyperideal and an m-right hyperideal of H, that is, HmTHmT.

### Remark 3.2

Every left hyperideal is an m-left hyperideal of H (for m = 1), but the converse does not follow. Similar statements hold for the m-right hyperideals and m-hyperideals of H. This is evident in Example 3.4.

### Definition 3.3

The principal m-left hyperideal generated by an element aH is the m-left hyperideal Hma. The principal m-right ideal generated by a is characterized as aHm. The principal two-sided m-ideal generated by a is characterized as HmaHm.

### Example 3.4

Consider the hypergroupoid H = {1, 2, 3} with the hyperoperation ∘ defined in Table 1. Then, H2 = {1, 2}. The subhypergroupoid {1} is a 2-left hypergroupoid as H2 ∘ {1} = {1} ⊆ {1}, whereas {1} is not a left hyperideal of H as H ∘ {1} = {1, 2} ⊈ {1}.

### Theorem 3.1

The product of an m-left(m-right) hyperideal and an n-left(n-right) hyperideal of H is a max(m, n)-left(max (m, n)-right) hyperideal of H, and m and n are any two positive integers.

Proof

Let L1 be m-left and L2 be n-left hyperideals of H. Consider

$Hmax(m,n)∘L1∘L2⊆Hm∘L1∘L2⊆L1∘L2,$$(since Hmax(m,n)⊆Hm).$

Thus, L1L2 is max(m, n)-left hyperideal of H. Similarly, the result follows for the m-left and n-right hyperideals.

### Corollary 3.5

The product of two m-left (m-right) hyperideals of H is an m-left (m-right) hyperideal of H.

Proof

Straightforward.

### Theorem 3.2

The product of an m-hyperideal and n-hyperideal of H is an max(m, n)-hyperideal of H.

Proof

Because the product is both an m-left hyperideal and an m-right hyperideal, this product is max(m, n)-hyperideal.

### Corollary 3.6

The product of the m-two-sided hyperideals of hypergroupoid H is an m-two-sided hyperideal of H.

Proof

Straightforward.

### Remark 3.7

Any finite collection of m-left(m-right, m-two-sided) hyperideals of a hypergroupoid H, taken in any order, is also an m-left (m-right, m-two-sided) hyperideal of H. This result likewise holds for distinct positive whole numbers.

### Theorem 3.3

If L is an m-left hyperideal of hypergroupoid H and R is an m-right hyperideal, LR is an m-hyperideal of H.

Proof

Because HmLRLR, and LRHmLR, LR is an m-hyperideal of H.

In the above case, product RL requires neither an m-left nor an m-right hyperideal of H.

### Theorem 3.4

For some natural number n, the intersection of any collection of m1, m2, ⋯, and mn-left (-right, -two-sided) hyperideals of a hypergroupoid H is a t-left (-right, -two-sided) hyperideal of H, where t = max(m1, m2, …, mn).

Proof

Clear.

### Remark 3.8

For the intersection of an m-left hyperideal L and an m-right hyperideal R, LR is not an m-hyperideal of H.

4. Factorization of Hypergroupoids

Hypergroupoids can be factorized with respect to their proper hyperideals, proper subhypergroupoids, and proper subsets. In this section, we mainly pursue factorization with respect to the subhypergroupoids and subsets. Thus, we define the factorizable, (m, n)-factorizable, generalized (m, n)-factorizable, m-factorizable, and generalized m-factorizable hypergroupoids in the context of their subhypergroupoids and subsets. In the following, we present the related concepts, examples, and necessary results.

### Definition 4.1

A hypergroupoid H is said to be factorizable if, for a proper subhypergroupoid C of the hypergroupoid H, there exists another proper subhypergroupoid D of H having at least one distinct element from C, such that CD = H. The pair (C, D) is called the factorization of H with factors C and D [12] and [13].

If the identity eH, pair (e, H) is a factorization of H. The factorization of a hypergroupoid is not unique, as indicated by Example 4.2.

### Example 4.2

Consider the hypergroupoid H = {1, 2} with the hyperoperation ∘ defined in Table 2. The subhypergroupoids {1} and {2} form the factorization of H as {1} ∘ {2} = {1, 2}. Moreover, ({1}, {1, 2}), and ({2}, {1, 2}) are also factors of H.

### Proposition 4.3

If the right hyperideal C and the left hyperideal D form the factors of H, then CD = CD.

Proof

Because CDC and CDD, CDCD. However, if CDCD does not follow, then there exists cCD such that cCD. This gives cHCD, which is consistent with the fact that (C, D) is a factorization of H, i.e., CD = H.

### Proposition 4.4

If a hypergroupoid H contains either a strongly right magnifying or strong left magnifying element a, then H is factorizable.

Proof

We prove this for the case of the strongly right magnifying element, the duality of which is analogously followed. We discuss two cases:

1. When H is non-cyclic, suppose that d is a strongly right magnifying element of H. In this case, H = Cd for a proper subhypergroupoid C of H. Because H is not cyclic, it is factorizable because H = CD, where D =⟨ d ⟩.

2. When H is cyclic, let H =⟨ c ⟩. Letting C be a proper subhypergroupoid of H, then C =⟨ cm ⟩ for some positive integer m. Now, consider H = Cd =⟨ cmd. Because c is a generator of H, there exists a positive integer p such that d = cp. Thus, we have H =⟨ cmcp =⟨ cm+p ⟩=⟨ cn ⟩ for some integer n = m+p, which is a contradiction because ⟨ cn ⟩ is a proper hypergroupoid of H. Thus, H cannot be a cyclic hypergroupoid.

Relaxing the condition of the subhypergroupoid on the factors of a hypergroupoid leads us to define the generalized factors. This relaxion results in studying the non-empty subsets of hypergroupoids that form the factorization of the hypergroupoids.

### Definition 4.5

A proper subset L of the hypergroupoid H is said to be a generalized factor of H if there exists another proper subset M of H having at least one element distinct from L such that LM = H. The pair (L, M) is called a generalized factorization of H with the generalized factors L and M, and the hypergroupoid H is said to be a generalized factorizable hypergroupoid.

The following lemma is used in the proof of the preceding theorems characterizing factorizable hypergroupoids.

### Lemma 4.6

Let K be a set of all weak right-magnifying elements of a hypergroupoid H. If K ≠ ∅︀, then K is a subhypergroupoid of H. The complement of K given by J = HK ≠ ∅︀ is also a subhypergroupoid of H and JJK.

Proof

If s, tK, we can find two proper subsets A and B of H such that H = As = Bt. This gives Ast = Btt = ∘t = H and H = A ∘ (st). Thus, stK and K is a subhypergroupoid. Let u, vJ. If uvJ, the result immediately follows. If uvJ, then uvK, which contradicts the hypothesis that u, vK. Hence, uvJ is invalid.

Letting pJ and qK, there is a proper subset C in H such that H = Cq. Moreover, there is an element c in C, such that p = cq. Now, if cK, then p = cqK; this is a contradiction because pK. Thus, cJ, and therefore jJK and JJK.

### Theorem 4.1

Let H be a hypergroupoid having a weak right magnifying element; thus, H is generalized and factorizable if it satisfies any one of the following conditions:

1. H has a left identity element,

2. H has a weak left magnifying element,

3. H is regular.

Proof

Letting K={x : x is a weak right magnifying element of H}, it is obvious that K is a subhypergroupoid of H. Let J = HK.

1. If e is a left identity of H, because eK, J is a hypergroupoid and JJK based on 4.6. In addition, K = eKJK, and thus H = JK is generalized and factorizable as H = JK.

2. Supposing that y is a weak left magnifying element of H, we can then find two proper subsets L and M of H such that H = Lx = yM. Two cases need to be discussed.

1. (a) If yK, then H = yM = Cy for some proper subset C of H, and y = yb = cy for some bM and cC. If s is arbitrary in H, then s = yt = cyt = cs for some tM. Thus, c is a left identity of H. Thus, H can be generalized as factorizable by part (1 ).

2. (b) Suppose that yK, J is then a hypergroupoid and JJK based on 4.6. Furthermore, LJK. Assume aL; if aJ, then aJK. If aK, then a = yd for some dJH. However, dK, and thus aJK. Hence, H = Lx ⊆ (JK) ∘ KJKH, and thus H is generalized factorizable as H = JK.

3. If H is regular, the set E of its idempotents is then non-empty. Moreover, EK = ∅︀; thus, J is a hypergroupoid and JJK by Lemma 4.6. Furthermore, if yK, then y = (yy′) ∘ yEKJK for some y′ in H, and KJK. Thus, H = JK is a generalized factorization of H.

### Remark 4.7

Although the factors of a hypergroupoid are generalized, but the reverse does not hold.

Now, we present the ideas of (m, n)-factorizable and generalized (m, n)-factorizable hypergroupoids.

### Definition 4.8

If there exist two proper subhypergroupoids I and J of the hypergroupoid H, having at least one distinct element, such that for any two positive integers m and n, we have ImJn = H, and H is then said to be (m, n)-factorizable, and the pair (I, J) is called an (m, n)-factorization of H with the m-factors I and n-factor J.

If m = 1 and n = 1, H is said to be factorizable and generalized factorizable, as described in Definitions 4.1 and 4.5, respectively.

### Definition 4.9

If there exist two proper subsets L and M of the hypergroupoid H that have at least one distinct element, such that for any two positive integers m and n, we have LmMn = H, then H is said to be generalized (m, n)-factorizable, and the pair (L, M) is called the generalized (m, n)-factorization of H with a generalized m-factor L and generalized n-factor M.

### Example 4.10

Consider the hypergroupoid H = {1, 2, 3, 4} with the hyperoperation ∘ defined in Table 3. The subsets {2} and {3} then form the (2, 2)-factorization of H as {2}2 ∘ {3}2 = {1, 2} ∘ {1, 3} = {1, 2, 3, 4}.

### Example 4.11

In Section 5, {A} and {B} are the generalized factors of H = {A, B, AB, O} as {A} ∘ {B} = H, and the set H of ABO is a generalized factorizable hypergroupoid whose only subhypergroupoid is {O}.

In Definitions 4.1 and 4.8, without a loss of generality, by taking m = n = 1, for a proper subhypergroupoid I(L), the relation I2 = II = H does not follow; however, this relation may hold for two proper subhypergroupoids (subsets) having at least one distinct element. This fact motivated us to present the idea of a generalized m-factorizable hypergroupoid for a positive integer m, as presented in the following:

### Definition 4.12

A non-empty proper subset K of H is called a generalized m factor of H, for a positive integer m, if Km = H.

### Definition 4.13

A hypergroupoid H is said to be a generalized m-factorizable hypergroupoid if there exists an m-factor L in H. In this case, Lm = LLL ∘ ⋯ ∘ Ł is called the generalized m-factorization of H.

Because the concepts of maximality and minimality in the context of hyperideals play a vital role in characterizing a hypergroupoid, we define the concepts of the maximal and minimal generalized (m, n)-factors of hypergroupoids. These concepts will later be used to characterize hypergroupoids.

### Definition 4.14

A generalized m-factor M of H, for a positive integer m, is called a maximal generalized m-factor of H if there exists no other generalized m-factor N of H such that MN.

### Definition 4.15

A generalized m-factor M of H, for a positive integer m, is called a minimal generalized m-factor of H if no other generalized m-factor N of H exists such that NM.

### Remark 4.16

Based on the pattern of Definitions 4.14 and 4.15, we can define the maximum and minimum factors for a hypergroupoid H.

### Theorem 4.2

A hypergroupoid H is simple if and only if H is factorizable as H = LM, where L is the minimal left factor of H and M is the minimal right factor.

Proof

Suppose that H is a simple hypergroupoid. Because H∘{e} and {e}∘H are the left hyperideal and right hyperideal, respectively, H = (H ∘ {e}) ∘ ({e} ∘ H), H is factorizable.

Conversely, suppose that H = LM, where L is the minimal left factor of H and M is the minimal right. We must show that H is simple. For this, let c = abH. Because L = Ha and B = bH, H = HabH = HcH, which implies that H is simple.

5. ABO Blood Group the Key Genetics

The blood groups of the offspring were determined based on their parents. There are almost 38 blood groups, but two are the most important with regard to blood transfusions. These were the ABO blood groups and ABO/Rh-factor blood groups. The percentages of blood groups in different racial groups world-wide are given in

The most well-known and medically important blood types are the ABO blood types discovered by Karl Landsteiner in 1900 A.D. [14]. The ABO blood type of the offspring is controlled by a single gene, each of which is called the ABO gene with three types of alleles, namely i, IA, and IB [15]. The IA allele gives type A, IB gives type B, and i gives type O. Because both IA and IB alleles are dominant over the i allele, only ii genotype people have type O blood. Individuals with genotype IAIA or IAi have type A blood, individuals with genotype IBIB or IBi have type B, and genotype IAIB people have type AB. Parents with types A and B can also have a type O offspring because their genotypes are IBi and IAi, the combination of which can result in the ii genotype.

Some red blood cells have an Rh factor, known as an RhD antigen. If the red blood cells contain the RhD antigen, they are RhD positive; otherwise, they are RhD-negative. Combining the effect of the RhD factor with the ABO blood group, an eight-blood-group-type system is obtained that consists of AP, BP, ABP, OP, AN, BN, ABN, and ON blood types. Here, P stands for positive, and N stands for negative.

In this study, we considered the ABO blood groups and studied their genetics through hypergroupoids. The genetics of the ABO/Rh blood group system can be studied using this pattern.

We keep the ABO blood groups in the set H = {A, B, AB, O}. Joining the hyperoperation 2.1 with set H makes it a hypergroupoid. It should be noted that this hyperoperation is not associated with H. The hypergroupoid is expressed in

From Table 5, we extract the following information:

1. The samples {A, B}, {A, B, O}, {A, AB, O}, {A, AB}, {B, AB}, {AB, O} and {B, AB, O} are the generalized 2-factors of hypergroupoid H, e.g., {A, B}2 = {A, B}∘{A, B} = {A, B, AB, O}, as shown in Table 6, {A, B, AB} ∘ {A, B, AB} = {A, B, AB, O} shown in Table 7, and {A, B, O}2 = {A, B, O} ∘ {A, B, O} = {A, B, AB, O}, shown in

2. The hypergroupoid H is a 2-hypergroupoid because we can find two non-empty subsets of H from which the hypergroupoid H is obtained, as depicted in

3. {AB, AB} = {A, B, AB}, meaning if both parents are AB blood type, the offspring will be deficit of blood type O, which is a universal donor.

4. Because {A, B, AB} ∘ {O} = {A, B, AB, O}, {A, B, AB} and {O} form the generalized factorization of H.

5. Because {AB}2 ∘ {O} = {A, B, AB} ∘ {O} = {A, B, AB, O}, {AB} and {O} form a generalized (2, 1)-factorization of H. This means that if one of the parents is blood type AB and the other is blood type O, then their children will have a deficit of blood type O; however, their grandchildren will make the whole set H. Similarly, {A}2 ∘ {A, B} gives {A, B, AB, O}, implying that the children of A and AB will be deficient in blood type O; however, their grandchildren will make the whole blood groups.

6. {A} ∘ {B} = {A, B, AB, O}, implying that A and B form the generalized factorization of H and that H can be composed by the coupled possessing of only A and B blood type groups.

7. The theory of the m-factorizable hypergroupoids (see Definition 4.13) seems more interesting, through which the effects of a single proper subset of the hypergroupoid can be seen in the composition of the hypergroupoid instead of two proper subsets. Because {A, B}2 = {A, B, AB, O}, {A, B} is a generalized 2-factor of H, the offspring of parents possessing blood types A and B make the complete blood group system.

8. Not all proper subsets or subhypergroupoids are factors, (m, n)-factors, generalized (m, n)-factors, or m-factors of H, including {A} and {AB}, for example.

9. In hypergroupoid H, the m-factors {A, B}, {A, AB}, and {B, AB} are minimal generalized m-factors, whereas {A, B, AB}, {A, B, O}, {A, AB, O} and {B, AB, O} are maximal generalized m-factors.

10. The following hyperoperation ∘c determines the compatibility of the transfusion of the ABO blood groups.

$∘c={(A,{A,AB}),(B,{B,AB}),(AB,{AB}),(O,{A,B,AB,O})}.$

The first ordered pair (A, {A, AB}) states that people with blood group A can donate blood to people with blood groups A and AB. Similarly, the other elements specify which blood group can be compatible with each other.

11. In cases of questioned paternity, the ABO blood system is used to exclude a man from being a child’s father. For example, a man with type AB blood cannot father a child with type O blood, as is evident in Table 8, because he would pass on either the A or B allele to all of his offspring [16]. The ABO blood groups cannot be used to confirm whether a man is indeed a child’s father. Currently, DNA testing has superseded all other tests of paternity. However, it is used to exclude potential fathers rather than confirm the presence of a parental relationship.

Defining the hyperoperation ∘i : H × HP*(H) as ai b = (ab)c for all a, bH, where ∘ is as defined in Table 5, we can see that H = {A, B, AB, O} of the blood groups also creates a hypergroupoid under hyperoperation ∘i, as shown in

12. The hypergroupoids (H, ∘) and (H, ∘i) have different structures.

6. m-Simple Hypergroupoids

In the following, we characterize the m-right (m-left) consistent simple hypergroupoids.

### Definition 6.1

A hypergroupoid H is called m-right (m-left) simple if H does not possess any proper m-right (m-left) hyperideal contained in Hm. In other words, if T is an m-right (m-left) ideal of H such that THm, then T = Hm [1], or equivalently, a hypergroupoid H is called an m-simple hypergroupoid if it does not have any proper two-sided m-hyperideal, where a hyperideal, e.g., A, of a hypergroupoid H is proper if AH.

### Example 6.2

The hypergroupoid H = {A, B, AB, O} with the hyperoperation ∘ given in Table 5 is a simple hypergroupoid or 1-simple hypergroupoid because it does not possess any proper hyperideal.

### Proposition 6.3

If H is a hypergroupoid such that aHm = Hm ( Hma = Hm) for every aH, then H is m-right (m-left) simple.

Proof

Let aHm = Hm for every aH. To show that H is m-right simple, let T be an m-right ideal of H. In addition, let bH. Consider an element tT(T ≠ ∅︀). Because tHm, by hypothesis, we have tHm = Hm. In addition, from bHm, we have bth for some hHm. Therefore, we obtain bthTHmT, and thus T = Hm. Similarly, if H is m-left simple, then Hma = H for every aH.

### Remark 6.4

H = {A, B, AB, O} follows Proposition 6.3.

### Definition 6.5

A hypergroupoid H is said to be m-right consistent if, for every a, bH, (ab) ∘ Hm = a ∘ (bHm). Here, H is called m-left consistent if, for every a, bHm, Hm∘(ab) = (Hma)∘b. If H is both m-left consistent and m-right consistent, then it is called an m-consistent hypergroupoid.

### Definition 6.6

A hypergroupoid H is said to be m-intra-consistent if (aHm) ∘ b = a ∘ (Hmb) for all a, bH, for a positive integer m.

The following proposition describes the converse of Proposition 6.3.

### Proposition 6.7

Let H be an m-right (m-left) consistent hypergroupoid. If H is m-right (m-left) simple, then for every aH, we have aHm = Hm (Hma = Hm).

Proof

Suppose H is m-right simple and let aH. We must show that the set aHm is an m-right hyperideal of H. For this, let t ∈ (aHm)∘Hm. Thus, tuv for some uaHm, vHm. Because uaHm, we have uaw for some wHm. Therefore, tuv ⊆ (aw)∘{v} ⊆ (aw)∘Hm. However, H is m-right consistent; therefore, (aw) ∘ Hm = {a}∘(wHm). This implies that t ∈ {a}∘(HmHm) ⊆ ∘Hm. Therefore, t ∈ ∘Hm, and thus (aHm) ∘ Hm ⊆ ∘Hm. This implies that aHm is an m-right ideal of H. Because H is m-right simple, we have aHm = Hm. If H is m-left consistent, in a similar way, we then obtain Hma = Hm.

### Remark 6.8

A right (left) m-consistent hypergroupoid H is m-right (m-left) simple if and only if, for any aHm, we have aHm = Hm (Hma = Hm).

### Proposition 6.9

Let H be an m-intra-consistent hypergroupoid. If H is m-right (m-left) simple, for every aH, we then have aHm = Hm (Hma = Hm).

Proof

Let H be m-right simple and aH. We need to show that the set aHm is an m-right ideal of H. For this, let t ∈ (aHm) ∘ Hm. Thus, tuv for some uaHm and uaw for some wHm. Then, we have that tuv ⊆ (aw)∘{v} = ({a} ∘ {w})∘{v} ⊆ ({a} ∘ Hm)∘{v}. However, H is m-intra-consistent, ({a} ∘ Hm) ∘ {v} = {a} ∘ (Hm ∘ {v}) ⊆ {a} ∘ (HmHm) ⊆ ∘Hm. Thus, taHm and aHm is an m-right ideal of H. Because H is m-right simple, we have aHm = Hm. The dual case can be similarly proven.

On the patterns of Propositions 6.3 and 6.7, we have the following.

### Proposition 6.10

An m-intra-consistent hypergroupoid H is m-right (m-left) simple if and only if, for any aH, we have aHm = Hm ( Hma = Hm).

Proof

Similar.

7. Conclusion

We presented the concepts of m-hyperideals, m-factors, and generalized m-factors in hypergroupoids. We also defined m-simple hypergroupoids and demonstrated these concepts by presenting examples from the mathematical fields as well as ABO blood groups. The genetics of the ABO blood type system were fully described based on the theory of hypergroupoids. A study on the eight blood groups can be further carried out based on the pattern found in studies on the ABO blood type.

The method of using hypergroupoids is easier and more applicable than other methods used in studies on the genetics of blood groups. In our research on the ABO example, the positive integers m and n refer to the successive generations, by which the effect of the blood groups of the parents on their children and grandchildren were discussed. However, we can take larger values of these two integers in a vast genetic example, similar to that of the gene effect on different generations. We used this idea to find samplings of blood groups, called m-factors, as well as generalized m-factors with reference to their maximality and minimality. This study can be extended to non-associative hyperstructures, such as those in [1719].

Conflict of Interest

TABLES

1 2 3
1 {1} {1, 2} {2}
2 {1} {2} {1}
3 {1, 2} {2} {1}

1 2
1 {1} {1, 2}
2 {1} {2}

1 2 3 4
1 {1} {2} {3} {4}
2 {2} {1, 2} {4} {3, 4}
3 {3} {4} {1, 3} {3, 4}
4 {4} {3, 4} {2, 4} {1, 2, 3, 4}

Percentage of blood groups around the world

Blood group AP BP ABP OP AN BN ABN ON
African-American 24 18 4 47 2 1 0.3 4
Asian 27 25 7 39 0.5 0.4 0.1 1
Caucasian 33 9 3 37 7 2 1 8
Latino-American 29 9 2 53 2 1 0.2 4

Blood groups depicted as hypergroupoid H = {A, B, AB, O} under ∘

A B AB O
A {A, O} {A, B, AB, O} {A, B, AB} {A, O}
B {A, B, AB, O} {B, O} {A, B, AB} {B, O}
AB {A, B, AB} {A, B, AB} {A, B, AB} {A, B}
O {A, O} {B, O} {A, B} {O}

A B
A {A, O} {A, B, AB, O}
B {A, B, AB, O} {B, O}

A B AB
A {A, O} {A, B, AB, O} {A, B, AB}
B {A, B, AB, O} {B, O} {A, B, AB}
AB {A, B, AB} {A, B, AB} {A, B, AB}

Blood groups of impossible children depicted as hypergroupoid H = {A, B, AB, O} under ∘i

i A B AB O
A {B, AB} ∅︀ {O} {B, AB}
B ∅︀ {A, AB} {O} {A, AB}
AB {O} {O} {O} {AB, O}
O {B, AB} {A, AB} {AB, O} {A, B, AB}

A B O
A {A, O} {A, B, AB, O} {A, O}
B {A, B, AB, O} {B, O} {B, O}
O {A, O} {B, O} {O}

References
1. Kehayopulu, N (2018). How we pass from semigroups to hypersemigroups. Lobachevskii Journal of Mathematics. 39, 121-128. https://doi.org/10.1134/S199508021801016X
2. Marty, F (1934). Sur une generalization de la notion de groupe. Proceedings of 8th Congress of Scandinavian Mathematicians, 45-49.
3. Hasankhani, A (1999). Ideals in a semihypergroup and Green’s relations. Ratio Mathematica. 13, 29-36.
4. Kehayopulu, N (2016). On fuzzy prime and fuzzy semiprime ideals of ≤-hypergroupoids. Journal of Hyperstructures. 5, 108-114.
5. Suebsung, S, Kaewnoi, T, and Chinram, R (2020). A note on almost hyperideals in semihypergroups. International Journal of Mathematics and Computer Science. 15, 127-133.
6. Munir, M, Kausar, N, Salahuddin, , and Tehreem, (2020). On the prime fuzzy m-bi ideals in semigroups. Journal of Mathematics and Computer Science. 21, 357-365. http://doi.org/10.22436/jmcs.021.04.08
7. Munir, M, Kausar, N, Davvaz, B, Gulistan, M, and Gulzar, M (2020). Studying semigroups using the properties of their prime m-ideals. The Bulletin of Irkutsk State University Series Mathematics. 34, 109-125. https://doi.org/10.26516/1997-7670.2020.34.109
8. Munir, M, and Shafiq, A (2018). A generalization of bi ideals in semirings. Bulletin of the International Mathematical Virtual Institute. 8, 123-133.
9. Kepka, T (1994). Ideals in selfdistributive groupoids. Commentationes Mathematicae Universitatis Carolinae. 35, 187-191.
10. Heidari, D, Dehkordi, SO, and Davvaz, B (2010). Γ-semihypergroups and their properties. University Politehnica of Bucharest Scientific Bulletin Series A. 72, 195-208.
11. Kehayopulu, N (2018). Green’s relations for hypergroupoids. European Journal of Pure and Applied Mathematics. 11, 598-611. https://doi.org/10.29020/nybg.ejpam.v11i3.3306
12. Tolo, K (1969). Factorizable semigroups. Pacific Journal of Mathematics. 31, 523-535.
13. Heidari, D, and Cristea, I (2020). On factorizable semihypergroups. Mathematics. 8. article no 1064
14. Kntha, SS (1995). The blood revolution initiated by the famous footnote or Karl Landsteiner’s 19001 paper. Ceylon Medical Journal. 40, 123-125.
15. Klug, WS, Cummings, MR, and Spencer, CA (2006). Concepts of Genetics. Upper Saddle River, NJ: Prentice Hall
16. Nawaz, S, Gulistan, M, Kausar, N, and Munir, M (2021). On the left and right almost hyperideals of LA-semihypergroups. International Journal of Fuzzy Logic and Intelligent Systems. 21, 86-92. https://doi.org/10.5391/ijfis.2021.21.1.86
17. Kausar, N, Alesemi, M, Salahuddin, , and Munir, M (2020). Study on LA-ring by their intuitionistic fuzzy ideals. Mathematica Montisnigri. 47, 22-42.
18. 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
19. Azhar, M, Yaqoob, N, Gulistan, M, and Khalaf, MM (2019). On (ε, ε ∨ q)-fuzzy hyperideals in ordered LA-semihypergroups. Discrete Dynamics in Nature and Society. 2018. article no 9494072
Biographies

Mohammad Munir received his Ph.D. in applied mathematics from the University of Graz, Graz, Austria. His research interests lie in mathematical modeling of the biological system, fuzzy set theory, and its applications to multi-criteria decision making problems.

Nasreen Kausar received Ph.D. degree in Mathematics from Quaid-i-Azam university Islamabad, Pakistan. She is currently an Assistant Professor of Mathematics in Faculty of Arts and Science, Yildiz Technical University, Istanbul, Turkey. Her research interests are associative and commutative (non-associative and non-commutative algebraic structure and its applications on fuzzy structures.

Salahuddin received a Ph.D. degree for his research in mathematics in 2001. He is working on fuzzy sets, fuzzy group theory, fuzzy ring and fuzzy ideal theory, variational inequalities, and optimization theory.

Rukhshanda Anjum obtained a Ph.D. degree in mathematics from Quaid-i-Azam University, Islamabad, Pakistan. Her research interests lie in the characterization of hemirings through the properties of their k-ideals.

Qingbing Xu received his M.S. and degree from Fujian Normal University, Fuzhou, China, in 2008. His research interests include ring and module theory, homological algebra, category theory, semirings, and their applications.

Waqas Ahmad is a lecturer in zoology in the Higher Education Department of Khyber-Pukhtunkhwa. He recently completed his M.Phil. His research interests lie in the fields of zoology, parasitology, and genetics.

June 2021, 21 (2)