在抽象代数中，一个非零的环 R 称作素环，若R满足以下条件中的一个（这几个条件是等价的）：质环同时推广了整环与域上的矩阵环。