Tensor product of evolution algebras (Q6046237)

The paper introduces for commutative \(K\)-algebras, the definition of being locally nondegenerate and proves that two-dimensional perfect evolution \(K\)-algebras and two-dimensional evolution \(K\)-algebras with one-dimensional square are locally nondegenerate. Also shown that perfectness is transferred from the tensor product to the factors and conversely. By searching conditions that ensure that the property of being an evolution algebra is inherited from the tensor product to the factors and conversely, proved that for the given two evolution algebras tensor product of these algebras also an evolution \(K\)-algebra. Furthermore, tensor product of the natural bases of the given two algebras will be a natural basis of the tensor product of the given evolution algebras. Given an example of anticommutative algebras (not evolution algebras) whose tensor product is an evolution algebra. However, if the ground field is algebraically closed, any four-dimensional tensorially decomposable simple evolution algebra is the tensor product of (simple) evolution algebras. Also showed that in arbitrary dimension, that nondegeneracy is inherited from the tensor product to the factors and conversely. By authors it is proved that when one of the two factors of the tensor product is perfect, has an ideal of codimension 1 and the tensor product is an evolution algebra, then the other factor is an evolution algebra. Computing the number of zeros \(z\) (and of zeros in the diagonal \(zd)\) of the Kronecker product in terms of the corresponding numbers \(z\) and \(zd\) of the factors allowed screening the \(4\times 4\) matrices that arise as the Kronecker product of \(2\times 2\) matrices. Also given a classification of four-dimensional tensorially decomposable perfect evolution algebras into 13 classes and determined some complete sets of invariants relative to such classification, some of them based on characteristic and minimal polynomials.