Abstract
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.
1. 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 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 pairs, one represents the sexual character in males; a locus which occurs on 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–3], Etherington introduced a new method of nonassociative algebras to study genetics. Holgate studied these algebras with genetic realizations in [4–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–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 , with ordinary multiplication of an associative ring (algebra); obviously, it is a nonassociative ring (algebra). By defining a new binary operation 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 and , after mating of alleles and , we get the zygotes , , , and , where are known as homozygotes while are called heterozygotes. In particular, , which means that the commutative law holds in this case, which genetically represents the notion that mating of allele with allele is the same as mating of with . Let us consider the equation . This linear equation represents the notion that and . 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 and shows a binary operation which is not associative because or equivalently says that both alleles and 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, , 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 as basis elements of an -dimensional real vector space. Multiplication is defined bywhere represent the relative gene frequencies.
The resulting algebra is called an -dimensional gametic algebra.
Some Basic Notions of Nonassociative Algebras. A groupoid is called a left almost semigroup if it satisfies the following left invertive law, , for all . Holgate called it a left invertive groupoid [4]. An element of a groupoid is called left (right) identity if for all in . A left identity in a left almost semigroup is unique.
Let , where is a left almost semigroup with left identity . Then,
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 is a vector space over a field along with the bilinear multiplication from , satisfying the following distributive properties:
A nonassociative algebra is called left almost algebra over a field 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 as basis elements of an -dimensional left almost vector space over . If we define multiplication bywhere for all , represent the relative gene frequencies.
Then, the resulting algebra is called an -dimensional nonassociative and noncommutative left almost gametic algebra.
Let be a basis representing the alleles generating a gametic left almost algebra and the multiplication defined as . Consider the mapping and let be the weight function defined as . For any element of , . Thus,
Now, in a similar way, we can define the zygotic algebra and for this we consider gametes (considering only , and then random mating of zygotes with will produce zygotes with a particular ratio, say . Thus, we define the following generalized zygotic multiplication as where are the relative gene frequencies.
An element in our noncommutative, nonassociative algebra indicates a population or a gene pool and it can be expressed as a linear combination of the basis elements as and , where , for all .
The algebra with genetic realization arising from expression (4) is more general than the one arising from (1) because the algebra is both nonassociative and noncommutative.
An algebra is called flexible if it satisfies the following property:
An algebra 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 for all then both become identical.
2. 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 asThen, the author chose another basis with elements and , and thus
Let us define an abstract algebra generated by over a finite field . If we define the binary operation “” on as , 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 .
Theorem 1. is a noncommutative and nonassociative left almost algebra.
Proof. Obviously, is closed. Next, we will show that satisfies the left invertive property, for this left . Then, , and . To prove , we need to prove .It is not associative becauseMoreover, and Thus, , for some .
If we consider this theorem for a finite field of cardinality 4 which is the extension of , then gives . More generally, is the quadratic equation representing the irreducible polynomial in . Thus, , and thus . We denote this algebra by . Roots of the equation are and . Thus,Obviously,
Theorem 2. The algebra is a generalized Jordan algebra.
Proof. Clearly, is a left almost algebra. Next, we will prove that it satisfies the property of flexible algebra. We have . Therefore, Thus,
Corollary 3. The algebra is a flexible algebra.
It is obvious from Theorem 2 that 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 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 is a nonassociative algebra satisfying the following properties:
Lemma 5. If is a left almost alternative algebra, then and , for all and in .
Proof. Let and belong to ; then, , so , for all and .
It is proved above that for all and in . Thus, for in Therefore, we can define powers of an element in .
Lemma 6. If is a left almost alternative algebra that contains a left identity , then becomes commutative and associative with identity.
Proof. Since , for all and , therefore . Then,It is easy to see that commutativity and the left invertive law give associativity.
For the rest of the paper, by , we shall mean the left almost alternative algebra satisfying (2).
Lemma 7. , for all in and for
Proof. We already proved that , for all in . Then, Thus, . Let us assume that let , for . Then,
Theorem 8. Every becomes a generalized Jordan algebra.
Proof. Let . Then,Hence, .
Lemma 9. , for all in .
Proof. Using , we get
We get a more generalized form of generalized Jordan algebra which is available in the following crucial theorem.
Theorem 10. , , for all in .
Proof. Using , we get
This theorem represents a mathematical model showing that mating of with is the same as mating of with .
Proposition 11. , for all in .
Proof. The proof is easy.
For any in , we put and , where is a positive integer.
Proposition 12. has associative powers.
Proof. The proof is easy.
Proposition 13. , for all and positive integers , .
Proof. According to Proposition 12, the result is true for . Again, by Lemma 7, we obtainHence, .
Proposition 14. for all and positive integers .
Proof. The result is true for . Suppose it is true for . Then, we obtainHence, by induction on , for all in and positive integers , .
Proposition 15. , for all , in and for positive integer .
Proof. The result is true for . If , thenSuppose that the result is true for . Then, we getHence, the result is true for all positive integers.
Theorem 16. , for , for all in
Proof. The proof follows from Lemma 7.
Theorem 17. , for
Proof. Let . Then,
Theorem 18. Every satisfies the generalized Jordan identity for .
Proof. We will use induction. For and , 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 . 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.
3. 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.
Conflicts of Interest
The authors declare that there are no conflicts of interest regarding the publication of this paper.