어떤책은 ring 을 덧셈아벨군 + 곱셈모노이드로 정의히고 어떤책은 덧셈아벨군+ 곱셈semigroup 으로 정의함
이거땜에 책 바꿔읽으면 직관이 개지랄남