×

Über ein Problem von J. Schwaiger und Z. Moszner betreffend die Vertauschbarkeit von einparametrigen Automorphismengruppen formaler Potenzreihenringe. (On a problem of J. Schwaiger and Z. Moszner concerning the commutativity of one-parameter groups of automorphisms of rings of formal power series). (German) Zbl 0689.39007

The following question has some interest: Let \(\phi\) and \(\psi\) be two homomorphisms of groups defined on \({\mathbb{R}}\) or \({\mathbb{C}}\) with values in some group G. Suppose that \(\phi(t)\) commutes with \(\psi(t)\) for all t. Is it then true, that \(\phi(t)\) commutes with \(\psi\) (s) for all s and t? In this paper the case is considered that G is the group Aut\(({\mathbb{C}}[[X]])\) of order preserving automorphisms of the ring of formal power series in one indeterminate. It is shown that the answer to the question above is affirmative; moreover all possible cases are characterized in the following.
Theorem: Let \((F_ t)_{t\in {\mathbb{C}}}\) and \((G_ t)_{t\in {\mathbb{C}}}\) be two one-parameter subgroups of Aut\(({\mathbb{C}}[[X]])\). Then \(F_ t\circ G_ t=G_ t\circ F_ t\) for all t if and only if either there is some T such that \(T^{-1}\circ F_ t\circ T\) and \(T^{-1}\circ G_ t\circ T\) are of the form u(t)X and v(t)X resp. or both subgroups have linear part 1 (i.e. \(F_ t=X+...,G_ t=X+...)\) and one of them, say \((F_ t)_{t\in {\mathbb{C}}}\), is non trivial and furthermore there is some \(t_ 0\) such that \((G_ t)_{t\in {\mathbb{C}}}\) is a subgroup of the analytic iteration group generated by \(F_{t_ 0}\neq id\). In both cases \(F_ t\) and \(G_ s\) commute for all s and t.
It is worthwhile to note, that there are examples where the answer to the question is negative; especially there are examples, which imply that the answer is negative for Aut\(({\mathbb{C}}[[ X_ 1,X_ 2,...,X_ n]]\) with \(n\geq 4\). The cases \(n=2,3\) are unsolved.
Reviewer: J.Schwaiger

MSC:

39B52 Functional equations for functions with more general domains and/or ranges
20B27 Infinite automorphism groups
30D05 Functional equations in the complex plane, iteration and composition of analytic functions of one complex variable

Citations:

Zbl 0611.39005
PDFBibTeX XMLCite
Full Text: DOI EuDML

References:

[1] Leszczyńska, Z. andMoszner, Z.,Sur la commutativité des homormorphismes des valeurs matricielles. \.Zeszyty Nauk. Politech. BiaŁostock.10 (1986), 1–120.
[2] Moszner, Z.,Sur un problème au sujet des homomorphismes. Aequationes Math.32 (1987), 297–303. · Zbl 0637.39005 · doi:10.1007/BF02311317
[3] Wróblewski, J.,On two homomorphisms on the additive group of all real numbers, Demonstratio Math.18 (3), (1985), 1161. · Zbl 0597.20026
[4] Reich, L.,Über die allgemeine Lösung der Translationsgleichung in Potenzreihenringen. (Ber. Math.-Statis. Sekt. Forschungszentrum Graz, Nr. 159). Graz, 1981. · Zbl 0474.30021
[5] Reich, L. undSchwaiger J.,Über einen Satz von Shl. Sternberg in der Theorie der analytischen Iterationen. Monatshefte Math.83 (1977), 207–221. · Zbl 0353.32006 · doi:10.1007/BF01541637
[6] Schwaiger J. andReich L.,Über die Funktionalgleichung N T = T M für formale Potenzreihen. Aequationes Math.19 (1979), 66–78. · Zbl 0442.16031 · doi:10.1007/BF02189847
[7] Schwaiger, J.,Normal Forms for Systems of Formal Power Series Commuting in Pairs and Iterations Problems. InIteration Theory and its Functional Equations. Ed. by R. Liedl, L. Reich and Gy. Targonski. (Lecture Notes in Math. Nr. 1163). Springer-Verlag, Berlin, 1985, pp. 170–176.
[8] Scheinberg, St.,Power series in one variable. Journ. Math. Anal. Appl.31 (1970), 321–333. · Zbl 0216.16002 · doi:10.1016/0022-247X(70)90028-4
[9] Kuczma, M.,An Introduction to the Theory of Functional Equations and Inequalities, Państwowe Wydawnictwo Naukowe, Uniwersytet Slaski, Warszawa–Kraków–Katowice, 1985.
[10] Reich, L andSchwaiger, J.,On polynomials in additive and multiplicative functions. InFunctional Equations: History, Applications and Theory. Ed. by J. Aczél. D. Reidel Publ. Company, Dordrecht, 1984, pp. 127–160.
[11] Reich, L.,Über Iteration ohne Regularitätsbedingungen im Ring der formalen Potenzreihen in einer Variablen. Aequationes Math.29 (1985), 44–49. · Zbl 0582.39011 · doi:10.1007/BF02189813
[12] Baker, I. N.,Fractional iteration near a fixed point of multiplier. 1.J. Austral. Math. Soc.4 (1964), 143–148. · Zbl 0134.05402 · doi:10.1017/S144678870002334X
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.