Consecutive Realization of Finite Abelian Quotient Chains by Binary Matrices

This preprint proves that every finite chain of surjections of finite abelian groups ending in the trivial group can be realized, including every transition map, by the quotients of an integer kernel by its bounded relations at consecutive integer radii. The realizing matrix has zero-on