Lattice G 2 G_2

Geometry Level 4

In two-dimensional Euclidean plane, let Λ \Lambda be the group generated by vectors λ 1 \lambda_1 and λ 2 , Λ r \lambda_2,\Lambda_r the group generated by vectors α 1 \alpha_1 and α 2 \alpha_2 (see the figure). Λ = { m λ 1 + n λ 2 m , n Z } , Λ r = { m α 1 + n α 2 m , n Z } . \Lambda=\{m\lambda_1+n\lambda_2\mid m,n\in\mathbb Z\}, \\\Lambda_r=\{m\alpha_1+n\alpha_2\mid m,n\in\mathbb Z\}.

Clearly, Λ r \Lambda_r is a subgroup of Λ . \Lambda. Find the order of quotient group Λ / Λ r . \Lambda/\Lambda_r.

3 3 4 4 \infty 1 1 2 2

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

1 solution

Noe Blassel
May 31, 2019

Since α 1 = 2 λ 1 λ 2 \alpha_{1}=2\lambda_{1}-\lambda_{2} and α 2 = 2 λ 2 3 λ 1 \alpha_{2}=2\lambda_{2}-3\lambda_{1} , Λ r = α 1 , α 2 Z λ 1 , λ 2 Z = Λ Z 2 \Lambda_{r}=\langle \alpha_{1},\alpha_{2} \rangle_{\mathbb{Z}} \leq \langle \lambda_{1},\lambda_{2} \rangle_{\mathbb{Z}}=\Lambda \leq \mathbb{Z^2} . Conversely, λ 1 = 2 α 1 + α 2 \lambda_{1}=2\alpha_{1}+\alpha_{2} and λ 2 = 3 α 1 + 2 α 2 \lambda_{2}=3\alpha_{1}+2\alpha_{2} , so Λ Λ r \Lambda \leq \Lambda_{r} . Hence Λ = Λ r \Lambda=\Lambda_{r} , Λ / Λ r \Lambda/\Lambda_{r} is trivial, and has order 1 1 .

1 pending report

Vote up reports you agree with

×

Problem Loading...

Note Loading...

Set Loading...