Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with algebraic-groups
Search options not deleted
user 109743
Algebraic varieties with group operations given by morphisms, or group objects in the category of algebraic varieties, the category of algebraic schemes, or closely related categories.
4
votes
Is Zariski closure of finitely generated matrix semigroup computable?
This problem has been solved (the answer is 'yes') in the paper "Polynomial Invariants for Affine Programs", by Ehud Hrushovski, Joël Ouaknine, Amaury Pouly, and James Worrell, published in the Procee …
- 163
10
votes
1
answer
350
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 matrice …
- 163