refactor(Algebra/Order/LatticeGroup): Non-commutative Lattice Groups (#6452)

Generalise results in Algebra/Order/LatticeGroup to the case where the group is non-commutative



Co-authored-by: Christopher Hoskin <christopher.hoskin@overleaf.com>

Author: mans0954