On the Identity Problem for the Special Linear Group and the Heisenberg Group


We study the identity problem for matrices, i.e., whether the identity matrix is in a semigroup generated by a given set of generators. In particular we consider the identity problem for the Special Linear Group following recent NP-completeness result for SL(2,Z) and the undecidability for SL(4,Z) generated by 48 matrices. In the seminal paper of Paterson… (More)


4 Figures and Tables

Slides referencing similar topics