Koichiro Harada

Rutgers University was the scene from 1969 to 1973 of his collaboration with Daniel Gorenstein on the classification challenge in finite groups. In 1971 he first taught at Ohio State University, and in 1973 he was a visitor at Cambridge University where the Harada-Norton group was discovered.^[2]

The Gorenstein–Harada theorem classifies finite simple groups of sectional 2-rank at most 4.^[3]

In 1996 Ohio State held a Special Research Quarter on the Monster group and Lie algebras with Proceedings edited by Joseph Ferrar and Harada.^[4]

In 2000 Mathematical Society of Japan awarded Harada the Algebra Prize.^[5]

After the classification of finite simple groups was announced, Harada proposed the following challenges to group theorists:^[6]

1. Find natural mathematical objects realizing all simple groups as their automorphism groups.
2. Prove that there are only finitely many sporadic simple groups.
3. Find the reason why the 26 sporadic simple groups exist.
4. Find a generalization of the Glauberman Z* theorem.
5. Find an arithmetic to give the Schur multipliers of finite simple groups.
6. Complete the theory of modular representations.
7. Classify the 2-groups that can be the Sylow 2-subgroups of finite simple groups.
8. Look for a completely new proof of the classification.
9. Classify finite simple groups having a strongly p-embedded subgroup.
10. Solve problems around the restricted Burnside problem.

• 1974: (with Daniel Gorenstein) Finite simple groups whose 2-subgroups are generated by at least 4 elements, Memoirs of the American Mathematical Society.
• 1975: On the simple group F of order 2¹⁴ · 3⁶ · 5⁶ · 7 · 11 · 19. Proc. Group Theory Conference in Park City, Utah, pp. 119–276.
• 1989: Some elliptic curves arising from the Leech lattice, Journal of Algebra 125: 289–310.
• 1999: Monster. Iwanami Publishing, (in Japanese; book on the Monster group).
• 2010: "Moonshine" of Finite Groups, European Mathematical Society ISBN 978-3-03719-090-6 MR2722318