Mathematical Modeling for Inherited Diseases

We introduced a new nonassociative algebra, namely, left almost algebra, and discussed some of its genetic properties. We discussed the relation of this algebra with flexible algebra, Jordan algebra, and generalized Jordan algebra.


Introduction
We introduced a new nonassociative and noncommutative algebra which has several properties similar to nonassociative and commutative algebras. The relation of the left almost algebra with other nonassociative algebras is useful and interesting to be known; in this regard, we found some relations with known algebras, namely, flexible, alternative, and Jordan algebras. We discussed some characteristics of this algebra which is similar to a commutative and associative algebra. We discussed some of the genetic properties of this algebra.
Some Basics from Genetics. Here, we discuss some simple ideas in genetics for nongeneticists and for those who are purely related to mathematics. Each cell of an organism contains long thread-like structures called chromosomes which are located inside the nucleus of animals and plants.
Chromosomes are made of protein and a single molecule of deoxyribonucleic acid (DNA). After cell division, chromosomes pass from parent cells to the newborn cells. The particular intersections that the DNA carries make each living creature unique from others. The molecules of the DNA are too long, which can be fitted inside the cells only by chromosomes. Moreover, chromosomes play an important role in copying and distributing DNA accurately in the whole process of cell division. Problems in chromosomes in new cells can create serious issues like leukemia and some types of cancer. Males and females have different chromosomes; that is, females have two chromosomes in their cells whereas males have one and one chromosome. Humans have 23 pairs of chromosomes, with a total of 46 chromosomes. A gene is a unit of hereditary information and lies on chromosomes. A gene can take different forms which are called alleles. In these 23 pairs, one represents the sexual character in males; a locus which occurs on 22 pairs of chromosomes is called autosomal, whereas a locus on one pair is called sex-linked. Diploid cells are those which carry a double set of chromosomes and haploid cells are those which carry a single set of chromosomes. Diploid cells produce sex cells called gametes through a process called meiosis. Mitosis is the process of reproduction in haploid cells. The gametes cells meet each other and give a zygote which is again a diploid cell.
Basics of Genetic Algebra. After the theory of Charles Darwin, it was Gregor Mendel who studied the natural laws of genetic inheritance and tried to express them in a mathematical language. In [1][2][3], Etherington introduced a new method of nonassociative algebras to study genetics. Holgate studied these algebras with genetic realizations in [4][5][6][7]. Reed discussed the nonassociative algebraic structure of genetic inheritance in [8]. The genetic algebra with mutation has been discussed in [9,10]. Several other authors studied nonassociative algebras with genetic realizations (for details, see [10][11][12][13][14]). Let be a nonempty set together with two binary operations "+" and "⋅" which satisfies all the axioms of an associative ring (algebra) except an associative property with respect to multiplication; then, it is known as a nonassociative ring (algebra). Lie ring was introduced by defining and replacing a new binary operation [ , ] = − , for all , , 2 Computational and Mathematical Methods in Medicine with ordinary multiplication of an associative ring (algebra); obviously, it is a nonassociative ring (algebra). By defining a new binary operation ⋅ = (1/2)( + ) on an associative algebra over a field whose characteristic is not equal to 2, we obtain another important nonassociative algebra known as Jordan algebra. It is worth mentioning here that the theory of nonassociative algebras is a fruitful branch of algebra. Most importantly, the class of nonassociative algebras has closed connections with other branches of mathematics; also, it has closed connections with quantum mechanics, physics, biology, and other sciences. The crucial part of this theory is the theory of nearly associative rings and algebras: Lie, alternative, and Jordan algebras. In short, considering nonassociative algebras over real number fields has several applications in biology especially in genetics. Moreover, there are some other classes of nonassociative algebras closely related to genetics which are popular among mathematicians and geneticists for their usefulness in genetics. Generally, these types of algebras are commutative and nonassociative. In fact, one can study the properties of genetics by making the mathematical models using nonassociative, commutative algebras. To visualize the concept of such algebras, let us pay attention to some specific classes of algebras like gametic, zygotic, and copular algebras.
Here, we will discuss some simple algebras with genetic realizations. In order to understand the algebraic properties in genetics, simple Mendelian inheritance has been considered in [10]. If we consider a single gene with two alleles 1 and 2 , after mating of alleles 1 and 2 , we get the zygotes 1 1 , 1 2 , 2 1 , and 2 2 , where 1 1 , 2 2 are known as homozygotes while 1 2 , 2 1 are called heterozygotes. In particular, 1 2 = 2 1 , which means that the commutative law holds in this case, which genetically represents the notion that mating of allele 1 with allele 2 is the same as mating of 2 with 1 . Let us consider the equation 1 . This linear equation represents the notion that 1 1 = 1 and 2 2 = 2 . The algebra with the multiplication table above is known as gamete algebra. Moreover, the zygotic algebra can be obtained from the gametic algebra by commutative duplication. From mathematical perspectives, the juxtaposition between 1 and 2 shows a binary operation which is not associative because ( 1 2 ) 2 ̸ = 1 ( 2 2 ) or equivalently ( 1 2 ) 2 = 1 ( 2 2 ) says that both alleles 1 and 2 are the same. Therefore, the associative law does not hold for the gametic algebra and it also does not hold for the zygotic algebra. Generally, algebras associated with genetics are commutative but nonassociative. In [3], Etherington proved that the zygotic algebra can be obtained from the gametic algebra through a commutative duplication process. Now, it is interesting to note that there is a class of algebras which is nonassociative and noncommutative but possesses many characteristics similar to commutative and associative algebras and has close relations with commutative algebras. Using notions from these algebras, we give a more general definition of gametic and zygotic algebras. Moreover, this nonassociative and noncommutative algebra has closed connections with Jordan and flexible algebras. In addition to this, if it contains a left identity, then it satisfies the famous Jordan identity and the generalized Jordan identity. This algebra works mostly like a commutative algebra; for instance, 2 2 = 2 2 , for all , , holds in a commutative algebra while this equation also holds for a left almost algebra, and if a left almost algebra contains a left identity , then = ( ) , for any , . In fact, the structure is nonassociative and noncommutative but it possesses many properties which usually hold in associative and commutative algebraic structures. Also, defining a new operation on this algebra gives a commutative and associative algebra.
In this paper, we will discuss those algebras which are nonassociative and noncommutative but have close connections with nonassociative and commutative algebras. We generalized the definition available in [8] and introduced a new generalized definition for gamete algebras. Moreover, we introduce a new class of a nonassociative algebra called left almost algebra.
We restrict ourselves by considering a gene on a particular locus on a chromosome. Here, we begin with the definition of gametic algebra [8]. Consider gametes 1 , 2 , . . . , as basis elements of an -dimensional real vector space. Multiplication is defined by where represent the relative gene frequencies. The resulting algebra S is called an -dimensional gametic algebra.
But the converse of the above statement is not true. If a left almost semigroup contains a right identity, then it becomes a commutative semigroup. A left almost semigroup is a mid structure between a groupoid and a commutative semigroup.
From the discussion above, it is easy to conclude that this nonassociative structure with left identity has a closed connection with a commutative semigroup.
A nonassociative algebra A is a vector space over a field F along with the bilinear multiplication from A × A → A, satisfying the following distributive properties: A nonassociative algebra A is called left almost algebra over a field F if it satisfies the left invertive property with respect to multiplication.
Several authors discussed mostly commutative and nonassociative algebras with genetic realizations. There are some cases of noncommutative, nonassociative algebraic structures which were discussed in [2,10,14]. Moreover, Mendel's algebra is interesting to discuss. To study such cases of Mendel's algebra with mutation, we introduce a new class of nonassociative and noncommutative algebras known as left almost algebras. These algebras possess many characteristics which are similar to those of commutative nonassociative algebras with genetic realizations. Here, we give the generalized definition for gametic algebra; consider gametes 1 , 2 , . . . , as basis elements of an -dimensional left almost vector space over R. If we define multiplication by where 0 ≤ ≤ 1 for all , , = 1, 2, . . . , , represent the relative gene frequencies.
Then, the resulting algebra A is called an -dimensional nonassociative and noncommutative left almost gametic algebra.
An algebra A is called flexible if it satisfies the following property: An algebra A is called a generalized Jordan algebra if it satisfies the following property: It is obvious that both flexible and generalized Jordan algebras are different but if = 2 for all then both become identical.

