lattice (group theory)