Souslin measurable homomorphisms of topological groups (Q1203565)

We prove among others that a Souslin measurable homomorphism \(\varphi\) mapping a paracompact Čech complete group \(G\) into a topological group \(H\) is continuous. The usual countability type assumptions on \(G,H\) are not needed. Analogous results which do not require countability type conditions have been obtained by \textit{D. H. Fremlin} [Manuscr. Math. 33, 387-405 (1981; Zbl 0459.28010)] for Haar measurable \(\varphi\) and locally compact \(G\).