Noncommutative algebraic geometry, I: Monomial equations with a single variable

This paper is the first in a sequence on the structure of sets of solutions to systems of equations over a free associative algebra. We start by constructing a Makanin-Razborov diagram that encodes all the homogeneous solutions to a homogeneous system of equations. Then we analyze the set of solutions to monomial systems of equations with a single variable.