A general group-theoretic lattice is usually defined as something like

> A discrete subgroup $\Gamma$ of a locally compact group $G$ is a lattice if the quotient $G/\Gamma$ carries a $G$-invariant finite measure.

The prototypical example of these sets $G = \mathbb{R}^n$, and $\Gamma\cong \mathbb{Z}^n$ a Euclidean lattice.
Even in this special case, the study of such lattices can become quite deep, for example

* they are central to the study of optimal (periodic) sphere packings in $\mathbb{R}^n$, and occasionally central to the study of optimal *non-periodic* sphere packings
* As such, they are central to certain problems in coding theory/wireless communications, and
* they are also central to "lattice-based cryptography", which is a leading candidate for cryptography that is plausibly secure against adversaries with quantum computers ("post-quantum cryptography").

I am mostly interested in the above (namely lattice-based cryptography).
I'm always interested to see stronger mathematical tools applied to my (relatively matheamtically mundane) area.
Examples include

* The usage of Gaussians on lattices to prove reductions between lattice problems, in particular in establishing a theoretical basis for the hardness of the [Learning with Errors problem](https://cims.nyu.edu/~regev/papers/lwesurvey.pdf)

* Mixing time bounds for random walks in the [Arakelov Class group](https://eprint.iacr.org/2020/297) to give relatively tight worst-case to average-case reductions for lattice problems for lattices in the ring of integers of a number field $\Gamma\subseteq\mathcal{O}_K$

* A [more general version of the above](https://eprint.iacr.org/2022/742), to generalize the above "ideal lattices" to what are known as "module lattices" in the lattice-cryptography literature.

___

Anyway, when I casually glance through the literature on lattices in arbitrary locally compact groups $G$, I see quite a few results that people seem to think are fundamental, for example

* Mostow's rigidity theorem, 
* things like (Super)strong Approximation

I'm sure there are other non-trivial/exciting results. I don't claim to be an expert.
My question is the following

> Do any of the central results on lattices in arbitrary locally compact groups $G$ have non-trivial consequences for the study of lattices in $G = \mathbb{R}^n$?

Here, "non-trivial" can be interpreted quite generally, though I would be especially interested if these non-trivial facts did not coincide with "standard" non-trivial facts regarding lattices in $\mathbb{R}^n$, say things like Minkowski's theorems, or things like Siegal/Rodgers' integration formula, etc.