Source authenticated
Kourovka Problem 20.125 - Noninjective Rota-Baxter Operator
Can a nonabelian group admit a Rota-Baxter operator that is surjective but not injective? A construction shows yes.
Exact FrontierDelta
Prior state unknown→proved
Scope and record
Occurred: Jul 20, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: lean-verified. Publication: preprint. AI contribution: ai-discovered. Imported under CC BY 4.0.
Canonical aliases: Kourovka Problem 20.125 - Noninjective Rota-Baxter Operator · Kourovka 20.125
Confidence: Not scored
Registry verification: lean verified · preprint · resolved
Lineage and corrections
This event attributed to Aristotle