|WikiProject Mathematics||(Rated Start-class, Mid-priority)|
I moved this here:
- It becomes natural to ask of any integral domain R "how many" ideals are not principal, or "how far" R is from being a PID.
The ideal class group is a construction which answers this question in a more or less precise sense. It can be defined for any integral domain.