[next] [prev] [up] Date: Fri, 18 Jul 80 03:51:00 -0400 (EDT)
[next] [prev] [up] From: Alan Bawden <ALAN@MIT-MC >
~~~ ~~~ [up] Subject: 1260

I now have a proof that no element of the cube group can be of order
greater than 1260. Since you have so thoughfully provided me with an
element of order 1260, I must conclude that this element is indeed the
maximum, as you claimed (but where did the number 216=6^3 come from?).

My proof contains no nice derivation of the number 1260, you will be
dissapointed to see where it comes from, it is just all that is left
after a number of cases have been eliminated.

Perhaps someone can devise a "nice" proof of this fact. Is this fact
in the literature? (Bernie?)

[next] [prev] [up] [top] [help]