Approximation sequences and derived equivalences occur frequently in the research of mutation of tilting objects in representation theory, algebraic geometry and noncommutative geometry. In this paper, we introduce symmetric approximation sequences in additive categories and weakly n-angulated categories which include (higher) Auslander-Reiten sequences (triangles) and mutation sequences in algebra and geometry, and show that such sequences always give rise to derived equivalences between the quotient rings of endomorphism rings of objects in the sequences modulo some ghost and coghost ideals.

We prove that for every uncountable cardinal κ such that κ<κ = κ, the quasi-order of embeddability on the κ-space of κ-sized graphs Borel reduces to the embeddability on the κ-space of κ-sized torsion-free abelian groups. Then we use the same techniques to prove that the former Borel reduces to the embeddability relation on the κ-space of κ-sized R-modules, for every $\mathbb{S}$-cotorsion-free ring R of cardinality less than the continuum. As a consequence we get that all the previous are complete $\Sigma _1^1$ quasi-orders.

let $r$ be a ring and $t$ a 1-tilting right $r$-module. then $t$ is of countable type. moreover, $t$ is of finite type in the case where $r$ is a prüfer domain.

The article studies the class of abelian groups G such that in every direct sum decomposition G = A ⊕ B, A is 5-projective. Such groups are called pds groups and they properly include the quasi-projective groups.

The pds torsion groups are fully determined.

The torsion-free case depends on a lemma that establishes freedom in the non-indecomposable case for several classes of groups. There is evidence suggesting freedom in the general reduced torsion-free case but this is not established and prompts a logical discussion. It is shown, for example, that pds torsion-free groups must be Whitehead if they are not indecomposable, but that there exists Whitehead groups that are not pds if there exist non-free Whitehead groups.

The mixed case is characterized and examples are given.