← Back to arXiv
arXivNumber TheoryarXiv:2607.28857

Multiplicative dependence in the sumset of multiplicative groups

The paper studies a question about algebraic numbers that belong to special sets called finitely generated multiplicative groups. These are collections of numbers that can be built by multiplying together finitely many fixed algebraic numbers in any combination. The paper looks at what happens when you form sums by taking one element from each of two such groups, and asks when two or more of these sums can be "multiplicatively dependent," meaning some product of powers of them equals one. This is a question about unexpected arithmetic coincidences between these sums.

The main result says that, with only finitely many exceptions, if you take two such sums and they turn out to be multiplicatively dependent, then the relationship is trivially explained: the ratios between the corresponding pieces must be roots of unity, which are the simplest possible algebraic numbers of that type. In other words, there are no surprising or deep multiplicative relationships between these sums beyond what you would expect from the most elementary structure. The result holds under the condition that the two groups share only a finite set of common elements.

The paper then pushes further and asks what happens when three or more such sums are simultaneously multiplicatively dependent. For three sums, the authors give a complete classification of all the ways this can happen, assuming a well-known open conjecture in number theory called the abc conjecture. This conjecture relates the sizes of numbers in the equation a plus b equals c and is one of the central unresolved problems in the field. The results fit into a broader program of understanding when algebraic numbers in structured sets can satisfy unexpected multiplicative relations, a topic with connections to diophantine geometry and transcendence theory.

Read original →