Let denote the group of isometries of a line . Classify discrete subgroups of , identifying those that differ in the choice of origin and unit length on the line.
So I know the isometries of the line are translations and reflections, but I don't quite understand what the question is asking for. Obviously the composition of two distinct reflections in the line is a translation in the line, so I'm drawing a blank as to what the discrete subgroups are and what the "identifying..." part of the question is asking for. Any help would be appreciated, thanks.
Well, I know you can divide into isometries which have orthogonal part 1 and isometries which have orthogonal part -1. So translations are the form and then you have reflections about a point. I'm just having trouble formalizing this or determining what the discrete subgroups are (compositions of two reflections are translations, etc.)
Well, at least from what I'm getting from Artin's book, he's talking about if we consider the isometries when the origin could be any point. An isometry of the line will carry the line onto itself and preserve lengths. A translation by some unit length vector carries the line onto itself, so it is an isometry of the line. The unit length vector can be any length and that would generate another subgroup of translations. Those subgroups I think I have. But then you have that you can reflect the line through any point on the line and it'll be an isometry since again, the line is carried onto itself. And again, we can use any point as a reflection point. But say you take a group with two reflection lines, then it's composition is a translation, and this is where I'm getting lost on what the discrete subgroups containing reflections look like.
hmm...i think that there is a bijection from the additive group of R to the translations:
a-->Ta, where Ta(x) = x+a.
the reflections...well we can describe a reflection about the point b as: Rb(x) = 2b - x.
note that Ra o Rb(x) = Ra(Rb(x)) = Ra(2b - x) = 2a - (2b - x) = x + 2a - 2b = T(2a-2b)(x).
Ta o Rb(x) = Ta(Rb(x)) = Ta(2b - x) = 2b+a - x = R(b+(a/2))(x)
Ra o Tb(x) = Ra(Tb(x)) = Ra(x + b) = 2a-b - x = R(a-(b/2))(x).
T0 is the identity for this group. every reflection Rb is its own inverse (so {T0,Rb} is a subgroup for every real number b). T(-a) is the inverse of Ta. the translations form a subgroup, which also contains subgroups isomorphic to (Q,+), (Z,+) and (nZ,+), as well as every other additive group of every subfield of R (there are a LOT of these).
what more would you like to know?