Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I am splitting off an entry classification of finite rotation groups from ADE classification in order to collect statements and references specific to the classification of finite subgroups of and .
Is there a canonical reference for the proof of the classification statement? I find lots of lecture notes that give the proof, but all of them without citing sources or original publications of proofs.
I wrote:
Is there a canonical reference for the proof of the classification statement? I find lots of lecture notes that give the proof, but all of them without citing sources or original publications of proofs.
In Burban’s lecture notes (pdf) it has this statement:
The classification of finite isometry groups of is a classical result of F. Klein (actually of Platon)
but still no concrete pointer…
according to Lamotke’s book, it seems that the result goes back to Klein 1884
(have not checked yet, need to run now)
Thanks for this! Excellent. I have added that reference also to all the entries on the separate finite rotation groups, as well as to that of the corresponding platonic solids.
Surely the binary cyclic groups (ie the even-order cyclic groups) are also pre-images of the cyclic group of half the order?
Yes, but not every cyclic subgroup of is in the image of taking pre-images. The odd order cycile groups are clearly not.
Oh, now I see. Thanks!
For what it’s worth I think the odd-order cyclic subgroups of are the image of the section , so the odd-order cyclic subgroups of are index-2 subgroups of inverse images of finite subgroups of , and the projection map restricts to an isomorphism on these odd-order cyclic subgroups.
1 to 12 of 12