主イデアル(英: principal ideal)、あるいは単項イデアルとは、環 R の単一の元 a により生成された R のイデアル I のことを言う。(要するに、単元生成されたイデアルを主イデアルと言う。)