素环是一类重要的环。若环R的零理想是素理想，则称R为素环。整环、单环、本原环都是素环。素环与素理想有如下关系：P是R的素理想当且仅当R/P是素环。