Abelian group
아벨 군 formula_10의 (정수환 위의 가군으로서의) 크룰 차원은 다음과 같다.