Algebraic addition concerning the Siegel theorem on the linearization of holomorphic mapping (Q1358209)

The theorem on the fulfillment of the famous diophantine inequality -- that is the condition of applicability of the Siegel theorem on linearization of the holomorphic mapping \(\mathbb{C}^n\to \mathbb{C}^n\) in the neighbourhood of a non-resonant fixed point -- is proved for the set of eigenvalues belonging to the algebraic number field \(A\). The proof is based on the Baker-Feldman theorem about evaluation of linear forms of logarithms of algebraic numbers.