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.

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; a ∈ A, b ∈ B} for all A, B ∈ P^*(H) [9]. A non-empty subset S of H such that a, b ∈ S for all a, b ∈ S 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 H^m, as defined below.

Definition 2.1

Following [10] and [5], let H be a non-empty set, and the map ∘ : H × H → P^*(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 × H → P^*(H), where P^*(H) is the set of all non-empty subsets of H, defined by

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

We denote the hypergroupoid (H, ∘) simply by H. It follows from the definition that a∘K = {a}∘H and H∘a = H∘{a}. In addition, e is called a left identity if a∘e = e, and e is called the right identity if e∘a = {a} for all a ∈ H. Moreover, e is called a scalar identity or simply an identity if a ∘ e = e ∘ a = {a} for all a ∈ H. The identity of H is unique by definition. An element a ∈ H is idempotent if a∘a = a. Here, H is said to be commutative if a ∘ b = b ∘ a for all a, b ∈ H. 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 ∘ (b ∘ c) = (a ∘ b) ∘ c for every a, b, c ∈ H.

A non-empty subset S of H is known as its subhypergroupoid if a, b ∈ S implies a ∘ b ⊆ S, and comparably, S ∘ S ⊆ S 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 S ∘ H ⊆ S (H ∘ S ⊆ S). 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, H ∘ T ∘ H ⊆ T.

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

The condition S ∘ H ⊆ S (H ∘ S ⊆ S) is equivalent to s ∘ h ⊆ S (h ∘ s ⊆ S) for every s ∈ S and h ∈ H.

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 (a ∘ b) ∘ H = a ∘ (b ∘ H) for all a, b ∈ H. Here, H is called left consistent if H ∘ (a ∘ b) = (H ∘ a) ∘ b for all a, b ∈ H. 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 (a ∘ H) ∘ b = a ∘ (H ∘ b) for all a, b ∈ H.

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 = K ∘ a(H = a ∘ K). 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 = S ∘ a(H = a ∘ S) [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 H ∘ a =⟨ a ⟩_l generated by a ∈ H, and the principal right ideal as a∘H =⟨ a ⟩_r. The principal two-sided ideal generated by a is characterized as H ∘ a ∘ H =⟨a ⟩.

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 H^m ∘ L ⊆ L(R ∘ H^m ⊆ R), where m is a positive number. Equivalently, if for each a ∈ L (a ∈ R) and each h ∈ H^m, we have a ∘ h ⊆ L ( h ∘ a ⊆ R).

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, H^m ∘ T ∘ H^m ⊆ T.

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 a ∈ H is the m-left hyperideal H^m ∘ a. The principal m-right ideal generated by a is characterized as a ∘ H^m. The principal two-sided m-ideal generated by a is characterized as H^m ∘ a ∘ H^m.

Example 3.4

Consider the hypergroupoid H = {1, 2, 3} with the hyperoperation ∘ defined in Table 1. Then, H² = {1, 2}. The subhypergroupoid {1} is a 2-left hypergroupoid as H² ∘ {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.

Corollary 3.5

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

Theorem 3.2

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

Corollary 3.6

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

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, L ∘ R is an m-hyperideal of H.

Theorem 3.4

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

Remark 3.8

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

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 C ∘ D = H. The pair (C, D) is called the factorization of H with factors C and D [12] and [13].

If the identity e ∈ H, 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 C ∘ D = C ∩ D.

Proposition 4.4

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

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 L∘M = 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 = H − K ≠ ∅︀ is also a subhypergroupoid of H and J ⊆ J ∘ K.

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:

• H has a left identity element,

• H has a weak left magnifying element,

• H is regular.

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 I^m∘Jⁿ = 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 L^m ∘ Mⁿ = 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}² ∘ {3}² = {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 I² = I ∘ I = 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 K^m = 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, L^m = L ∘ L ∘ L ∘ ⋯ ∘ Ł 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 M ⊆ N.

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 N ⊆ M.

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 = L ∘ M, where L is the minimal left factor of H and M is the minimal right factor.

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 Table 4.

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, I_A, and I_B [15]. The I_A allele gives type A, I_B gives type B, and i gives type O. Because both I_A and I_B alleles are dominant over the i allele, only ii genotype people have type O blood. Individuals with genotype I_AI_A or I_Ai have type A blood, individuals with genotype I_BI_B or I_Bi have type B, and genotype I_AI_B people have type AB. Parents with types A and B can also have a type O offspring because their genotypes are I_Bi and I_Ai, 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 Table 5.

From Table 5, we extract the following information:

• 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}² = {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}² = {A, B, O} ∘ {A, B, O} = {A, B, AB, O}, shown in Table 9.

• 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 Tables 6.

• {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.

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

• Because {AB}² ∘ {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}² ∘ {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.

• {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.

• 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}² = {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.

• 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.

• 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.

• 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.

• 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 × H → P^*(H) as a ∘_i b = (a ∘ b)^c for all a, b ∈ H, 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 Table 8.

• The hypergroupoids (H, ∘) and (H, ∘_i) have different structures.

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 H^m. In other words, if T is an m-right (m-left) ideal of H such that T ⊆ H^m, then T = H^m [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 A ≠ H.

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 a∘H^m = H^m ( H^m ∘ a = H^m) for every a ∈ H, then H is m-right (m-left) simple.

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, b ∈ H, (a ∘ b) ∘ H^m = a ∘ (b ∘H^m). Here, H is called m-left consistent if, for every a, b ∈ H^m, H^m∘(a∘b) = (H^m∘a)∘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 (a ∘ H^m) ∘ b = a ∘ (H^m ∘ b) for all a, b ∈ H, 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 a ∈ H, we have a ∘ H^m = H^m (H^m ∘ a = H^m).

Remark 6.8

A right (left) m-consistent hypergroupoid H is m-right (m-left) simple if and only if, for any a ∈ H^m, we have a ∘ H^m = H^m (H^m ∘ a = H^m).

Proposition 6.9

Let H be an m-intra-consistent hypergroupoid. If H is m-right (m-left) simple, for every a ∈ H, we then have a ∘ H^m = H^m (H^m ∘ a = H^m).

Proposition 6.10

An m-intra-consistent hypergroupoid H is m-right (m-left) simple if and only if, for any a ∈ H, we have a ∘ H^m = H^m ( H^m ∘ a = H^m).

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 [17–19].

Percentage of blood groups around the world.

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

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