The extension-monad conjecture for rings and their additive reducts
The extension-monad conjecture for rings and their additive reducts
Let 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 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
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.