No label defined (Q4548032)

The authors consider the linearization of analytic diffeomorphic germs in complex commutative unital Banach algebras. This is a generalization of the complex case due to H. Poincaré. Let \(U\) and \(V\) be open neighbourhoods of zero in such an algebra \(A\). A bianalytic mapping \(f\) from \(U\) onto \(V\) with \(f(0)=0\) is called linearizable at zero if there is a bianalytic mapping \(h\) between neighbourhoods of zero fixing zero such that \(h' (0)=\text{ Id}_A\) and \(f \circ h = h \circ \text{ R}_a\) holds locally at zero, where \(a\) is the coefficient \(a_1\) in \(\sum_{n=1}^\infty a_n x^n\) of power series expansion of \(f\) and the rotation \(\text{ R}_a\) is defined by \(\text{ R}_a (x) = ax\). The authors show the relations between the general algebra case and the scalar case (\(A={\mathbb C}\)) using characters of the algebra and give sufficient conditions concerning the coefficient \(a\) for the linearizability of \(f\) at zero, whereas the spectrum of \(a\) is here the crucial point. The proofs include several misprints and mistakes.