数学における環（かん、英: ring）とは、台集合に「加法」（和）および「乗法」（積）と呼ばれる二種類の二項演算を備えた代数系のことである。

最もよく知られた環の例は、整数全体の成す集合に自然な加法と乗法を考えたものである（これは乗法が可換だから可換環の例でもある）。ただし、それが環と呼ばれるためには、環の公理として、加法は可換で、加法と乗法はともに結合的であって、乗法は加法の上に分配的で、各元は加法逆元をもち、加法単位元が存在すること、が全て要求される。したがって、台集合は加法の下「加法群」と呼ばれるアーベル群を成し、乗法の下「乗法半群」と呼ばれる半群であって、乗法は加法に対して分配的であり、またしばしば乗法単位元を持つ[注 1]。なお、よく用いられる環の定義としていくつか流儀の異なるものが存在するが、それについては後述する。

環について研究する数学の分野は環論として知られる。環論学者が研究するのは、（整数環や多項式環などの）よく知られた数学的構造やもっと他の環論の公理を満たす多くの未だよく知られていない数学的構造のいずれにも共通する性質についてである。環という構造のもつ遍在性は、数学の様々な分野において同時多発的に行われた「代数化」の動きの中心原理として働くことになった[1]。

また、環論は基本的な物理法則（の根底にある特殊相対性）や物質化学における対称現象の理解にも寄与する。

環の概念は、1880年代のデデキントに始まる、フェルマーの最終定理に対する証明の試みの中で形成されていった。他分野（主に数論）からの寄与もあって、環の概念は一般化されていき、1920年代のうちにエミー・ネーター、ヴォルフガング・クルルらによって確立される[2]。活発に研究が行われている数学の分野としての現代的な環論では、独特の方法論で環を研究している。すなわち、環を調べるために様々な概念を導入して、環をより小さなよく分かっている断片に分解する（イデアルを使って剰余環を作り、単純環に帰着するなど）。こういった抽象的な性質に加えて、環論では可換環と非可換環を様々な点で分けて考える（前者は代数的数論や代数幾何学の範疇に属する）。特に豊かな理論が展開された特別な種類の可換環として、可換体があり、独自に体論と呼ばれる分野が形成されている。これに対応する非可換環の理論として、非可換可除環（斜体）が盛んに研究されている。なお、1980年代にアラン・コンヌによって非可換環と幾何学の間の奇妙な関連性が指摘されて以来、非可換幾何学が環論の分野として活発になってきている。
定義と導入
原型的な例

最もよく知られた環の例は整数全体の成す集合 Z に、通常の加法と乗法を考えたものである。すなわち Z は所謂「環の公理系」と呼ばれる種々の性質を満たす。

整数の集合における基本性質加法乗法
演算の閉性a + b は整数a × b は整数
結合性a + (b + c) = (a + b) + ca × (b × c) = (a × b) × c
可換性a + b = b + aa × b = b × a
中立元の存在性a + 0 = a （零元）a × 1 = a （単位元）
反数の存在性a + (−a) = 0

分配性a × (b + c) = (a × b) + (a × c), および (a + b)× c = a × c + b × c

乗法が可換律を満たすから、整数の全体は可換環である。
厳密な定義

環とは、集合 R とその上の二つの二項演算、加法 +: R × R → R および乗法 ∗: R × R → R の組 (R,+,∗) で、「環の公理系」と呼ばれる以下の条件を満たすものを言う[3]（環の公理系にはいくつか異なる流儀があるが、それについては後で触れる）。
加法群：(R, +) はアーベル群である

加法に関して閉じている：任意の a, b ∈ R に対して a + b ∈ R が成り立つ[注 2]。

加法の結合性：任意の a, b, c ∈ R に対して (a + b) + c = a + (b + c) が成り立つ。

加法単位元（零元）の存在：如何なる a ∈ R に対しても共通して 0 + a = a + 0 = a を満たす 0 ∈ R が存在する。

加法逆元（反元、マイナス元）の存在：各 a ∈ R ごとに a + b = b + a = 0 を満たす b ∈ R が存在する。

加法の可換性：任意の a, b ∈ R に対して a + b = b + a が成立する。

乗法半群：(R,∗) はモノイド（あるいは半群）である

乗法に関して閉じている：任意の a, b ∈ R に対して a ∗ b ∈ R が成り立つ[注 2]。

乗法の結合性：任意の a, b, c ∈ R に対して (a ∗ b) ∗ c = a ∗ (b ∗ c) が成立する。

乗法に関する単位元を持つ[注 1]。

分配律：乗法は加法の上に分配的である