素環

環論において、素環（そかん、英: prime ring）とは、任意の a, b ∈ R について、aRb = {0} ならば a = 0 または b = 0 が成り立つような環 R のことである。