13群同态.