rectification; Abhyankar-Sathaye embedding problem; variable non-commutative algebra; finite associative algebra; single-sided units; post-quantum cryptography; public-key cryptoscheme; signature scheme; discrete logarithm problem; hidden logarithm problem 