Talk:Principal ideal

From Wikipedia, the free encyclopedia

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.

The discussion on Talk:ideal class group seems to indicate that the ideal class group cannot be defined for all integral domains, only for Dedekind domains. AxelBoldt 00:58 Dec 1, 2002 (UTC)