Analytic subgroup theorem

In mathematics, the analytic subgroup theorem is a significant result in modern transcendental number theory. It may be seen as a generalisation of Baker's theorem on linear forms in logarithms.

Source: Wikipedia — Analytic subgroup theorem (CC BY-SA 4.0)