Relation With The Group of Units
It was remarked above that the ideal class group provides part of the answer to the question of how much ideals in a Dedekind domain behave like elements. The other part of the answer is provided by the multiplicative group of units of the Dedekind domain, since passage from principal ideals to their generators requires the use of units (and this is the rest of the reason for introducing the concept of fractional ideal, as well):
Define a map from K× to the set of all nonzero fractional ideals of R by sending every element to the principal (fractional) ideal it generates. This is a group homomorphism; its kernel is the group of units of R, and its cokernel is the ideal class group of R. The failure of these groups to be trivial is a measure of the failure of the map to be an isomorphism: that is the failure of ideals to act like ring elements, that is to say, like numbers.
Read more about this topic: Ideal Class Group
Famous quotes containing the words relation, group and/or units:
“Any relation to the land, the habit of tilling it, or mining it, or even hunting on it, generates the feeling of patriotism. He who keeps shop on it, or he who merely uses it as a support to his desk and ledger, or to his manufactory, values it less.”
—Ralph Waldo Emerson (1803–1882)
“Laughing at someone else is an excellent way of learning how to laugh at oneself; and questioning what seem to be the absurd beliefs of another group is a good way of recognizing the potential absurdity of many of one’s own cherished beliefs.”
—Gore Vidal (b. 1925)
“Even in harmonious families there is this double life: the group life, which is the one we can observe in our neighbour’s household, and, underneath, another—secret and passionate and intense—which is the real life that stamps the faces and gives character to the voices of our friends. Always in his mind each member of these social units is escaping, running away, trying to break the net which circumstances and his own affections have woven about him.”
—Willa Cather (1873–1947)