On the Automorphism Group of a Doubly-Even $(72,36,16)$ Code
Stefka Bouyuklieva · IEEE Transactions on Information Theory · 2004
We prove that a putative doubly-even (72,36,16) code has no automorphism of order 3 with fixed points. Moreover, such a code has no automorphism of an odd order greater than 7. Eventually, we prove that 25 and 49 do not divide the order of its automorphism group.