Unit equations on quaternions

Yifeng Huang

A classical result about unit equations says that if ${\Gamma }_1$ and ${\Gamma }_2$ are finitely generated subgroups of ${\mathbb{C}}^{\times }$, then the equation $x+y=1$ has only finitely many soluti…