左理想

在非交換環 中，左理想是子集 ，它是 的加法子群，並且對於所有 和所有 ，有

R 的左理想可以被描述為 R 的相反環的右理想。

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