Lattice
Source: Iranian National Olympiad (3rd Round) 2006
August 26, 2006
abstract algebragroup theorycalculusintegrationinvariantnumber theory proposednumber theory
Problem Statement
is a fullrank lattice in and is a sub-lattice of , that . If is the least number that for each , is in . Prove that there exists a basis for that is a basis for .