3
$\begingroup$

In the comments on this question, Robert Israel proved that the order of an element in $GL_2(\mathbb{Z})$ can be $2,3$ or $6$ (or infinite). This result is remarkedly reminiscent of the crystallographic restriction theorem, but I can't seem to find the relation. Is this mere coincidence, or is there something deep buried here?

  • 0
    This fact is used in the only prof I've ever seen of the CRT, so yes, there is a connection.2012-03-19
  • 0
    In the wiki article there are four proofs, but I don't see this fact appearing in none of them. What is the proof you are referring to?2012-03-19
  • 0
    It's from *Modern Algebra: An Introduction* by John Durbin if I remember correctly. I'm afraid I don't have the book on hand.2012-03-19
  • 2
    Don't forget $1$ and $4$.2012-03-19
  • 0
    They, of course, follow triviałly.2012-03-20

1 Answers 1

1

The connection is that any lattice in $\mathbb{R}^2$ is isomorphic to $\mathbb{Z}^2$, so any (linear) group of symmetries of a lattice injects into $\text{GL}_2(\mathbb{Z})$.

  • 0
    Thanks. One has also to add two lines about why it is also valid for lattices in $\mathbb{R}^3$, but it's fairly easy.2012-03-20