A Putative Doubly Even [72,36,16] Code Does Not Have an Automorphism of Order 9

In this paper, we prove that there does not exist a binary self-dual doubly even code with an automorphism of order 9. To do so, we apply a method for constructing binary self-dual codes possessing an automorphism of order for an odd prime .