Let $G$ be an algebraic group over a field of characteristic $0$, $A$ an analytic (or formal) subgroup of $G$ and $V$ an algebraic subvariety of $G$. Ax proved that if the intersection of $A$ and $V$ is Zariski dense in $V$, then $A$ and $V$ tend to be in general position. I will discuss a theorem involving formal maps which implies Ax's theorem and also covers some cases in the positive characteristic situation.
Links:
[1] https://www.mpim-bonn.mpg.de/taxonomy/term/39
[2] https://www.mpim-bonn.mpg.de/node/3444
[3] https://www.mpim-bonn.mpg.de/node/4066