零環

数学の分野である環論において、零環（）または自明環 (trivial ring) は1つの元からなる（同型を除いて）唯一の環である。（あまり一般的ではないが、“零環 (zero ring)”という用語は任意の rng of square zero, すなわちすべての "x" と "y" に対して であるような rng を指すために使われることもある。この記事では1つの元からなる環の意味で使う。）
環の圏において、零環は終対象である。始対象は有理整数環 Z である。
定義.
零環は一元集合 {0} において演算 + と · を 0 + 0 = 0 と 0 · 0 = 0 で定義したものであり、{0} あるいは単に 0 と表記される。