The extension-monad conjecture for rings and their additive reducts

Let RR be a ring and let its additive reduct be the algebra obtained by retaining the additive operation and forgetting multiplication. Write the corresponding extension monads for these two structures as extension monads of RR and of its additive reduct.

Extension-monad conjecture. The extension monad of a ring has the same underlying set as the extension monad of its additive reduct.

This conjectural property is motivated by the behavior of the extension monad of the ring of integers and is suggested as a possible principle extending to dibinary distributive algebras. The supplied text does not state whether the conjecture has been resolved.

Sources & referencesView supporting material

Primary source

Danielle Bowerman and Matt Insall, “Extension Monads: Some Structure Theorems”, arXiv:2508.05828 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.