On the decidability of the theory of modules over the ring of algebraic integers
We prove that the theory of all modules over the ring of algebraic integers is decidable.
Discover
Research tools
Network
Opportunities
Account
Source author record
Gena Puninski appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We prove that the theory of all modules over the ring of algebraic integers is decidable.
We describe the Cohen-Macaulay part of the Ziegler spectrum and calculate Ringel's quilt of the category of finitely generated Cohen--Macaulay modules over the A-infinity plane singularity.
We will describe the Cohen--Macaulay part of the Ziegler spectrum of the D-infinity plane singularity S and calculate the nilpotency index of the radical of the category of finitely generated Cohen--Macaulay S-modules.
We calculate, confirming a conjecture of Schröer, the Krull-Gabriel dimension of the category of modules over any domestic string algebra, as well as the Cantor-Bendixson rank of each point of its Ziegler spectrum. We also determine the topology on this space.
We classify indecomposable pure injective modules over domestic string algebras, verifying Ringel's conjecture on the structure of such modules.