아벨 군
임의의 유한 아벨 군 formula_1에 대하여, 그 지표군