The Identity Problem in nilpotent groups of bounded class

Let G be a unitriangular matrix group of nilpotency class at most ten. We show that the Identity Problem (does a semigroup contain the identity matrix?) and the Group Problem (is a semigroup a group?) are decidable in polynomial time for finitely generated subsemigroups of G. Our decidability result...

Ամբողջական նկարագրություն

Մատենագիտական մանրամասներ
Հիմնական հեղինակ: Dong, R
Ձևաչափ: Conference item
Լեզու:English
Հրապարակվել է: Society for Industrial and Applied Mathematics 2024