Commuting finite Blaschke products with no fixed points in the unit disk (Q837588)

Let \(f\) and \(g\) be non-trivial finite Blaschke products with no fixed point in the unit disk \(\mathbb{D}\). Then the authors prove that \(f\) and \(g\) commute if and only if \(f_p= g_q\) for some natural numbers \(p\) and \(q\). (Here we use the notation \(\phi_p\) to denote the \(p\)th iteration of a function.) This result was proved earlier by \textit{C. Arteaga} [Complex Variables, Theory Appl. 48, No. 8, 671--679 (2003; Zbl 1032.37028)], but his proof contained a gap. It neatly complements analogous results of \textit{C. Arteaga} [loc. cit.] and \textit{I. Chalendar} and \textit{R. Mortini} [Bull. Aust. Math. Soc. 64, No. 2, 189--200 (2001; Zbl 1082.30024)] in the case that \(f\) has a fixed point in \(\mathbb{D}\).