Non-abelian pseudocompact groups (Q2422523)

Summary: Here are three recently-established theorems from the literature. (A) (2006) Every non-metrizable compact abelian group \(K\) has \(2^{\vert K\vert}\)-many proper dense pseudocompact subgroups. (B) (2003) Every non-metrizable compact abelian group \(K\) admits \(2^{2^{\vert K\vert}}\)-many strictly finer pseudocompact topological group refinements. (C) (2007) Every non-metrizable pseudocompact abelian group has a proper dense pseudocompact subgroup and a strictly finer pseudocompact topological group refinement. (Theorems (A), (B) and (C) become false if the non-metrizable hypothesis is omitted.) With a detailed view toward the relevant literature, the present authors ask: What happens to (A), (B), (C) and to similar known facts about pseudocompact abelian groups if the abelian hypothesis is omitted? Are the resulting statements true, false, true under certain natural additional hypotheses, etc.? Several new results responding in part to these questions are given, and several specific additional questions are posed.