This is the authors' abstract. We don't add key points for this paper.
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.
Answers are grounded in this paper and cite their sources.
No takes yet. Share an insight, caveat, or question.
László Babai (1985) studied this question.
Synapse has enriched 8 closely related papers on similar clinical questions. Consider them for comparative context: