Submission date: 10 March 2016

Abstract:

We show that the common theory of all modules over a canonical algebra of tubular type (over a recursively given algebraically closed field) is decidable. This result supports a long standing conjecture of Mike Prest which says that a finite-dimensional algebra (over a recursively given field) is tame if and only its common theory of modules is decidable. These are the first examples of non-domestic algebras which have been shown to have decidable theory of modules.

Mathematics Subject Classification: 03C60, 16G60, 03D35, 16G60, 16D90

Keywords and phrases:

Full text arXiv 1603.03284: pdf, ps.