群同型の定義、決定、および性質