A realization of dimension functions. I (Q1113130)

More than 30 years ago \textit{M. F. Bokshtejn} proved that for compacta X and Abelian groups G the cohomological dimension \(\dim_ G X\) is completely determined by its values for \(G\in \sigma =\{{\mathbb{Q}}\), \({\mathbb{Z}}_ p={\mathbb{Z}}/p{\mathbb{Z}}\), \({\mathbb{R}}_ p\), \({\mathbb{Q}}_ p={\mathbb{Q}}/{\mathbb{R}}_ p\), p prime\(\}\) \(({\mathbb{R}}_ p={\mathbb{Z}}_{(p)}\) is the group of rationals m/n, where n is not divisible by p). He also established 6 inequalities between the various dimensions \(\dim_ G X\), for \(G\in \sigma\) [Tr. Mosk. Mat. Obshch. 5, 3-80 (1956; Zbl 0071.163)]. A function D: \(\sigma\) \(\to \{0,1,2,...,\infty \}\) is called a dimension function provided it satisfies the Bokshtejn inequalities and \(D=0\) if \(D(G)=0\), for some \(G\in \sigma\). Every compactum X realizes a dimension function \(D(G)=\dim_ G (X)\). The author now proves the converse, i.e., every dimension function D admits a compactum X which realizes D. This shows that Bokshtejn's inequalities form a complete set of relations between the various cohomological dimensions and thus solves a well-known problem of Bokshtejn and V. G. Boltyanskij [\textit{V. I. Kuz'minov}, Usp. Mat. Nauk 23, No.5(143), 3-49 (1968; Zbl 0179.279)]. In view of already known facts the author had to produce, for every n and prime p, compacta \(X_ n\), \(Y_{p,n}\) such that, for \(G={\mathbb{R}}_ p\), \({\mathbb{Z}}_ p\), \({\mathbb{Q}}_ p\), \({\mathbb{Q}}\), \({\mathbb{R}}_ q\), \({\mathbb{Z}}_ q\), \({\mathbb{Q}}_ q\) (q prime, \(q\neq p)\), \(\dim_ G X_ n\) assumes the values n, 1, 1, n, n, 1, 1 and \(\dim_ G Y_{p,n}\) assumes the values n, n, n, n, n, 1, 1, respectively.