相伴素理想(associated prime ideal)是一种特殊的素理想。包含给定准素理想的最小素理想。准素理想是一种特殊的理想。理想论中理想分解的基础。素理想是一类特殊理想。它是整数环中素数生成理想的推广。