Effective Isomorphisms of Algebraic Structures