Free lattices, projective lattices, word problems Lattices mathematics