Start with any generator and use the decomposition from part (d). For each , choose an integer such thatand putSince is a unit, . Moreover,The vector lies in the fixed compact parallelepipedHence there is a constant such that every real coordinate of every is at most , and every complex coordinate is at most .
Articles by others on the same topic
There are currently no matching articles.