Nonsingular systems of equations over arbitrary groups

Formal proof listed 2 papers September 24, 2026
What the paper claims, in its own words

Proves that every finite system of equations over an arbitrary group whose exponent-sum matrix has full row rank over ℚ has a simultaneous solution in an overgroup, resolving Howie's conjecture. The coefficient group embeds in the presented quotient. A companion proves Kervaire's conjecture: adjoining one generator and one relation cannot trivialize a nontrivial group.

The plain-language explainer for this entry is still coming.

The original papers (2)