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