Commutative algebraic groups and p-adic linear forms
Let G be a commutative algebraic group defined over a number field K that is disjoint over K from and satisfies the condition of semistability. Consider a linear form l on the Lie algebra of G with algebraic coefficients and an algebraic point u in a p-adic neighbourhood of the origin with the condition that l does not vanish at u. We give a lower bound for the p-adic absolute value of l(u) which depends up to an effectively computable constant only on the height of the linear form, the height...