Zwei Gitter der Form Γ 1 = Z τ 1 + Z {\displaystyle {}\Gamma _{1}=\mathbb {Z} \tau _{1}+\mathbb {Z} } und Γ 2 = Z τ 2 + Z {\displaystyle {}\Gamma _{2}=\mathbb {Z} \tau _{2}+\mathbb {Z} } mit τ 1 , τ 2 ∈ H {\displaystyle {}\tau _{1},\tau _{2}\in {\mathbb {H} }}
sind genau dann streckungsäquivalent, wenn es ein M ∈ SL 2 ( Z ) {\displaystyle {}M\in \operatorname {SL} _{2}\!{\left(\mathbb {Z} \right)}} mit
gibt.