Extension of functions defined on products of pseudocompact spaces and continuity of the inverse in pseudocompact groups (Q1336609)

It is shown that if \(X,Y\) are Tychonoff pseudocompact spaces, then every continuous real-valued function on \(X \times Y\) can be extended to a separately continuous function on \(\beta (X) \times \beta (Y)\). Using this result (which has its own interest the author proves that any Tychonoff pseudocompact group \(G\) with continuous multiplication is a topological group. Moreover, the multiplication may be only separate- continuous provided that, in addition, \(G\) belongs to one of the following classes: (a) countably compact spaces; (b) spaces with countable tightness; (c) separable spaces; (d) \(K\)-spaces.