Description of the space of rank-two free semigroup pseudocharacters invariant under some endomorphism (Q1337868)

By a pseudocharacter on a semigroup \(S\) the author means a real-valued function \(\varphi\) satisfying the conditions 1) \(\varphi (x^ n)= n\varphi(x)\) for all \(x\) from \(S\) and natural \(n\) and 2) the set of \(\varphi (xy)- \varphi(x)- \varphi(y)\) for all \(x\), \(y\) in \(S\) is bounded. Previous notices of the author [see Funkts. Anal. Prilozh. 21, No. 1, 86- 87 (1987; Zbl 0615.20048) and Usp. Mat. Nauk 47, No. 2, 205-206 (1992; Zbl 0807.20046)] contained descriptions of a space of pseudocharacters of \(S\) that are invariant under an endomorphism semigroup of \(S\) and a space of free semigroup pseudocharacters which are invariant under its automorphism group. In the present note for the rank-two semigroup \(F_ 2\) with generators \(a\), \(b\) the space of those of its pseudocharacters is described which are invariant under an endomorphism \(\alpha\) such that \(a^ \alpha= a^ 2\), \(b^ \alpha= b\).