rectification; Abhyankar-Sathaye embedding problem; variable unipotent groups; algebraic groups; finitely generated nilpotent groups; split reductive groups; effective algorithms; normal form theorems; word problem 