Relator exponent-sum matrix
= Relator exponent-sum matrix
For a finite <group presentation>, the relator exponent-sum matrix records in row $i$ the total exponent of each generator in relator $r_i$. It presents the <abelianization> of the group. For a balanced presentation of a <perfect group>, it is a <unimodular matrix>.