擬環
擬環 R が「冪等元を十分豊富に持つ」とは、R の冪等元からなる部分集合 E(つまり E の各元 e は e = e を満たす)で、E は直交系(つまり E の二元 e, f が e ≠ f ならば ef = 0)かつ R = ⨁ e ∈ E e R = ⨁ e ∈ E R e {\displaystyle R=\bigoplus _{e\in E}eR=\bigoplus _{e\in E}Re} となるようなものが取れることを言う。