Key points are not available for this paper at this time.
In a previous paper BS we proved, using the elements of the theory of nilpotent groups, that some of the fundamental computational problems in matriz groups belong to NP. These problems were also shown to belong to coNP, assuming an unproven hypothesis concerning finite simple groups.
László Babai (1985) studied this question.