Mathematicians have long studied a question first raised by Reinhold Baer: given an arbitrary ring, can you always find an abelian group whose endomorphism ring (the collection of all structure-preserving maps from the group to itself) is exactly that ring? This is surprisingly difficult because abelian groups tend to have many unwanted endomorphisms that are hard to get rid of. The challenge becomes even harder when you additionally require the group to be "almost free," meaning it locally looks like a free group even though it isn't globally free. This paper investigates how far you can push this construction while keeping the group almost free.
Previous work on this problem relied on extra set-theoretic assumptions beyond the standard axioms of mathematics (ZFC), such as combinatorial principles called the diamond or strong black boxes. These are powerful but optional tools that mathematicians sometimes add to get results that seem otherwise out of reach. The main achievement of this paper is that the authors manage to carry out the construction using only standard set theory, provided a mild condition on the sizes of infinite sets holds. Specifically, they show that for a certain type of very large infinite cardinal, and for a broad family of rings called cotorsion-free rings, you can build an almost free module whose endomorphism ring is precisely the ring you started with.
The technical breakthrough comes from combining two sophisticated tools: a structural framework called a kappa-frame, which helps organize the building blocks of the group, and a result known as Shelah's Super Black Box, which is a combinatorial device for ruling out unwanted maps. By weaving these together carefully, the authors manage a delicate balancing act, eliminating all the extra endomorphisms they do not want while keeping the freeness properties they do want intact. This substantially advances a well-known open problem posed by Gobel and Trlifaj in the area of infinite combinatorial algebra.