[대학교이상] 현대대수 ideal 질문입니다

[vv(14.40)]

Thm. Let I be a subset of the ring R, Then I is an ideal in R iff.

(1) a-b∈R for all a,b∈R

(2) ra,ar∈I for all a∈I and r∈R

이라고 합니다.

(1)번 조건은 왜 있는건가요?

[ALTa(tladud123)]

subring test

[vv(14.40)]

잘 모르겠습니다...

[vv(14.40)]

R이 ring이면 R은 abelian group 이므로 당연히 성립하는거 아닌가요?

[vv(14.40)]

교재에 분명 a-b가 R에 있다고 하는데 혹시 I의 오타가 아닐까요?

[vv(14.40)]

그런거 같네요 감삼당