rectification; Abhyankar-Sathaye embedding problem; variable finite associative algebra; non-commutative algebra; rightsided unit; left-sided unit; local units; discrete logarithm problem; hidden logarithm problem; post-quantum cryptography; digital signature 