The Axiomatics of Free Group Rings (Groups, Complexity, Cryptology, 2021)