7 的非零分式理想构成之交换群，再考虑它对主分式理想 formula_8 之商，由此得到的对象自然同构于理想类群。
例子.考虑二次域 formula_13。考虑理想易证此非主理想，因此理想类群非零。事实上，其理想类群是二阶循环群。