Dummit&Foote Ring 정의 할때 existence of unity 없던데 굳이 이렇게 정의하는 이유 있나요? Ring homomorphism /phi:R /to R’ 정의할때도 phi(1_R)=1_R’ 조건 자연스럽게 빠지던데, 헷갈리네요ㅠ