HTML 삽입 미리보기할 수 없는 소스 동기 처음 올리는 현대대수 글입니다. 이전 블로그에 있던 내용을 가져오는건데요. 1장,2장 글은 도저히 못봐주겠어서 적절히 수정 후 가져오려고 합니다. 이번에 공부한 수 체계는 Ring이다. Ring은 set에 +와 _를 적당히 잘 정의한 수체계다. +와 *를 어떻게 정의해야 우리는 ring이라고 부를 수 있을까? 그 8가지 조건이 아래에 나와있다. 8가지 조건 외에도 두 가지 조건, *_commutative multiplication, ring with identity라는 조건이 있는데 이 조건이 만족하면 또 좋은 성질을 가진 수체계를 정의할 수 있다. **Integral Domain과 Field의 정의가 정의돼있다. Field에는 안 적어놨는데 모두 commut..