---
tag: 0SVYSP8HCG
kind: concept
name: Principal ideal
msc: [13A15]
sources:
  - url: https://en.wikipedia.org/wiki/Principal_ideal
    locator: lead section
same_as:
  wikidata: Q44382
  wikipedia: Principal ideal
---

## Summary

A principal ideal is an ideal generated by a single element.
In a commutative ring, it is the set of the multiples of that element.
The [[definition of a principal ideal|00A2EDFT9Q]] gives the details.