### ?

## Algebras of general type: rational parametrization and normal forms

For every algebraically closed field k of characteristic different from 2, we prove

the following: (1) Finite-dimensional (not necessarily associative) k-algebras of general type

of a fixed dimension, considered up to isomorphism, are parametrized by the values of a tuple

of algebraically independent (over k) rational functions of the structure constants. (2) There

exists an “algebraic normal form” to which the set of structure constants of every such algebra

can be uniquely transformed by means of passing to its new basis—namely, there are two finite

systems of nonconstant polynomials on the space of structure constants, {f_i}_i∈I and {b_j}_j∈J ,

such that the ideal generated by the set {f_i}_i∈I is prime and, for every tuple c of structure

constants satisfying the property b_j(c) = 0 for all j ∈ J, there exists a unique new basis of

this algebra in which the tuple c' of its structure constants satisfies the property f_i(c') = 0 for

all i ∈ I.