Group algebras (or group rings) may be defined over any unital ring R and any group G in which elements have a canonical form (for example permutation groups, matrix groups or polycyclic groups). Basic operations, such as simple arithmetic of elements, may be applied in any such group algebra. Certain functions, however, place stricter requirements on R and G, such as requiring that R have a matrix echelon algorithm in Magma.