左理想

在非交换环 中，左理想是子集 ，它是 的加法子群，并且对于所有 和所有 ，有

R 的左理想可以被描述为 R 的相反环的右理想。

在交换环中，右理想和左理想的概念是一致的。