자명환

testwiki
둘러보기로 이동 검색으로 이동

틀:위키데이터 속성 추적 환론에서 자명환(틀:Lang, 틀:Lang)은 하나의 원소만을 가지는 으로, 이 경우 덧셈에 대한 항등원과 곱셈에 대한 항등원이 같다. 즉, 1=0이다.

정의

하나의 원소만을 가진 집합 {0}에는 유일한 구조가 존재한다. 즉 0+0=00=0이다. 이 환을 자명환이라고 한다.

성질

자명환은 (1을 가진) 환들의 범주 Ring끝 대상이고, (1을 가진) 가환환들의 범주 CRing끝 대상이다. 또한, 자명환은 유사환(틀:Lang 또는 틀:Lang, 1을 가지지 않을 수 있는 환)들의 범주 Rng영 대상이다.

자명환은 가환환이지만, 보통 정의상 정역이나 에는 포함시키지 않는다.

참고 문헌

같이 보기

외부 링크