"r" が、formula_8がa.c.c.を満たし "r""r" が有限のユニフォーム次元をもつような環であれば、"r" は左と呼ばれる。