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