130HENDRIKWLENSTRAJRembeddedasalatticeinaEuclideanvectorspaceEwithqxDkxk2forallx2LifandonlyifLisnitelygeneratedandthefollowingthreeconditionsaresatisedqxCyCqxyD2qxC2qyforallxy2Lqx ID: 369845
130HENDRIKW.LENSTRA