On conditions guaranteeing that mappings are elements of iteration groups

In this note, we prove that if F={fv:I⟶I,v∈V} is a suitable iteration group on an open interval I and a function g:I⟶I is continuous at least at one point and commutes with two mappings fa,fb∈F such that ba is irrational, then g∈F. If, moreover, fa