Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $\Lambda$,$\Lambda'$ be two lattice in $\mathbb{C}$ and $m\neq 0\in\mathbb{C}$ satisfying $$ m\Lambda\subset\Lambda' $$

The, the book I'm reading says that by the theory of finite Abelian groups there exists a basis $\{\omega_1,\omega_2\}$ of $\Lambda$' and positive integers $n_1,n_2$ such that $\{n_1\omega_1,n_2\omega_2\}$ is a basis of $m\Lambda$.

I wonder which theorem is it using to deduce such conclusion? There is even no finite Abelian groups there.

update:

I think the author means theory of finitely-generated Abelian groups, doesn't him?

share|improve this question
1  
Are you sure it doesn't say finitely generated abelian groups? –  Hagen von Eitzen Jan 6 '13 at 15:29
    
@HagenvonEitzen, no, it doesn't. But I think the author means it. –  hxhxhx88 Jan 6 '13 at 15:39
    
Or note that $m\Lambda$ is of finite index in $\Lambda'$ (because the index is just the ratio of fundamental parallelograms), hence the theory applies to th equotient? –  Hagen von Eitzen Jan 6 '13 at 15:56
    
This is what was called the stacked bases theorem, when I was in graduate school. Putting the change of bases matrix into its Smith normal formal gives you an algorithm for finding a solution. This question discusses the method a bit. –  Jyrki Lahtonen Jan 6 '13 at 23:05
    
@JyrkiLahtonen, your answer enlightened me! Thanks! –  hxhxhx88 Jan 7 '13 at 1:20

1 Answer 1

Pick a basis $\lambda_1, \lambda_2$ for $\Lambda$ and a basis $\mu_1, \mu_2$ for $\Lambda'$. By hypothesis we may write $m\lambda_i$ as a linear combination of $\mu_1$ and $\mu_2$. Write the matrix $$ \pmatrix{a & b \\ c & d } $$ where the $i$th column is $m\lambda_i$ expressed in terms of the basis $\mu_i$. You are allowed to do $\mathbb{Z}$-linear row and column operations to this matrix. Row operations correspond to changing the basis for $\Lambda'$, and column operations correspond to changing the basis for $\Lambda$. Because $\mathbb{Z}$ is a PID, you can make this matrix diagonal with those operations (same argument as in proof of fundamental theorem for finitely generated modules over a PID). That exactly says there that the bases you seek for $\Lambda$ and $\Lambda'$ exist (and gives you an algorithm to find them, if you keep track of the row and column operations).

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.