Abelian progression (source code)

= Abelian progression

An abelian progression is a <generalized arithmetic progression> inside an <abelian group>. It is the image of an integer box under a <group homomorphism>.