Related papers: Salce's problem on cotorsion pairs is undecidable

We study the class of rings $R$ for which every direct sum of injective $R$-modules is cotorsion. We call them weakly $\Sigma$-cotorsion rings. The defining property might be seen as the dual of Chase's characterization of coherence in…

Feder-Vardi conjecture, which proposed that every finite-domain Constraint Satisfaction Problem (CSP) is either in P or it is NP-complete, has been solved independently by Bulatov and Zhuk almost ten years ago. Bodirsky-Pinsker conjecture…

In this paper, we are interested in a class of modules partaking in the hierarchy of injective and cotorsion modules, so-called Harmanci injective modules, which turn out by the motivation of relations among the concepts of injectivity,…

Vortices represent a class of topological solitons arising in gauge theories coupled with complex scalar fields, holding significant importance across various domains of modern physics. In this paper we establish the existence of vortex…

Let (A,\lambda) be a principally polarized abelian variety defined over a global field k, and let \Sha(A) be its Shafarevich-Tate group. Let \Sha(A)_\nd denote the quotient of \Sha(A) by its maximal divisible subgroup. Cassels and Tate…

Recently, Paolini and Shelah have constructed absolutely Hopfian torsion-free abelian groups of any given size. In contrast, we show that this is not necessarily the case for absolutely co-Hopfian groups. We use the infinitary logic to show…

Consistent splitting schemes are among the most accurate pressure segregation methods, incurring no splitting errors or spurious boundary conditions. Nevertheless, their theoretical properties are not yet fully understood, especially when…

All groups are 2-generator. For any prime-power q, Theorem 1 constructs a solvable matrix group over a quotient of a Laurent polynomial ring. This group is closely related to a group of exponent q as shown in Theorems 2 & 3 . Theorem 4 in…

A {\em vortex pair} solution of the incompressible $2d$ Euler equation in vorticity form $$ \omega_t + \nabla^\perp \Psi\cdot \nabla \omega = 0 , \quad \Psi = (-\Delta)^{-1} \omega, \quad \hbox{in } \mathbb{R}^2 \times (0,\infty)$$ is a…

Given k similarity classes of invertible matrices, the Deligne-Simpson problem asks to determine whether or not one can find matrices in these classes whose product is the identity and with no common invariant subspace. The first author…

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…

In this work we investigate the computational complexity of the satisfiability problem of sub-fragments of the Bernays-Schoenfinkel class of first-order logic, also known as EPR (Effectively Propositional). While Bernays-Schoenfinkel is…

The complete point symmetry group of the barotropic vorticity equation on the sphere is determined. The method we use relies on the invariance of megaideals of the maximal Lie invariance algebra of a system of differential equations under…

A group is called square-like if it is universally equivalent to its direct square. It is known that the class of all square-like groups admits an explicit first order axiomatization but its theory is undecidable. We prove that the theory…

Faltings showed that "arithmetic Kodaira--Spencer classes" satisfying a certain compatibility axiom cannot exist. By modifying his definitions slightly, we show that the Deligne--Illusie classes satisfy what could be considered an…

We investigate the non-elementary computational complexity of a family of substructural logics without contraction. With the aid of the technique pioneered by Lazi\'c and Schmitz (2015), we show that the deducibility problem for full Lambek…

Let $k$ be a field and consider the path algebra $kQ$ of the quiver $Q$. A pair of indecomposable $kQ$-modules $(Y,X)$ is called an orthogonal exceptional pair if the modules are exceptional and…

There has been a long-standing question about whether being perfectoid for an algebra is local in the analytic topology. We provide affirmative answers for the algebras (e.g., over $\overline{\mathbb{Z}_p}$) whose spectra are inverse limits…

Sofic entropy is an invariant for probability-preserving actions of sofic groups. It was introduced a few years ago by Lewis Bowen, and shown to extend the classical Kolmogorov-Sinai entropy from the setting of amenable groups. Some parts…

We generalize a classical reciprocity law due to R\'edei using our recently developed description of the $2$-torsion of class groups of multiquadratic fields. This result is then used to prove a variety of new reflection principles for…