A THEOREM ON MATRIX GROUPS

Abstract

Let K be a principal ideal domain, and An, with n ≥ 3, be a finitely generated torsion-free abelian group of rank n. Let Ω be a finite subset of KAn\{0} and U(KAn) the group of units of KAn. For a multiplicative monoid P generated by U(KAn) and Ω, we prove that any generating set for [Formula: see text] contains infinitely many elements not in [Formula: see text]. Furthermore, we present a way of constructing elements of [Formula: see text] not in [Formula: see text] for n ≥ 3. In the case where K is not a field the aforementioned results hold for n ≥ 2.