Related papers: $\mathcal{P}_1$-covers over commutative rings
Let $R$ be a ring with unity and $\mathcal{X}$ a semibrick in the module category $\mathrm{Mod}\,R$, that is, a class of pairwise orthogonal finitely presented modules whose endomorphism rings are division rings. We study the full…
For four wide classes of topological rings $\mathfrak R$, we show that all flat left $\mathfrak R$-contramodules have projective covers if and only if all flat left $\mathfrak R$-contramodules are projective if and only if all left…
We offer a solution to the long-standing problem of group completing within the context of rig categories (also known as bimonoidal categories). Given a rig category R we construct a natural additive group completion R' that retains the…
Let $R$ be a right and left Ore ring, $S$ its set of regular elements and $Q = R[S^{-1}] = [S^{-1}] R$ the classical ring of quotients of $R$. We prove that if F.dim$(Q_Q) = 0$, then the following conditions are equivalent: $(i)$ Flat right…
This paper studies the multiplicative ideal structure of commutative rings in which every finitely generated ideal is quasi-projective. Section 2 provides some preliminaries on quasi-projective modules over commutative rings. Section 3…
For a tuple $A=(A_1,\ A_2,\ ...,\ A_n)$ of elements in a unital algebra ${\mathcal B}$ over $\mathbb{C}$, its {\em projective spectrum} $P(A)$ or $p(A)$ is the collection of $z\in \mathbb{C}^n$, or respectively $z\in \mathbb{P}^{n-1}$ such…
Let R be a commutative ring with identity and S a multiplicative subset of R. The aim of this paper is to study the class of commutative rings in which every S-flat module is flat (resp., projective). An R-module M is said to be S-flat if…
A classical problem in the literature seeks the minimal number of proper subgroups whose union is a given finite group. A different question, with applications to error-correcting codes and graph colorings, involves covering vector spaces…
We prove that the class of Gorenstein injective modules is both enveloping and covering over a two sided noetherian ring such that the character modules of Gorenstein injective modules are Gorenstein flat. In the second part of the paper we…
We study the interplay between the notions of $n$-coherent rings and finitely $n$-presented modules, and also study the relative homological algebra associated to them. We show that the $n$-coherency of a ring is equivalent to the thickness…
Let $R$ be a commutative ring and $M$ a non-zero $R$-module. We introduce the class of \emph{pseudo strongly hollow submodules} (\emph{PS-hollow submodules}, for short) of $M$. Inspired by the theory of modules with \emph{secondary…
I shall describe a general model-theoretic task to construct expansions of pseudofinite structures and discuss several examples of particular relevance to computational complexity. Then I will present one specific situation where finding a…
Let $R$ be any associative ring with unity and $\mathcal{X}$ be a class of $R$-modules of closed under direct sum (and summands) and with extension closed. We prove that every complex has an $C(\mathcal{X^{*}})$-cover…
We introduce the notions of a commutative square ring $R$ and of a quadratic map between modules over $R$, called $R$-quadratic map. This notion generalizes various notions of quadratic maps between algebraic objects in the literature. We…
Let $\text{X}$ denote a projective variety over an algebraically closed field on which a linear algebraic group acts with finitely many orbits. Then, a conjecture of Soergel and Lunts in the setting of Koszul duality and Langlands'…
We give a general framework of equivariant model category theory. Our groups G, called Hopf groups, are suitably defined group objects in any well-behaved symmetric monoidal category V. For any V, a discrete group G gives a Hopf group,…
Let $R$ and $S$ be any rings and $_RC_S$ a semidualizing bimodule, and let $\mathcal{A}_C(R^{op})$ and $\mathcal{B}_C(R)$ be the Auslander and Bass classes respectively. Then both the pairs $$(\mathcal{A}_C(R^{op}),\mathcal{B}_C(R))\ {\rm…
This paper is a sequel to a paper by the same authors, where they defined $K$-groups of model-theoretic structures, and computed $K_1$ of free modules over PIDs. In this paper, we compute $K_1$ of a right $M_q(R)$-module $M$, where $R$ is a…
Denote by $M(P)$ the configuration space of a planar polygonal linkage, that is, the space of all possible planar configurations modulo congruences, including configurations with self-intersections. A particular interest attracts its subset…
Let $k$ be a commutative ring, $H$ a faithfully flat Hopf algebra with bijective antipode, $A$ a $k$-flat right $H$-comodule algebra. We investigate when a relative Hopf module is projective over the subring of coinvariants $B=A^{{\rm…