Decidability of theories of modules over tubular algebras

DOI10.1112/PLMS.12403MaRDI QIDQ5021669zbMATH OpenOpenAlexFDO

Authors Lorna Gregory

Publication date 13 January 2022

Published in Proceedings of the London Mathematical Society (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1603.03284

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Undecidability and degrees of sets of sentences (03D35) Module categories in associative algebras (16D90) Representation type (finite, tame, wild, etc.) of associative algebras (16G60)

Abstract: We show that the common theory of all modules over a tubular algebra (over a recursive 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. Moreover, as a corollary, we are able to confirm this conjecture for the class of concealed canonical algebras over algebraically closed fields. These are the first examples of non-domestic algebras which have been shown to have decidable theory of modules.

Recommendations

• scientific article; zbMATH DE number 3989332
• scientific article; zbMATH DE number 510790
• Decidability of the theory of modules over Prüfer domains with infinite residue fields
• scientific article; zbMATH DE number 1064599
• Wild representation type and undecidability

Cited in

(6)

• scientific article; zbMATH DE number 3989332 (Why is no real title available?)
• Wild representation type and undecidability
• scientific article; zbMATH DE number 554989 (Why is no real title available?)
• scientific article; zbMATH DE number 1064599 (Why is no real title available?)
• DECIDABILITY FOR THEORIES OF MODULES OVER VALUATION DOMAINS
• Strictly atomic modules in definable categories

This page was built for publication: Decidability of theories of modules over tubular algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5021669)