HFD groups in the Solovay model (Q1030185)

\textit{A. Hajnal} and \textit{I. Juhász} [General Topology Appl. 6, 199--205 (1976; Zbl 0323.22001)] proved that under CH there is a topological group \(H\) such that \(H\) is hereditarily finally dense (HFD) in \(2^{\omega_1}\) and satisfies the following property; (P) the projection of \(H\) onto every partial product \(2^I\) for \(I\in[\omega_1]^{\omega}\) is onto, where \(H\) is HFD if for any countable subset \(G\) of \(H\) there is a \(\beta<\omega_1\) such that the projection of \(G\) onto \(2^{(\beta,\omega_1)}\) is dense in \(2^{(\beta,\omega_1)}\). Every HFD group with property (P) is a countably compact group without non-trivial convergent sequences. Countably compact groups without non-trivial convergent sequences were constructed using MA [\textit{E. K. van Douwen}, Trans. Am. Math. Soc. 262, 417--427 (1980; Zbl 0453.54006)], MA for countable posets [\textit{P. B. Koszmider, A. H. Tomita} and \textit{S. Watson}, Topol. Proc. 25(Summer), 563--574 (2000; Zbl 1027.54057)] and a single selective ultrafilter [\textit{S. Garcia-Ferreira, A. H. Tomita} and \textit{S. Watson}, Proc. Am. Math. Soc. 133, No.~3, 937--943 (2005; Zbl 1062.54037)], respectively. In this paper, the authors construct an HFD group satisfying (P) in the Solovay model, that is, if \(\kappa\) is a cardinal of uncountable cofinality, then in the model obtained by forcing over a model of CH with the measure algebra on \(2^{\kappa}\), there is an HFD group in \(2^{\omega_1}\) with property (P). This example shows that selective ultrafilters are not necessary for the construction of a countably compact group without non-trivial convergent sequences.