イデアル (環論)
加群として有限生成なイデアル。