Source author record

Pavel Prihoda

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.RA math.CT math.KT math.RT

Catalog footprint

Research overview

4works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Closure properties of $\varinjlim\mathcal C$

Let $\mathcal C$ be a class of modules and $\mathcal L = \varinjlim \mathcal C$ the class of all direct limits of modules from $\mathcal C$ . The class $\mathcal L$ is well understood when $\mathcal C$ consists of finitely presented modules: $\mathcal L$ then enjoys various closure properties. We study the closure properties of $\mathcal L$ in the general case when $\mathcal C \subseteq \mathrm{Mod-}R$ is arbitrary. Then we concentrate on two important particular cases, when $\mathcal C = \operatorname{add} M$ and $\mathcal C = \operatorname{Add} M$ , for an arbitrary module $M$ . In the first case, we prove that $\varinjlim \operatorname{add} M = \{ N \in \mathrm{Mod-} R \mid \exists F \in \mathcal F_S: N \cong F \otimes_S M \}$ where $S = \operatorname{End} M$ , and $\mathcal F_S$ is the class of all flat right $S$ -modules. In the second case, $\varinjlim \operatorname{Add} M = \{ \mathfrak F \odot _{\mathfrak S} M \mid \mathfrak F \in \mathcal F_{\mathfrak S} \}$ where $\mathfrak S$ is the endomorphism ring of $M$ endowed with the finite topology, $\mathcal F_{\mathfrak S}$ is the class of all right $\mathfrak S$ -contramodules that are direct limits of direct systems of projective right $\mathfrak S$ -contramodules, and $\odot_{\mathfrak S}$ denotes the contratensor product. For various classes of modules $\mathcal D$ , we show that if $M \in \mathcal D$ then $\varinjlim \operatorname{add} M = \varinjlim \operatorname{Add} M$ (e.g., when $\mathcal D$ consists of pure projective modules), but the equality for an arbitrary module $M$ remains open. Finally, we deal with the question of whether $\varinjlim \operatorname{Add} M = \widetilde{\operatorname{Add} M}$ where $\widetilde{\operatorname{Add} M}$ is the class of all pure epimorphic images of direct sums of copies of a module $M$ . We show that the answer is positive in several particular cases, but it is negative in general.

preprint2020arXiv

Covering classes and uniserial modules

We apply minimal weakly generating sets to study the existence of Add $(U_R)$ -covers for a uniserial module $U_R$ . If $U_R$ is a uniserial right module over a ring $R$ , then $S:=$ End $(U_R)$ has at most two maximal (right, left, two-sided) ideals: one is the set $I$ of all endomorphisms that are not injective, and the other is the set $K$ of all endomorphisms of $U_R$ that are not surjective. We prove that if $U_R$ is either finitely generated, or artinian, or $I \subset K$ , then the class Add $(U_R)$ is covering if and only if it is closed under direct limit. Moreover, we study endomorphism rings of artinian uniserial modules giving several examples.

preprint2013arXiv

Reconstructing projective modules from its trace ideal

We make a detailed study of idempotent ideals that are traces of countably generated projective right modules. We associate to such ideals an ascending chain of finitely generated left ideals and, dually, a descending chain of cofinitely generated right ideals. The study of the first sequence allows us to characterize trace ideals of projective modules and to show that projective modules can always be lifted modulo the trace ideal of a projective module. As a consequence we give some new classification results of (countably generated) projective modules over particular classes of semilocal rings. The study of the second sequence leads us to consider projective modules over noetherian FCR-algebras; we make some constructions of non-trivial projective modules showing that over such rings the behavior of countably generated projective modules that are not direct sum of finitely generated ones is, in general, quite complex.

preprint2011arXiv

Infinitely generated projective modules over pullbacks of rings

We use pullbacks of rings to realize the submonoids $M$ of $(\N_0\cup\{\infty\})^k$ which are the set of solutions of a finite system of linear diophantine inequalities as the monoid of isomorphism classes of countably generated projective right $R$ -modules over a suitable semilocal ring. For these rings, the behavior of countably generated projective left $R$ -modules is determined by the monoid $D(M)$ defined by reversing the inequalities determining the monoid $M$ . These two monoids are not isomorphic in general. As a consequence of our results we show that there are semilocal rings such that all its projective right modules are free but this fails for projective left modules. This answers in the negative a question posed by Fuller and Shutters \cite{FS}. We also provide a rich variety of examples of semilocal rings having non finitely generated projective modules that are finitely generated modulo the Jacobson radical.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Pavel Prihoda

Research overview

Is this your work?

4 publications

Closure properties of $\varinjlim\mathcal C$

Covering classes and uniserial modules

Reconstructing projective modules from its trace ideal

Infinitely generated projective modules over pullbacks of rings

See the researcher in context

Building this map preview

Pavel Prihoda

Research overview

Is this your work?

4 publications

Closure properties of lim→⁡C\varinjlim\mathcal Clim​C

Covering classes and uniserial modules

Reconstructing projective modules from its trace ideal

Infinitely generated projective modules over pullbacks of rings

See the researcher in context

Building this map preview

Closure properties of $\varinjlim\mathcal C$