Uniqueness theorems for meromorphic functions (Q1338176)

Suppose that \(f,g\) are two nonconstant meromorphic functions, and \(w = \exp (2 \pi i/n)\); \(u = \exp (2 \pi i/m)\), \((n,m > 6\) and \(\in\mathbb{N})\). For any set \(S\), let \(E_ f(S) = f^{-1} (S)\) where we take due account of multiplicity. The author proves that 1) Let \(S_ 1 = \{a_ 1 + b_ 1,\;a_ 1 + b_ 1 w, \dots, a_ 1 + b_ 1w^{n-1}\}\), \(S_ 2 = \{a_ 2 + b_ 2,\;a_ 2 + b_ 2u, \dots, a_ 2 + b_ 2 u^{m - 1}\}\), \(S_ 3 = \{\infty\}\), where \(b_ 1b_ 2 \neq 0\) and \(a_ 1 \neq a_ 2\). If \(E_ f(S_ j) = E_ g (S_ j)\) \((j = 1,2\), 3), then \(f = g\); 2) Let \(S_ 1 = \{a + b_ 1, a + b_ 1w, \dots, a + b_ 1w^{n-1} \}\), \(S_ 2 = \{a + b_ 2, a + b_ 2u, \dots, a + b_ 2u^{m-1}\}\), \(S_ 3 = \{\infty\}\) (or \(=\{a\})\), where \(n\) and \(m\) have no common factor, \(b_ 1b_ 2 \neq 0\) and \(b_ 1^{2mn} \neq b^{2mn}_ 2\). If \(E_ f (S_ j) = E_ g (S_ j)\) \((j=1,2,3)\), then \(f = g\); 3) Let \(S_ 1 = \{a + b, a + bw, \dots, a + bw^{n-1} \}\), \(S_ 2 = \{\infty\}\) (or \(=\{a\})\), where \(b \neq 0\). If \(E_ f (S_ j) = E_ g (S_ j)\) \((j=1,2)\), then \(f-a = t(g-a)\), where \(t^ n = 1\), or \((f-a)\) \((g-a) = s\), where \(s^ n = b^{2n}\), and answers a question posed by \textit{F. Gross} [Factorization of meromorphic functions and some open problems (1977; Zbl 0357.30007)].