4
$\begingroup$

A subgroups $K<G$ is almost-malnormal if $\forall g \in G \setminus K$, $K \cap gKg^{-1}$ is finite.

Question: Are there infinite groups in which all proper subgroups are almost malnormal?

Any such group $G$ must be fairly closed to being simple (since any normal subgroup is finite). Groups were all normal subgroups are finite (like Higmann's group) have a quotient which is simple (quotient by the maximal proper normal subgroup).

My initial question was: given an infinite simple group $G$ and an infinite subgroup $K$, is $K$ necessarily almost-malnormal?

A first try was to consider $Alt_{fin}$ (the group of finitely supported even permutations). But if $H$ is any infinite strict subgroup, then for any $\sigma \notin H$, there are infinitely many permutations in $H$ with support disjoint to $\sigma$. In other words there is an infinite subgroup $K <H$ with $\sigma K \sigma^{-1} = K$. So actually any infinite subgroup is quite far from being almost-malnormal.

I tried this out with next easy candidate: Higmann 4-generator 4-relator group $G = \langle a,b,c,d | bab^{-1} = a^2 , cbc^{-1} = b^2, dcd^{-1} = c^2, ada^{-1}= d^2 \rangle$. If $H$ is generated by three letters (say $a,b,c$) then $H \cap dHd^{-1} \supset \lbrace c^{2n} \rbrace_{n \in \mathbb{Z}}$.

Remarks: (added in Edit)

  • $G$ is considered to be almost-malnormal in $G$ (whence "proper").
  • Any finite subgroup is almost-malnormal.
  • When the group is torsion free, $K \cap gKg^{-1}$ is finite implies it is trivial (so the subgroup is malnormal).
$\endgroup$
3
  • $\begingroup$ Did you mean to ask "are there infinite groups in which all proper subgroups are almost malnormal"? $\endgroup$
    – Derek Holt
    Commented Sep 13, 2017 at 12:12
  • $\begingroup$ yes, I did, I'll edit... $\endgroup$
    – ARG
    Commented Sep 13, 2017 at 13:38
  • 6
    $\begingroup$ Note that such a group has to be torsion (if there is an infinite cyclic subgroup $C$, any nonzero proper subgroup of $C$ is fails to be almost malnormal). $\endgroup$
    – YCor
    Commented Sep 13, 2017 at 14:21

1 Answer 1

4
$\begingroup$

Clearly if $G$ is an infinite group such that every proper subgroup of $G$ is finite then every subgroup of $G$ is almost malnormal.

Tarski monster groups are examples of such groups: Tarski monster groups are infinite groups where every proper, non-trivial subgroup is finite cyclic of order $p$ for some fixed prime $p$.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .