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).



infinite groups in which all proper subgroups are almost-malnormal
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$.


