환 (수학)
호환되는 아벨 군과 모노이드 구조를 갖는 대수 구조 (특히 곱셈 항등원을 가짐) / From Wikipedia, the free encyclopedia
추상대수학에서 환(環, 영어: ring)은 덧셈과 곱셈이 정의된 대수 구조의 하나이다. 환은 덧셈에 대하여 아벨 군을 이루고, 분배법칙과 곱셈의 결합법칙 및 항등원의 존재를 만족시키지만, 곱셈에 대한 역원은 존재하지 않을 수 있다. 환을 연구하는 추상대수학의 분야를 환론(環論, 영어: ring theory)이라고 한다.
가환환(곱셈의 교환법칙이 성립하는 환)은 비가환환보다 훨씬 많은 성질이 알려져 있으며, 이들의 연구를 가환대수학이라고 한다. 가환대수학은 대수기하학 및 대수적 수론과 깊은 관련이 있다. 1980년대 이후에는 비가환 기하학과 양자군 등의 이론이 나타나면서 비가환환에 대해서도 상당한 연구가 이루어지고 있다.
환에 대한 관련된 개념으로, 군의 표현(혹은 가군)이나 군환, 나눗셈환, 보편 포락 대수 등의 특수한 환 및 인접 분야인 호몰로지 대수학 등이 있다.