可逆理想(invertible ideal)一种特殊的分式理想。

定义

可逆理想(invertible ideal)一种特殊的分式理想.它是类比于可逆元而命名的.设K是整环R的商域(即分式域),X是R的非零分式理想.若X-‘一yEKyXCR=(R:X)，则X-’也是分式理想，称为X的逆理想.XX-' _X-'XCR，但一般XX-1并R.若XX-'=R成立，则称X为可逆理想.