ParentFull threadocfnash·Ah yes, but it is the generalisation to _fractional_ ideals that is required to obtain the ideal class group.View on HN