Closed embeddings of spaces and groups into pseudocompact
-groups.
A well-known theorem of Noble states that each Tychonoff space
is homeomorphic to a closed subspace of a pseudocompact
-space. We strengthen this result by showing that any Tychonoff space
is homeomorphic to a closed subspace of an abelian pseudocompact
-group
such that
, and if, in addition,
is a precompact group, then
is topologically isomorphic to a closed subgroup of
. It is constructed the first examples of pseudocompact groups
and
(in fact, they are even countably compact and of weight
) such that
is Ascoli but not a
-space, and
is a
-space but not a
-space. Under
, we show that any pseudocompact group of weight
is Ascoli. These results are proved using topological properties of pseudocompact spaces
of weight
and of
-products in products of compact spaces. Being motivated by these results and the countably compact part of Noble’s theorem, it is shown by a well-known technique that each countably compact infinite group has a separable countably compact subgroup of cardinality continuum.