Introduction

A structure constant algebra A of dimension n over a ring R can be defined in Magma by giving the n3 structure constants aijk ∈R ( 1 ≤i, j, k ≤n) such that, if (e1, e2, ..., en) is the basis of A, ei * ej = ∑k = 1n aijk * ek. Structure constant algebras may be defined over any unital ring R. However, many operations require that R be a Euclidean domain or even a field.

V2.28, 13 July 2023