rectification; Abhyankar-Sathaye embedding problem; variable non-associative algebras; problem of Albert; invariant bilinear forms; nil-algebras; solvable algebras; polynomial endomorphisms; Jacobian conjecture 