On the quasi-component of pseudocompact abelian groups (Q411817)

For a~topological group~\(G\) let \(q(G)\) denote the quasi-component of the identity, i.e., the intersection of all clopen sets containing the identity. A~pair \((C,A)\) of a~group~\(C\) and its subgroup~\(A\) is said to be realized by a~group~\(G\) if \(A\cong q(G)\) and \(C\cong q(\tilde G)\) where \(\tilde G\) denotes the completion of~\(G\). The authors describe the relation between \(q(G)\) and \(q(\tilde G)\) when \(G\)~is a~minimal pseudocompact abelian group, or when \(G\)~is a~perfectly minimal pseudocompact abelian group, or when \(G\)~is a~totally minimal pseudocompact abelian group, or when \(G\)~is a~perfectly totally minimal pseudocompact abelian group. They characterize the realizable pairs \((C,A)\) in which \(C\)~is a~compact connected abelian group. As a~consequence they show that for every positive integer~\(n\) and for \(n=\omega\) there exist plenty of abelian perfectly minimal \(n\)-dimensional groups~\(G\) such that \(q(G)\) is not dense in~\(q(\tilde G)\).