김김계에서 처음에 체를 정의해서
위키 백과에 검색해 봤음.
가환환의 일종이라는 걸 알았음.
그래서 환을 hoogle에 검색해봤음.
가환군의 일종이라는 걸 알았음.
hoogle이 뭐냐면 하스켈 패키지 찾아보는 덴데,
하스켈은 대수 구조를 다룰 수 있는 문법이 있음.
아무튼 궁금한 게 뭐냐면,
구조체 (R, +, 0, -)가 가환군이고
구조체 (R, •, 1)이 모노이드이고
0 ≠ 1일 때
다음 두 조건이 동치임?
1) x • (y + z) = x • y + x • z for all x, y, z in R.
2) (x + y) • z = x • z + y • z for all x, y, z in R.
위키 백과는 (1)이랑 (2)를 만족해야 한다고 했는데
어떤 하스켈 패키지는 (1)만 만족해도 환이라고 함.

- dc official App