ABSTRACT
The computer algebra system Axiom is used to provide computations in arbitrary algebras with a finite module basis over a commutative ring.
Identities of such algebras can be detected in their linearized form. Using Groebner factorization, conditions for idempotents in the algebra or its centroid are calculated. This yields decompositions of the algebra given. Among others, an example of a genetic algebra is considered.
