Abelian group
여기서 formula_38는 아벨 군 층의 단면군을 뜻한다.