arXiv subjects
Publications and source records attributed to Gena Puninski.
We provide algebraic conditions ensuring the decidability of the theory of modules over effectively given Prüfer (in particular Bézout) domains with infinite residue fields in terms of a suitable generalization of the prime radical relation. For Bézout domains these conditions are also necessary.
In this paper we prove that the Ziegler spectra of all serial rings are sober. We then use this proof to give a general framework for computing and understanding Ziegler spectra of uniserial rings up to topological indistinguishability. Finally, we illustrate this technique by computing the Ziegler spectra of all rank one uniserial domains up to topological indistinguishability.
We will describe the Ziegler spectrum of the ring of entire complex valued functions
We make a list of finite simple groups whose group rings over a given field are serial.
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 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 prove that the theory of all modules over the ring of algebraic integers is decidable.
We classify indecomposable pure injective modules over domestic string algebras, verifying Ringel's conjecture on the structure of such 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 show that a strong form (the fully faithful version) of the generating hypothesis, introduced by Freyd in algebraic topology, holds in the derived category of a ring R if and only if R is von Neumann regular. This extends results of the second author. We also characterize rings for which the original form (the faithful version) of the generating hypothesis holds in the derived category of R. These must be close to von Neumann regular in a precise sense, and, given any of a number of finiteness hypotheses, must be von Neumann regular. However, we construct an example of such a ring that is not von Neumann regular, and therefore does not satisfy the strong form of the generating hypothesis.
We prove that every non-finitely generated projective module over the integral group ring of a polycyclic-by-finite group G is free if and only if G is polycyclic.