具有GAP后端的群同态