Skip to main content

All Questions

Filter by
Sorted by
Tagged with
10 votes
1 answer
355 views

Is Zariski closure of finitely generated matrix semigroup computable?

In general, can the Zariski closure of the semigroup of matrices $\langle M_1, \ldots, M_k \rangle$ be algorithmically computed (at least in theory)? For this purpose I'm happy to assume the ...
Joël Ouaknine's user avatar