On asymorphisms of groups (Q516385)

Let \(G\), \(H\) be groups and let \(\kappa\) be a cardinal number. If \(S\) is a set let \([S]^{<\kappa}=\{S'\subseteq S: |S'|<\kappa\}\). A bijection \(f:G\longrightarrow H\) is an asymorphism if, for every \(X\in [G]^{<\kappa}\), \(Y \in [H]^{<\kappa}\) there exists \(X' \in [G]^{<\kappa}\), \(Y' \in [H]^{<\kappa}\) such that for all \(x\in G\), \(y\in H\) we have \(f(Xx)\subseteq Y'f(x)\) and \(f^{-1}(Yy)\subseteq X'f^{-1}(y)\). In [the author and \textit{A. Tsvietkova}, Topol. Proc. 36, 77--83 (2010; Zbl 1193.54015)] it is shown that if \(\gamma\) is a regular cardinal, \(\gamma>\aleph_0\) and if \(G\), \(H\) are two groups of cardinality \(\gamma\), then \(G\), \(H\) are \(\gamma\)-asymorphic. It appears to be unsolved as to whether \(G,H\) are \(\kappa\)-asymorphic for uncountable \(\kappa<\gamma\) when \(\gamma\) is singular. In this regard, the current paper is concerned with the following two theorems: Theorem 1: Let \(G\) be abelian, \(|G|=\gamma>\aleph_0\) and let \(A_{\gamma}\) be the free abelian group of rank \(\gamma\). Let \(\aleph_0<\kappa\leq \gamma\). Then, \(G\) and \(A_{\gamma}\) are \(\kappa\)-asymorphic. Theorem 2: Let \(G\) be abelian, \(|G|=\gamma>\aleph_0\). Then \(G\) and \(F_{\gamma}\) are not \(\kappa\)-asymorphic, if \(F_{\gamma}\) is the free group of rank \(\gamma\), provided \(\aleph_0<\kappa<\gamma\) or \(\kappa=\gamma\) and \(\gamma\) is singular. (In fact much more is proved.) The proofs require a certain amount of machinery connected to the notion of a ballean.