Mutation Algebra
In [9], the author considered mutation algebra with mutation rates and , the gametic algebra having the basis with elements and , where the multiplication table is defined as 2 = (1 − ) + , Then, the author chose another basis with elements = and = − , and thus 2 = − , 4

Computational and Mathematical Methods in Medicine
Let us define an abstract algebra A generated by { : 1 ≤ ≤ } over a finite field F. If we define the binary operation "⋆" on A as ⋆ = + 2 ( + 2 = 1), then this algebra satisfies (10) but ⋆ = . Therefore, it is important to mention here that the algebra defined by this operation is not totally consistent with the mutation algebra introduced by Gonshor above. This simply implies that there is a lack of one hundred correspondences between this algebra and the algebra defined in (10) but there are still several similarities existing between the ideas of the mutation algebra and the algebra we introduced. In the next theorem, we will prove that this algebra is a left almost algebra. We denote this algebra by M n ( F ). ( ⋆ ) ⋆ = ( It is not associative because Moreover, ⋆ = + 2 and ⋆ = + 2 . Thus, ̸ = , for some , .
Theorem 2. The algebra M 4 (t F ) is a generalized Jordan algebra.
Proof. Clearly, M 4 (t F ) is a left almost algebra. Next, we will prove that it satisfies the property of flexible algebra. We have ⋆ = + 2 = ( + 2 ) = . Therefore, Thus, (16) It is obvious from Theorem 2 that M 4 (t F ) contains idempotent elements and we know that idempotent elements in nonassociative algebras have their own importance. Thus, we arrived at the following remark.

Remark 4.
From the biological point of view, the idempotents in the algebra M 4 (t F ) have their own usefulness. Since this algebra has several characteristics similar to a nonassociative algebra arising in genetics, the idempotent elements of this algebra may be used for equilibria of a population described by some nonassociative algebras with genetic realizations.
In the following, we will consider some other nonassociative algebras and will discuss their relations with the left almost algebra mathematically.
An alternative algebra A is a nonassociative algebra satisfying the following properties: It is proved above that 2 = 2 for all and in A.
Thus, 2 = 2 for in A. Therefore, we can define powers of an element in A.

Lemma 6. If A is a left almost alternative algebra that contains a left identity e, then A becomes commutative and associative with identity.
Proof. Since 2 = 2 , for all and , therefore = e = e 2 = e 2 = e. Then, = ( ) e = (e ) = . (18) It is easy to see that commutativity and the left invertive law give associativity.
For the rest of the paper, by A, we shall mean the left almost alternative algebra satisfying (2).

Lemma 7.
= , for all , in A and for ≥ 2.
Proof. We already proved that 2 = 2 , for all , in A. Then, Thus, 3 = 3 . Let us assume that let = , for ≥ 3. Proof. Using 2 = 2 , we get We get a more generalized form of generalized Jordan algebra which is available in the following crucial theorem. Proof. Using 2 = 2 , we get Proof. The proof is easy.
For any in , we put 1 = and +1 = , where is a positive integer.

Proposition 12.
A has associative powers.
Proof. The proof is easy.
Proof. The result is true for = 1. Suppose it is true for > 1. Then, we obtain Hence, by induction on , ( ) = for all in and positive integers , .
Proof. The result is true for = 1. If = 2, then Suppose that the result is true for = . Then, we get Hence, the result is true for all positive integers.
Proof. The proof follows from Lemma 7. Proof. We will use induction. For = 1 and = 2, it is the same as in Theorem 17.
It is obvious from the above that the left almost algebra has closed connections with generalized Jordan algebra and flexible algebra.
It is interesting to note that genetic algebras (gametic, zygotic, copular, train, Bernstein, etc.) do not satisfy the properties of Jordan algebra but the left almost algebra becomes a Jordan algebra. Moreover, this algebra is power associative and satisfies the generalized identity ( ) = ( ) introduced by Jordan. It also satisfies = for , ≥ 2. This algebra is the generalization of the Jordan algebra. It is noncommutative and nonassociative but possesses many characteristics similar to Jordan algebra. Since Jordan algebra has many applications in genetics, it is concluded that our new generalized algebra will give direction for applications in genetics.

Conclusion
In this paper, we introduced a new nonassociative and noncommutative algebra with genetic realizations. We discussed its link with flexible, alternative, and Jordan algebras. This algebra possesses many characteristics similar to a commutative and associative algebra. We discussed some of the genetic properties of this algebra. In our future work, we will focus on some other nonassociative algebras. We conclude that this research will give a new direction for applications in genetics.