在交换代数中，尤其在代数几何的应用中，优环（法文：anneau excellent、英文：excellent ring）是一类性质与完备局部环相近的交换诺特环。这类环首先由亚历山大·格罗滕迪克定义。代数几何与数论中出现的诺特环通常都是优环，此外优环也与奇点消解相关；广中平祐在1964年证明了特征为零时的奇点消解定理。
定义.以下所论之环皆假定为么交换环。实际应用中的诺特环几乎都是泛链的，因此拟优环与优环几无差别。若一个局部诺特概形 formula_17 上有开覆盖 fo