Study the Domains of Infinite Algorithms of Calculation of Nilpotent Matrix Groups

Abstract

We design algorithms for nilpotent groups using the methods we describe for computing with matrix groups defined over a variety of infinite domains. In particular, we present an efficient approach for checking the nilpotency of matrix groups over an infinite field. For a given nilpotent matrix group, we also propose techniques that resolve a number of related structural concerns.