4
$\begingroup$

Given a non-trivial group $G$ and $g\in G\setminus \{e_G\}$ where $e_G$ is the neutral element, it is easy to show using Zorn's Lemma, that there is a subgroup not containing $g$ that is maximal amongst the subgroups contained in $G\setminus\{g\}$.

What is an example of infinite groups $G, H$ with $G\not \cong H$ and with the following property?

There is a bijection $\varphi: (G\setminus \{e_G\})\to (H\setminus \{e_H\})$ such that for every $g\in G\setminus\{e_G\}$ there are maximal subgroups $S_g \subseteq G\setminus \{g\}$ and $T_g \subseteq H\setminus \{\varphi(g)\}$ with $S_g \cong T_g$.

$\endgroup$

1 Answer 1

13
$\begingroup$

Olshanskii showed that for $p>10^{75}$, there are continuumly many nonisomorphic Tarski monsters. These are countably infinite groups whose proper nontrivial subgroups are cyclic of order $p$.

On any group $\Gamma$ one can define an equivalence relation $E_{\Gamma}$ which relates two elements if they generate the same subgroup. If $\Gamma$ is a Tarski monster for prime $p$, then $E_{\Gamma}$ has one singleton class $\{e_{\Gamma}\}$ and countably many other classes of size $p-1$. The proper nontrivial subgroups of $\Gamma$ are exactly those subsets of $\Gamma$ that are unions of the singleton $E_{\Gamma}$-class and a nonsingleton $E_{\Gamma}$-class.

Choose $G$ and $H$ to be nonisomorphic Tarski monsters for the same prime $p$. There is a subgroup-preserving bijection $\varphi:G\to H$. To see this, start with a bijection $\varphi:T_G\to T_H$ from an $E_G$-transversal $T_G$ to an $E_H$-transversal $T_H$ which maps $e_G$ to $e_H$, then extend it to all of $G$ in such a way that $\varphi(t^k)=\varphi(t)^k$ for $t\in T_G$, $k\in \{1,2, \ldots,p-1\}$. This function $\varphi$ is a bijection from $G$ to $H$ that has the property that its restriction to any proper subgroup of $G$ is a homomorphism.

For this $\varphi$, the desired property holds in the following strong form: For every $g\in G\setminus\{e_G\}$ there are maximal subgroups $M_g \subseteq G\setminus \{g\}$ and $N_g \subseteq H\setminus \{\varphi(g)\}$ such that $\varphi\colon M_g \to N_g$ is an isomorphism.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.